250 	unsigned int reg_val = gicd_read_igroupr(base, id);  in gicd_get_igroupr()  local
252 	return (reg_val >> bit_num) & 0x1U;  in gicd_get_igroupr()
258 	unsigned int reg_val = gicd_read_igroupr(base, id);  in gicd_set_igroupr()  local
260 	gicd_write_igroupr(base, id, reg_val | BIT_32(bit_num));  in gicd_set_igroupr()
266 	unsigned int reg_val = gicd_read_igroupr(base, id);  in gicd_clr_igroupr()  local
268 	gicd_write_igroupr(base, id, reg_val & ~BIT_32(bit_num));  in gicd_clr_igroupr()
302 	unsigned int reg_val = gicd_read_isactiver(base, id);  in gicd_get_isactiver()  local
304 	return (reg_val >> bit_num) & 0x1U;  in gicd_get_isactiver()
334 	uint32_t reg_val = gicd_read_icfgr(base, id);  in gicd_set_icfgr()  local
337 	reg_val &= ~(GIC_CFG_MASK << bit_shift);  in gicd_set_icfgr()
338 	reg_val |= ((cfg & GIC_CFG_MASK) << bit_shift);  in gicd_set_icfgr()
340 	gicd_write_icfgr(base, id, reg_val);  in gicd_set_icfgr()