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