Searched refs:_gic_write32 (Results 1 – 1 of 1) sorted by relevance
40 _gic_write32(vm_offset_t addr, uint32_t value) in _gic_write32() function46 #define gicd_write32(offset, data) (_gic_write32(gicd_base + (offset), (data)))48 #define gicr_write32(offset, data) (_gic_write32(gicr_pe_base + (offset), (data)))