/* Vectored Interrupt Controller (VIC) */
#define VIC_BASE_ADDR 0xFFFFF000
#define VICIRQStatus (*(reg32_t *)(VIC_BASE_ADDR + 0x000))
/* Vectored Interrupt Controller (VIC) */
#define VIC_BASE_ADDR 0xFFFFF000
#define VICIRQStatus (*(reg32_t *)(VIC_BASE_ADDR + 0x000))