Lines Matching defs:reg_val

251 	unsigned int reg_val = gicd_read_igroupr(base, id);
253 	return (reg_val >> bit_num) & 0x1U;
259 	unsigned int reg_val = gicd_read_igroupr(base, id);
261 	gicd_write_igroupr(base, id, reg_val | (1U << bit_num));
267 	unsigned int reg_val = gicd_read_igroupr(base, id);
269 	gicd_write_igroupr(base, id, reg_val & ~(1U << bit_num));
303 	unsigned int reg_val = gicd_read_isactiver(base, id);
305 	return (reg_val >> bit_num) & 0x1U;
335 	uint32_t reg_val = gicd_read_icfgr(base, id);
338 	reg_val &= ~(GIC_CFG_MASK << bit_shift);
339 	reg_val |= ((cfg & GIC_CFG_MASK) << bit_shift);
341 	gicd_write_icfgr(base, id, reg_val);