Searched refs:gicr_read32 (Results 1 – 1 of 1) sorted by relevance
43 #define gicr_read32(offset) (_gic_read32(gicr_pe_base + (offset))) macro127 uint32_t gicr_waker = gicr_read32(GICR_WAKER); in pe_init_fiq()135 while (gicr_read32(GICR_WAKER) & GICR_WAKER_CHILDRENASLEEP) { in pe_init_fiq()