Lines Matching defs:val

46 	uint8_t val = target & GIC_TARGET_CPU_MASK;
48 	mmio_write_8(base + GICD_ITARGETSR + id, val);
51 static inline void gicd_write_sgir(uintptr_t base, unsigned int val)
53 	mmio_write_32(base + GICD_SGIR, val);
114 static inline void gicc_write_ctlr(uintptr_t base, unsigned int val)
116 	mmio_write_32(base + GICC_CTLR, val);
119 static inline void gicc_write_pmr(uintptr_t base, unsigned int val)
121 	mmio_write_32(base + GICC_PMR, val);
124 static inline void gicc_write_BPR(uintptr_t base, unsigned int val)
126 	mmio_write_32(base + GICC_BPR, val);
130 static inline void gicc_write_IAR(uintptr_t base, unsigned int val)
132 	mmio_write_32(base + GICC_IAR, val);
135 static inline void gicc_write_EOIR(uintptr_t base, unsigned int val)
137 	mmio_write_32(base + GICC_EOIR, val);
140 static inline void gicc_write_hppir(uintptr_t base, unsigned int val)
142 	mmio_write_32(base + GICC_HPPIR, val);
145 static inline void gicc_write_dir(uintptr_t base, unsigned int val)
147 	mmio_write_32(base + GICC_DIR, val);