Searched refs:GICC_IAR (Results 1 – 3 of 3) sorted by relevance
77 return mmio_read_32(base + GICC_IAR); in gicc_read_IAR()132 mmio_write_32(base + GICC_IAR, val); in gicc_write_IAR()
72 #define GICC_IAR U(0xC) macro
3142 Acknowledge Register* (``GICC_IAR``). This changes the state of the highest3144 It returns the value read from the ``GICC_IAR``, unmodified.
Completed in 9 milliseconds