Searched refs:GICD_CTLR (Results 1 – 2 of 2) sorted by relevance
170 uint32_t gicd_ctlr = gicd_read32(GICD_CTLR); in pe_init_fiq()172 gicd_write32(GICD_CTLR, gicd_ctlr); in pe_init_fiq()
64 #define GICD_CTLR 0x0 macro