Searched refs:gicd_ispendr (Results 1 – 2 of 2) sorted by relevance
528 uint32_t gicd_ispendr[GICD_NUM_REGS(ISPENDR)]; member
1328 gicd_ispendr regs (Offsets 0x200-0x278)