Searched refs:GICR_WAKER (Results 1 – 2 of 2) sorted by relevance
131 uint32_t gicr_waker = gicr_read32(GICR_WAKER); in pe_init_fiq()135 gicr_write32(GICR_WAKER, gicr_waker); in pe_init_fiq()139 while (gicr_read32(GICR_WAKER) & GICR_WAKER_CHILDRENASLEEP) { in pe_init_fiq()
69 #define GICR_WAKER 0x14 macro