46 	uint8_t val = target & GIC_TARGET_CPU_MASK;  in gicd_set_itargetsr()  local
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()
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()