Lines Matching defs:reg_num
385 unsigned int reg_num)
387 return mmio_read_32(base + GICR_ICENABLER + (reg_num << 2));
390 static inline void gicr_write_icenabler(uintptr_t base, unsigned int reg_num,
393 mmio_write_32(base + GICR_ICENABLER + (reg_num << 2), val);
423 static inline unsigned int gicr_read_icfgr(uintptr_t base, unsigned int reg_num)
425 return mmio_read_32(base + GICR_ICFGR + (reg_num << 2));
428 static inline void gicr_write_icfgr(uintptr_t base, unsigned int reg_num,
431 mmio_write_32(base + GICR_ICFGR + (reg_num << 2), val);
446 static inline void gicr_write_icpendr(uintptr_t base, unsigned int reg_num,
449 mmio_write_32(base + GICR_ICPENDR + (reg_num << 2), val);
470 unsigned int reg_num)
472 return mmio_read_32(base + GICR_IGROUPR + (reg_num << 2));
475 static inline void gicr_write_igroupr(uintptr_t base, unsigned int reg_num,
478 mmio_write_32(base + GICR_IGROUPR + (reg_num << 2), val);
499 unsigned int reg_num)
501 return mmio_read_32(base + GICR_IGRPMODR + (reg_num << 2));
504 static inline void gicr_write_igrpmodr(uintptr_t base, unsigned int reg_num,
507 mmio_write_32(base + GICR_IGRPMODR + (reg_num << 2), val);
515 unsigned int reg_num)
517 return mmio_read_32(base + GICR_IPRIORITYR + (reg_num << 2));
520 static inline void gicr_ipriorityr_write(uintptr_t base, unsigned int reg_num,
523 mmio_write_32(base + GICR_IPRIORITYR + (reg_num << 2), val);
544 unsigned int reg_num)
546 return mmio_read_32(base + GICR_ISACTIVER + (reg_num << 2));
549 static inline void gicr_write_isactiver(uintptr_t base, unsigned int reg_num,
552 mmio_write_32(base + GICR_ISACTIVER + (reg_num << 2), val);
573 unsigned int reg_num)
575 return mmio_read_32(base + GICR_ISENABLER + (reg_num << 2));
578 static inline void gicr_write_isenabler(uintptr_t base, unsigned int reg_num,
581 mmio_write_32(base + GICR_ISENABLER + (reg_num << 2), val);
602 unsigned int reg_num)
604 return mmio_read_32(base + GICR_ISPENDR + (reg_num << 2));
607 static inline void gicr_write_ispendr(uintptr_t base, unsigned int reg_num,
610 mmio_write_32(base + GICR_ISPENDR + (reg_num << 2), val);