Searched refs:GICC_BPR (Results 1 – 3 of 3) sorted by relevance
72 return mmio_read_32(base + GICC_BPR); in gicc_read_BPR()126 mmio_write_32(base + GICC_BPR, val); in gicc_write_BPR()
40 #define GICC_BPR 0x0008 macro
60 #define GICC_BPR U(0x8) macro