Searched refs:GICR_WAKER (Results 1 – 3 of 3) sorted by relevance
26 #define GICR_WAKER 0x14 macro61 return mmio_read_32(base + GICR_WAKER); in gicr_read_waker()66 mmio_write_32(base + GICR_WAKER, val); in gicr_write_waker()
88 #define GICR_WAKER 0x14 macro
183 return mmio_read_32(base + GICR_WAKER); in gicr_read_waker()188 mmio_write_32(base + GICR_WAKER, val); in gicr_write_waker()