76 #define GICD_WRITE_8(REG, base, id, val)	\  argument
79 #define GICD_WRITE(REG, base, id, val)	\  argument
82 #define GICD_WRITE_64(REG, base, id, val)	\  argument
137 #define GICR_WRITE_8(REG, base, id, val)		\  argument
140 #define GICR_WRITE(REG, base, id, val)			\  argument
317 static inline void gicr_write_ctlr(uintptr_t base, uint32_t val)  in gicr_write_ctlr()
332 static inline void gicr_write_waker(uintptr_t base, uint32_t val)  in gicr_write_waker()
375 static inline void gicr_write_icenabler0(uintptr_t base, unsigned int val)  in gicr_write_icenabler0()
391 					unsigned int val)  in gicr_write_icenabler()
409 static inline void gicr_write_icfgr0(uintptr_t base, unsigned int val)  in gicr_write_icfgr0()
414 static inline void gicr_write_icfgr1(uintptr_t base, unsigned int val)  in gicr_write_icfgr1()
429 					unsigned int val)  in gicr_write_icfgr()
437 static inline void gicr_write_icpendr0(uintptr_t base, unsigned int val)  in gicr_write_icpendr0()
447 					unsigned int val)  in gicr_write_icpendr()
460 static inline void gicr_write_igroupr0(uintptr_t base, unsigned int val)  in gicr_write_igroupr0()
476 						unsigned int val)  in gicr_write_igroupr()
489 static inline void gicr_write_igrpmodr0(uintptr_t base, unsigned int val)  in gicr_write_igrpmodr0()
505 				       unsigned int val)  in gicr_write_igrpmodr()
521 						unsigned int val)  in gicr_ipriorityr_write()
534 static inline void gicr_write_isactiver0(uintptr_t base, unsigned int val)  in gicr_write_isactiver0()
550 					unsigned int val)  in gicr_write_isactiver()
563 static inline void gicr_write_isenabler0(uintptr_t base, unsigned int val)  in gicr_write_isenabler0()
579 					unsigned int val)  in gicr_write_isenabler()
592 static inline void gicr_write_ispendr0(uintptr_t base, unsigned int val)  in gicr_write_ispendr0()
608 						unsigned int val)  in gicr_write_ispendr()
621 static inline void gicr_write_nsacr(uintptr_t base, unsigned int val)  in gicr_write_nsacr()
634 static inline void gicr_write_propbaser(uintptr_t base, uint64_t val)  in gicr_write_propbaser()
647 static inline void gicr_write_pendbaser(uintptr_t base, uint64_t val)  in gicr_write_pendbaser()
660 static inline void gits_write_ctlr(uintptr_t base, uint32_t val)  in gits_write_ctlr()
670 static inline void gits_write_cbaser(uintptr_t base, uint64_t val)  in gits_write_cbaser()
680 static inline void gits_write_cwriter(uintptr_t base, uint64_t val)  in gits_write_cwriter()
693 					uint64_t val)  in gits_write_baser()