Searched refs:GICR_WAKER (Results 1 – 2 of 2) sorted by relevance
309 if (!(sys_read32(rdist + GICR_WAKER) & BIT(GICR_WAKER_CA))) { in gicv3_rdist_enable()323 sys_clear_bit(rdist + GICR_WAKER, GICR_WAKER_PS); in gicv3_rdist_enable()324 while (sys_read32(rdist + GICR_WAKER) & BIT(GICR_WAKER_CA)) { in gicv3_rdist_enable()
43 #define GICR_WAKER 0x0014 macro
