Lines Matching defs:reg_val

249 	unsigned int reg_val = gicd_read_igroupr(base, id);
251 	return (reg_val >> bit_num) & 0x1U;
257 	unsigned int reg_val = gicd_read_igroupr(base, id);
259 	gicd_write_igroupr(base, id, reg_val | (1U << bit_num));
265 	unsigned int reg_val = gicd_read_igroupr(base, id);
267 	gicd_write_igroupr(base, id, reg_val & ~(1U << bit_num));
301 	unsigned int reg_val = gicd_read_isactiver(base, id);
303 	return (reg_val >> bit_num) & 0x1U;
333 	uint32_t reg_val = gicd_read_icfgr(base, id);
336 	reg_val &= ~(GIC_CFG_MASK << bit_shift);
337 	reg_val |= ((cfg & GIC_CFG_MASK) << bit_shift);
339 	gicd_write_icfgr(base, id, reg_val);