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