Searched refs:GICR_CTLR (Results 1 – 3 of 3) sorted by relevance
55 #define GICR_CTLR 0x0000 macro
170 return mmio_read_32(base + GICR_CTLR); in gicr_read_ctlr()175 mmio_write_32(base + GICR_CTLR, val); in gicr_write_ctlr()
86 #define GICR_CTLR U(0x0) macro