Lines Matching refs:mmio_read_32
32 return mmio_read_32(base + GICD_PIDR2_GICV2); in gicd_read_pidr2()
62 return mmio_read_32(base + GICC_CTLR); in gicc_read_ctlr()
67 return mmio_read_32(base + GICC_PMR); in gicc_read_pmr()
72 return mmio_read_32(base + GICC_BPR); in gicc_read_BPR()
77 return mmio_read_32(base + GICC_IAR); in gicc_read_IAR()
82 return mmio_read_32(base + GICC_EOIR); in gicc_read_EOIR()
87 return mmio_read_32(base + GICC_HPPIR); in gicc_read_hppir()
92 return mmio_read_32(base + GICC_AHPPIR); in gicc_read_ahppir()
97 return mmio_read_32(base + GICC_DIR); in gicc_read_dir()
102 return mmio_read_32(base + GICC_IIDR); in gicc_read_iidr()
107 return mmio_read_32(base + GICC_RPR); in gicc_read_rpr()