Searched refs:gicd_read32 (Results 1 – 1 of 1) sorted by relevance
45 #define gicd_read32(offset) (_gic_read32(gicd_base + (offset))) macro170 uint32_t gicd_ctlr = gicd_read32(GICD_CTLR); in pe_init_fiq()