25 unsigned int gicv2_get_cpuif_id(uintptr_t base);
30 static inline unsigned int gicd_read_pidr2(uintptr_t base)  in gicd_read_pidr2()  argument
32 	return mmio_read_32(base + GICD_PIDR2_GICV2);  in gicd_read_pidr2()
38 static inline unsigned int gicd_get_itargetsr(uintptr_t base, unsigned int id)  in gicd_get_itargetsr()  argument
40 	return mmio_read_8(base + GICD_ITARGETSR + id);  in gicd_get_itargetsr()
43 static inline void gicd_set_itargetsr(uintptr_t base, unsigned int id,  in gicd_set_itargetsr()  argument
48 	mmio_write_8(base + GICD_ITARGETSR + id, val);  in gicd_set_itargetsr()
51 static inline void gicd_write_sgir(uintptr_t base, unsigned int val)  in gicd_write_sgir()  argument
53 	mmio_write_32(base + GICD_SGIR, val);  in gicd_write_sgir()
60 static inline unsigned int gicc_read_ctlr(uintptr_t base)  in gicc_read_ctlr()  argument
62 	return mmio_read_32(base + GICC_CTLR);  in gicc_read_ctlr()
65 static inline unsigned int gicc_read_pmr(uintptr_t base)  in gicc_read_pmr()  argument
67 	return mmio_read_32(base + GICC_PMR);  in gicc_read_pmr()
70 static inline unsigned int gicc_read_BPR(uintptr_t base)  in gicc_read_BPR()  argument
72 	return mmio_read_32(base + GICC_BPR);  in gicc_read_BPR()
75 static inline unsigned int gicc_read_IAR(uintptr_t base)  in gicc_read_IAR()  argument
77 	return mmio_read_32(base + GICC_IAR);  in gicc_read_IAR()
80 static inline unsigned int gicc_read_EOIR(uintptr_t base)  in gicc_read_EOIR()  argument
82 	return mmio_read_32(base + GICC_EOIR);  in gicc_read_EOIR()
85 static inline unsigned int gicc_read_hppir(uintptr_t base)  in gicc_read_hppir()  argument
87 	return mmio_read_32(base + GICC_HPPIR);  in gicc_read_hppir()
90 static inline unsigned int gicc_read_ahppir(uintptr_t base)  in gicc_read_ahppir()  argument
92 	return mmio_read_32(base + GICC_AHPPIR);  in gicc_read_ahppir()
95 static inline unsigned int gicc_read_dir(uintptr_t base)  in gicc_read_dir()  argument
97 	return mmio_read_32(base + GICC_DIR);  in gicc_read_dir()
100 static inline unsigned int gicc_read_iidr(uintptr_t base)  in gicc_read_iidr()  argument
102 	return mmio_read_32(base + GICC_IIDR);  in gicc_read_iidr()
105 static inline unsigned int gicc_read_rpr(uintptr_t base)  in gicc_read_rpr()  argument
107 	return mmio_read_32(base + GICC_RPR);  in gicc_read_rpr()
114 static inline void gicc_write_ctlr(uintptr_t base, unsigned int val)  in gicc_write_ctlr()  argument
116 	mmio_write_32(base + GICC_CTLR, val);  in gicc_write_ctlr()
119 static inline void gicc_write_pmr(uintptr_t base, unsigned int val)  in gicc_write_pmr()  argument
121 	mmio_write_32(base + GICC_PMR, val);  in gicc_write_pmr()
124 static inline void gicc_write_BPR(uintptr_t base, unsigned int val)  in gicc_write_BPR()  argument
126 	mmio_write_32(base + GICC_BPR, val);  in gicc_write_BPR()
130 static inline void gicc_write_IAR(uintptr_t base, unsigned int val)  in gicc_write_IAR()  argument
132 	mmio_write_32(base + GICC_IAR, val);  in gicc_write_IAR()
135 static inline void gicc_write_EOIR(uintptr_t base, unsigned int val)  in gicc_write_EOIR()  argument
137 	mmio_write_32(base + GICC_EOIR, val);  in gicc_write_EOIR()
140 static inline void gicc_write_hppir(uintptr_t base, unsigned int val)  in gicc_write_hppir()  argument
142 	mmio_write_32(base + GICC_HPPIR, val);  in gicc_write_hppir()
145 static inline void gicc_write_dir(uintptr_t base, unsigned int val)  in gicc_write_dir()  argument
147 	mmio_write_32(base + GICC_DIR, val);  in gicc_write_dir()