Searched refs:GICR_CTLR (Results 1 – 2 of 2) sorted by relevance
168 return mmio_read_64(base + GICR_CTLR); in gicr_read_ctlr()173 mmio_write_64(base + GICR_CTLR, val); in gicr_write_ctlr()
86 #define GICR_CTLR 0x0 macro