Searched refs:gicr_write32 (Results 1 – 1 of 1) sorted by relevance
44 #define gicr_write32(offset, data) (_gic_write32(gicr_pe_base + (offset), (data))) macro131 gicr_write32(GICR_WAKER, gicr_waker); in pe_init_fiq()145 gicr_write32(GICR_IGROUPR0, 0x81FFFFFF); in pe_init_fiq()148 gicr_write32(GICR_ISENABLER0, (1 << 27)); in pe_init_fiq()