Searched refs:GICR_CTLR (Results 1 – 2 of 2) sorted by relevance
309 return mmio_read_32(base + GICR_CTLR); in gicr_read_ctlr()314 mmio_write_32(base + GICR_CTLR, val); in gicr_write_ctlr()
162 #define GICR_CTLR U(0x0) macro