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