70 #define GICD_READ(REG, base, id)	\  argument
71 	mmio_read_32((base) + GICD_OFFSET(REG, (id)))
73 #define GICD_READ_64(REG, base, id)	\  argument
74 	mmio_read_64((base) + GICD_OFFSET_64(REG, (id)))
76 #define GICD_WRITE_8(REG, base, id, val)	\  argument
77 	mmio_write_8((base) + GICD_OFFSET_8(REG, (id)), (val))
79 #define GICD_WRITE(REG, base, id, val)	\  argument
80 	mmio_write_32((base) + GICD_OFFSET(REG, (id)), (val))
82 #define GICD_WRITE_64(REG, base, id, val)	\  argument
83 	mmio_write_64((base) + GICD_OFFSET_64(REG, (id)), (val))
90 #define GICD_GET_BIT(REG, base, id)				\  argument
91 	((mmio_read_32((base) + GICD_OFFSET(REG, (id))) >>	\
95 #define GICD_SET_BIT(REG, base, id)				\  argument
96 	mmio_setbits_32((base) + GICD_OFFSET(REG, (id)),	\
100 #define GICD_CLR_BIT(REG, base, id)				\  argument
101 	mmio_clrbits_32((base) + GICD_OFFSET(REG, (id)),	\
105 #define	GICD_WRITE_BIT(REG, base, id)			\  argument
106 	mmio_write_32((base) + GICD_OFFSET(REG, (id)),	\
134 #define GICR_READ(REG, base, id)			\  argument
135 	mmio_read_32((base) + GICR_OFFSET(REG, (id)))
137 #define GICR_WRITE_8(REG, base, id, val)		\  argument
138 	mmio_write_8((base) + GICR_OFFSET_8(REG, (id)), (val))
140 #define GICR_WRITE(REG, base, id, val)			\  argument
141 	mmio_write_32((base) + GICR_OFFSET(REG, (id)), (val))
148 #define GICR_GET_BIT(REG, base, id)				\  argument
149 	((mmio_read_32((base) + GICR_OFFSET(REG, (id))) >>	\
153 #define	GICR_WRITE_BIT(REG, base, id)				\  argument
154 	mmio_write_32((base) + GICR_OFFSET(REG, (id)),		\
158 #define	GICR_SET_BIT(REG, base, id)				\  argument
159 	mmio_setbits_32((base) + GICR_OFFSET(REG, (id)),	\
163 #define	GICR_CLR_BIT(REG, base, id)				\  argument
164 	mmio_clrbits_32((base) + GICR_OFFSET(REG, (id)),	\
206 unsigned int gicd_read_igrpmodr(uintptr_t base, unsigned int id);
207 unsigned int gicr_read_ipriorityr(uintptr_t base, unsigned int id);
208 void gicd_write_igrpmodr(uintptr_t base, unsigned int id, unsigned int val);
209 void gicr_write_ipriorityr(uintptr_t base, unsigned int id, unsigned int val);
217 unsigned int gicd_get_igrpmodr(uintptr_t base, unsigned int id);
218 unsigned int gicr_get_igrpmodr(uintptr_t base, unsigned int id);
219 unsigned int gicr_get_igroupr(uintptr_t base, unsigned int id);
220 unsigned int gicr_get_isactiver(uintptr_t base, unsigned int id);
221 void gicd_set_igrpmodr(uintptr_t base, unsigned int id);
222 void gicr_set_igrpmodr(uintptr_t base, unsigned int id);
223 void gicr_set_isenabler(uintptr_t base, unsigned int id);
224 void gicr_set_icenabler(uintptr_t base, unsigned int id);
225 void gicr_set_ispendr(uintptr_t base, unsigned int id);
226 void gicr_set_icpendr(uintptr_t base, unsigned int id);
227 void gicr_set_igroupr(uintptr_t base, unsigned int id);
228 void gicd_clr_igrpmodr(uintptr_t base, unsigned int id);
229 void gicr_clr_igrpmodr(uintptr_t base, unsigned int id);
230 void gicr_clr_igroupr(uintptr_t base, unsigned int id);
231 void gicr_set_ipriorityr(uintptr_t base, unsigned int id, unsigned int pri);
232 void gicr_set_icfgr(uintptr_t base, unsigned int id, unsigned int cfg);
270 static inline uint32_t gicd_read_pidr2(uintptr_t base)  in gicd_read_pidr2()  argument
272 	return mmio_read_32(base + GICD_PIDR2_GICV3);  in gicd_read_pidr2()
275 static inline uint64_t gicd_read_irouter(uintptr_t base, unsigned int id)  in gicd_read_irouter()  argument
278 	return GICD_READ_64(IROUTE, base, id);  in gicd_read_irouter()
281 static inline void gicd_write_irouter(uintptr_t base,  in gicd_write_irouter()  argument
286 	GICD_WRITE_64(IROUTE, base, id, affinity);  in gicd_write_irouter()
289 static inline void gicd_clr_ctlr(uintptr_t base,  in gicd_clr_ctlr()  argument
293 	gicd_write_ctlr(base, gicd_read_ctlr(base) & ~bitmap);  in gicd_clr_ctlr()
295 		gicd_wait_for_pending_write(base);  in gicd_clr_ctlr()
299 static inline void gicd_set_ctlr(uintptr_t base,  in gicd_set_ctlr()  argument
303 	gicd_write_ctlr(base, gicd_read_ctlr(base) | bitmap);  in gicd_set_ctlr()
305 		gicd_wait_for_pending_write(base);  in gicd_set_ctlr()
312 static inline uint32_t gicr_read_ctlr(uintptr_t base)  in gicr_read_ctlr()  argument
314 	return mmio_read_32(base + GICR_CTLR);  in gicr_read_ctlr()
317 static inline void gicr_write_ctlr(uintptr_t base, uint32_t val)  in gicr_write_ctlr()  argument
319 	mmio_write_32(base + GICR_CTLR, val);  in gicr_write_ctlr()
322 static inline uint64_t gicr_read_typer(uintptr_t base)  in gicr_read_typer()  argument
324 	return mmio_read_64(base + GICR_TYPER);  in gicr_read_typer()
327 static inline uint32_t gicr_read_waker(uintptr_t base)  in gicr_read_waker()  argument
329 	return mmio_read_32(base + GICR_WAKER);  in gicr_read_waker()
332 static inline void gicr_write_waker(uintptr_t base, uint32_t val)  in gicr_write_waker()  argument
334 	mmio_write_32(base + GICR_WAKER, val);  in gicr_write_waker()
370 static inline unsigned int gicr_read_icenabler0(uintptr_t base)  in gicr_read_icenabler0()  argument
372 	return mmio_read_32(base + GICR_ICENABLER0);  in gicr_read_icenabler0()
375 static inline void gicr_write_icenabler0(uintptr_t base, unsigned int val)  in gicr_write_icenabler0()  argument
377 	mmio_write_32(base + GICR_ICENABLER0, val);  in gicr_write_icenabler0()
384 static inline unsigned int gicr_read_icenabler(uintptr_t base,  in gicr_read_icenabler()  argument
387 	return mmio_read_32(base + GICR_ICENABLER + (reg_num << 2));  in gicr_read_icenabler()
390 static inline void gicr_write_icenabler(uintptr_t base, unsigned int reg_num,  in gicr_write_icenabler()  argument
393 	mmio_write_32(base + GICR_ICENABLER + (reg_num << 2), val);  in gicr_write_icenabler()
399 static inline unsigned int gicr_read_icfgr0(uintptr_t base)  in gicr_read_icfgr0()  argument
401 	return mmio_read_32(base + GICR_ICFGR0);  in gicr_read_icfgr0()
404 static inline unsigned int gicr_read_icfgr1(uintptr_t base)  in gicr_read_icfgr1()  argument
406 	return mmio_read_32(base + GICR_ICFGR1);  in gicr_read_icfgr1()
409 static inline void gicr_write_icfgr0(uintptr_t base, unsigned int val)  in gicr_write_icfgr0()  argument
411 	mmio_write_32(base + GICR_ICFGR0, val);  in gicr_write_icfgr0()
414 static inline void gicr_write_icfgr1(uintptr_t base, unsigned int val)  in gicr_write_icfgr1()  argument
416 	mmio_write_32(base + GICR_ICFGR1, val);  in gicr_write_icfgr1()
423 static inline unsigned int gicr_read_icfgr(uintptr_t base, unsigned int reg_num)  in gicr_read_icfgr()  argument
425 	return mmio_read_32(base + GICR_ICFGR + (reg_num << 2));  in gicr_read_icfgr()
428 static inline void gicr_write_icfgr(uintptr_t base, unsigned int reg_num,  in gicr_write_icfgr()  argument
431 	mmio_write_32(base + GICR_ICFGR + (reg_num << 2), val);  in gicr_write_icfgr()
437 static inline void gicr_write_icpendr0(uintptr_t base, unsigned int val)  in gicr_write_icpendr0()  argument
439 	mmio_write_32(base + GICR_ICPENDR0, val);  in gicr_write_icpendr0()
446 static inline void gicr_write_icpendr(uintptr_t base, unsigned int reg_num,  in gicr_write_icpendr()  argument
449 	mmio_write_32(base + GICR_ICPENDR + (reg_num << 2), val);  in gicr_write_icpendr()
455 static inline unsigned int gicr_read_igroupr0(uintptr_t base)  in gicr_read_igroupr0()  argument
457 	return mmio_read_32(base + GICR_IGROUPR0);  in gicr_read_igroupr0()
460 static inline void gicr_write_igroupr0(uintptr_t base, unsigned int val)  in gicr_write_igroupr0()  argument
462 	mmio_write_32(base + GICR_IGROUPR0, val);  in gicr_write_igroupr0()
469 static inline unsigned int gicr_read_igroupr(uintptr_t base,  in gicr_read_igroupr()  argument
472 	return mmio_read_32(base + GICR_IGROUPR + (reg_num << 2));  in gicr_read_igroupr()
475 static inline void gicr_write_igroupr(uintptr_t base, unsigned int reg_num,  in gicr_write_igroupr()  argument
478 	mmio_write_32(base + GICR_IGROUPR + (reg_num << 2), val);  in gicr_write_igroupr()
484 static inline unsigned int gicr_read_igrpmodr0(uintptr_t base)  in gicr_read_igrpmodr0()  argument
486 	return mmio_read_32(base + GICR_IGRPMODR0);  in gicr_read_igrpmodr0()
489 static inline void gicr_write_igrpmodr0(uintptr_t base, unsigned int val)  in gicr_write_igrpmodr0()  argument
491 	mmio_write_32(base + GICR_IGRPMODR0, val);  in gicr_write_igrpmodr0()
498 static inline unsigned int gicr_read_igrpmodr(uintptr_t base,  in gicr_read_igrpmodr()  argument
501 	return mmio_read_32(base + GICR_IGRPMODR + (reg_num << 2));  in gicr_read_igrpmodr()
504 static inline void gicr_write_igrpmodr(uintptr_t base, unsigned int reg_num,  in gicr_write_igrpmodr()  argument
507 	mmio_write_32(base + GICR_IGRPMODR + (reg_num << 2), val);  in gicr_write_igrpmodr()
514 static inline unsigned int gicr_ipriorityr_read(uintptr_t base,  in gicr_ipriorityr_read()  argument
517 	return mmio_read_32(base + GICR_IPRIORITYR + (reg_num << 2));  in gicr_ipriorityr_read()
520 static inline void gicr_ipriorityr_write(uintptr_t base, unsigned int reg_num,  in gicr_ipriorityr_write()  argument
523 	mmio_write_32(base + GICR_IPRIORITYR + (reg_num << 2), val);  in gicr_ipriorityr_write()
529 static inline unsigned int gicr_read_isactiver0(uintptr_t base)  in gicr_read_isactiver0()  argument
531 	return mmio_read_32(base + GICR_ISACTIVER0);  in gicr_read_isactiver0()
534 static inline void gicr_write_isactiver0(uintptr_t base, unsigned int val)  in gicr_write_isactiver0()  argument
536 	mmio_write_32(base + GICR_ISACTIVER0, val);  in gicr_write_isactiver0()
543 static inline unsigned int gicr_read_isactiver(uintptr_t base,  in gicr_read_isactiver()  argument
546 	return mmio_read_32(base + GICR_ISACTIVER + (reg_num << 2));  in gicr_read_isactiver()
549 static inline void gicr_write_isactiver(uintptr_t base, unsigned int reg_num,  in gicr_write_isactiver()  argument
552 	mmio_write_32(base + GICR_ISACTIVER + (reg_num << 2), val);  in gicr_write_isactiver()
558 static inline unsigned int gicr_read_isenabler0(uintptr_t base)  in gicr_read_isenabler0()  argument
560 	return mmio_read_32(base + GICR_ISENABLER0);  in gicr_read_isenabler0()
563 static inline void gicr_write_isenabler0(uintptr_t base, unsigned int val)  in gicr_write_isenabler0()  argument
565 	mmio_write_32(base + GICR_ISENABLER0, val);  in gicr_write_isenabler0()
572 static inline unsigned int gicr_read_isenabler(uintptr_t base,  in gicr_read_isenabler()  argument
575 	return mmio_read_32(base + GICR_ISENABLER + (reg_num << 2));  in gicr_read_isenabler()
578 static inline void gicr_write_isenabler(uintptr_t base, unsigned int reg_num,  in gicr_write_isenabler()  argument
581 	mmio_write_32(base + GICR_ISENABLER + (reg_num << 2), val);  in gicr_write_isenabler()
587 static inline unsigned int gicr_read_ispendr0(uintptr_t base)  in gicr_read_ispendr0()  argument
589 	return mmio_read_32(base + GICR_ISPENDR0);  in gicr_read_ispendr0()
592 static inline void gicr_write_ispendr0(uintptr_t base, unsigned int val)  in gicr_write_ispendr0()  argument
594 	mmio_write_32(base + GICR_ISPENDR0, val);  in gicr_write_ispendr0()
601 static inline unsigned int gicr_read_ispendr(uintptr_t base,  in gicr_read_ispendr()  argument
604 	return mmio_read_32(base + GICR_ISPENDR + (reg_num << 2));  in gicr_read_ispendr()
607 static inline void gicr_write_ispendr(uintptr_t base, unsigned int reg_num,  in gicr_write_ispendr()  argument
610 	mmio_write_32(base + GICR_ISPENDR + (reg_num << 2), val);  in gicr_write_ispendr()
616 static inline unsigned int gicr_read_nsacr(uintptr_t base)  in gicr_read_nsacr()  argument
618 	return mmio_read_32(base + GICR_NSACR);  in gicr_read_nsacr()
621 static inline void gicr_write_nsacr(uintptr_t base, unsigned int val)  in gicr_write_nsacr()  argument
623 	mmio_write_32(base + GICR_NSACR, val);  in gicr_write_nsacr()
629 static inline uint64_t gicr_read_propbaser(uintptr_t base)  in gicr_read_propbaser()  argument
631 	return mmio_read_64(base + GICR_PROPBASER);  in gicr_read_propbaser()
634 static inline void gicr_write_propbaser(uintptr_t base, uint64_t val)  in gicr_write_propbaser()  argument
636 	mmio_write_64(base + GICR_PROPBASER, val);  in gicr_write_propbaser()
642 static inline uint64_t gicr_read_pendbaser(uintptr_t base)  in gicr_read_pendbaser()  argument
644 	return mmio_read_64(base + GICR_PENDBASER);  in gicr_read_pendbaser()
647 static inline void gicr_write_pendbaser(uintptr_t base, uint64_t val)  in gicr_write_pendbaser()  argument
649 	mmio_write_64(base + GICR_PENDBASER, val);  in gicr_write_pendbaser()
655 static inline uint32_t gits_read_ctlr(uintptr_t base)  in gits_read_ctlr()  argument
657 	return mmio_read_32(base + GITS_CTLR);  in gits_read_ctlr()
660 static inline void gits_write_ctlr(uintptr_t base, uint32_t val)  in gits_write_ctlr()  argument
662 	mmio_write_32(base + GITS_CTLR, val);  in gits_write_ctlr()
665 static inline uint64_t gits_read_cbaser(uintptr_t base)  in gits_read_cbaser()  argument
667 	return mmio_read_64(base + GITS_CBASER);  in gits_read_cbaser()
670 static inline void gits_write_cbaser(uintptr_t base, uint64_t val)  in gits_write_cbaser()  argument
672 	mmio_write_64(base + GITS_CBASER, val);  in gits_write_cbaser()
675 static inline uint64_t gits_read_cwriter(uintptr_t base)  in gits_read_cwriter()  argument
677 	return mmio_read_64(base + GITS_CWRITER);  in gits_read_cwriter()
680 static inline void gits_write_cwriter(uintptr_t base, uint64_t val)  in gits_write_cwriter()  argument
682 	mmio_write_64(base + GITS_CWRITER, val);  in gits_write_cwriter()
685 static inline uint64_t gits_read_baser(uintptr_t base,  in gits_read_baser()  argument
689 	return mmio_read_64(base + GITS_BASER + (8U * its_table_id));  in gits_read_baser()
692 static inline void gits_write_baser(uintptr_t base, unsigned int its_table_id,  in gits_write_baser()  argument
696 	mmio_write_64(base + GITS_BASER + (8U * its_table_id), val);  in gits_write_baser()