timer.h

Go to the documentation of this file.

/* -*- mode: c; c-basic-offset: 4; -*- */
#ifndef __TIMER__
#define __TIMER__

#include <stdint.h>
#include <stdbool.h>

#include "libhw/hardware.h"

#define timer_metadata_init_(_name, _base, _frequency, _interrupt, _periodic) \
    hw_metadata _name;                          \
    _name.timer = (hw_timer_metadata) {                 \
        .base      = (memory_address_t) _base,              \
        .frequency = (uint32_t)  _frequency,                \
        .interrupt = (uint32_t)  _interrupt,                \
        .periodic  = (uint32_t)  _periodic              \
    }

#define timer_metadata_init(_base, _frequency, _interrupt, _periodic) \
    timer_metadata_init_(timer_metadata, _base, _frequency, _interrupt, _periodic)

void timer_add_interrupt(hw_metadata metadata);

#endif  /* __TIMER__ */