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