Searched refs:GICC_IAR (Results 1 – 4 of 4) sorted by relevance
49 #define GICC_IAR U(0xC) macro203 return mmio_read_32(base + GICC_IAR); in gicc_read_IAR()254 mmio_write_32(base + GICC_IAR, val); in gicc_write_IAR()
59 #define GICC_IAR 0xC macro
82 return mmio_read_32(base + GICC_IAR); in gicc_read_IAR()137 mmio_write_32(base + GICC_IAR, val); in gicc_write_IAR()
2486 Acknowledge Register* (``GICC_IAR``). This changes the state of the highest2488 It returns the value read from the ``GICC_IAR``. This value is the id of the