#include <clint.h>
Data Fields | |
| u32 | MSIP [HART_COUNT] |
| Offset: 0x0000, Software Interrupt Pending for each hart */. | |
| u32 | reserved0 [(0x4000 - 4 *HART_COUNT)/4U] |
| Reserved Space (0x0C to 0x3FFF) */. | |
| clint_mtimecmp_hwreg_t | MTIMECMP [HART_COUNT] |
| Offset: 0x4000, MTIMECMP for each hart */. | |
| u32 | reserved1 [(0xBFF8U - 0x4000 - 8 *HART_COUNT)/4U] |
| Reserved Space (0x4000 to 0xBFF7) */. | |
| u32 | MTIME_LOW |
| Offset: 0xBFF8, MTIME Low */. | |
| u32 | MTIME_HIGH |
| u32 clint_hwreg_t::MSIP[HART_COUNT] |
| clint_mtimecmp_hwreg_t clint_hwreg_t::MTIMECMP[HART_COUNT] |
| u32 clint_hwreg_t::reserved0[(0x4000 - 4 *HART_COUNT)/4U] |
| u32 clint_hwreg_t::reserved1[(0xBFF8U - 0x4000 - 8 *HART_COUNT)/4U] |