Lines Matching defs:base

25 unsigned int gicv2_get_cpuif_id(uintptr_t base);
30 static inline unsigned int gicd_read_pidr2(uintptr_t base)
32 	return mmio_read_32(base + GICD_PIDR2_GICV2);
38 static inline unsigned int gicd_get_itargetsr(uintptr_t base, unsigned int id)
40 	return mmio_read_8(base + GICD_ITARGETSR + id);
43 static inline void gicd_set_itargetsr(uintptr_t base, unsigned int id,
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);
60 static inline unsigned int gicc_read_ctlr(uintptr_t base)
62 	return mmio_read_32(base + GICC_CTLR);
65 static inline unsigned int gicc_read_pmr(uintptr_t base)
67 	return mmio_read_32(base + GICC_PMR);
70 static inline unsigned int gicc_read_BPR(uintptr_t base)
72 	return mmio_read_32(base + GICC_BPR);
75 static inline unsigned int gicc_read_IAR(uintptr_t base)
77 	return mmio_read_32(base + GICC_IAR);
80 static inline unsigned int gicc_read_EOIR(uintptr_t base)
82 	return mmio_read_32(base + GICC_EOIR);
85 static inline unsigned int gicc_read_hppir(uintptr_t base)
87 	return mmio_read_32(base + GICC_HPPIR);
90 static inline unsigned int gicc_read_ahppir(uintptr_t base)
92 	return mmio_read_32(base + GICC_AHPPIR);
95 static inline unsigned int gicc_read_dir(uintptr_t base)
97 	return mmio_read_32(base + GICC_DIR);
100 static inline unsigned int gicc_read_iidr(uintptr_t base)
102 	return mmio_read_32(base + GICC_IIDR);
105 static inline unsigned int gicc_read_rpr(uintptr_t base)
107 	return mmio_read_32(base + GICC_RPR);
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);