Searched refs:_gic_read32 (Results 1 – 1 of 1) sorted by relevance
28 _gic_read32(vm_offset_t addr) in _gic_read32() function45 #define gicd_read32(offset) (_gic_read32(gicd_base + (offset)))47 #define gicr_read32(offset) (_gic_read32(gicr_pe_base + (offset)))