drivers/timer/tc_regs.h

Go to the documentation of this file.

#ifndef TIMER_TC_REGS_H_INCLUDED
#define TIMER_TC_REGS_H_INCLUDED

#include <chip/memory-map.h>
#include <io.h>

/* Register offsets */
#define TC_BCR                          0x00c0
#define TC_BMR                          0x00c4

#define TC_CCR                          0x0000
#define TC_CMR                          0x0004
#define TC_CV                           0x0010
#define TC_RA                           0x0014
#define TC_RB                           0x0018
#define TC_RC                           0x001c
#define TC_SR                           0x0020
#define TC_IER                          0x0024
#define TC_IDR                          0x0028
#define TC_IMR                          0x002c


#define TC_CCR_CLKEN_MASK               (1 << 0)
#define TC_CCR_SWTRG_MASK               (1 << 2)
#define TC_CCR_CLKDIS_MASK              (1 << 1)

#define TC_CMR_WAVE_MASK                (1 << 15)

#define TC_SR_COVFS_MASK                (1 << 0)
#define TC_SR_CPAS_MASK                 (1 << 2)


#define tc_read_reg(port, reg)                          \
        mmio_read32((port) + TC_##reg)

#define tc_write_reg(port, reg, value)                  \
        mmio_write32((port) + TC_##reg, value)

#endif /* TIMER_TC_REGS_H_INCLUDED */

---