Searched refs:GICC_BPR (Results 1 – 1 of 1) sorted by relevance
92 #define GICC_BPR 0x8 macro239 return mmio_read_32(base + GICC_BPR); in gicc_read_BPR()289 mmio_write_32(base + GICC_BPR, val); in gicc_write_BPR()