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