Searched refs:GICR_CTLR (Results 1 – 2 of 2) sorted by relevance
312 return mmio_read_32(base + GICR_CTLR); in gicr_read_ctlr()317 mmio_write_32(base + GICR_CTLR, val); in gicr_write_ctlr()
161 #define GICR_CTLR U(0x0) macro
Completed in 6 milliseconds