385 						unsigned int reg_num)  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()
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()
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()
470 						unsigned int reg_num)  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()
499 						unsigned int reg_num)  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()
515 						unsigned int reg_num)  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()
544 						unsigned int reg_num)  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()
573 						unsigned int reg_num)  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()
602 						unsigned int reg_num)  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()