Searched refs:GICC_HPPIR (Results 1 – 5 of 5) sorted by relevance
96 #define GICC_HPPIR 0x18 macro254 return mmio_read_32(base + GICC_HPPIR); in gicc_read_hppir()305 mmio_write_32(base + GICC_HPPIR, val); in gicc_write_hppir()
60 ldr w8, [x17, #GICC_HPPIR]
61 ldr w8, [x17, #GICC_HPPIR]
73 ldr w8, [x17, #GICC_HPPIR]
1327 (`GICC_HPPIR`) to determine the id of the pending interrupt. The type of interrupt1346 (`GICC_HPPIR`) to determine the id of the pending interrupt. The id that is