Searched refs:GICC_CTLR (Results 1 – 2 of 2) sorted by relevance
68 #define GICC_CTLR U(0x0) macro
294 return mmio_read_32(base + GICC_CTLR); in gicc_read_ctlr()299 mmio_write_32(base + GICC_CTLR, val); in gicc_write_ctlr()
Completed in 4 milliseconds