Searched refs:GICD_CTLR (Results 1 – 2 of 2) sorted by relevance
20 return mmio_read_32(base + GICD_CTLR); in gicd_read_ctlr()35 mmio_write_32(base + GICD_CTLR, val); in gicd_write_ctlr()
45 #define GICD_CTLR U(0x0) macro