Searched refs:user_reg (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/sys/arm64/arm64/ |
| H A D | identcpu.c | 2155 update_special_reg_field(uint64_t user_reg, u_int type, uint64_t value, in update_special_reg_field() argument
2160 user_reg &= ~(0xful << shift); in update_special_reg_field()
2161 user_reg |= (uint64_t)MRS_EXACT_FIELD(type) << shift; in update_special_reg_field()
2164 user_reg = update_lower_register(user_reg, value, shift, 4, in update_special_reg_field()
2171 return (user_reg); in update_special_reg_field()
2179 uint64_t l_user_reg, user_reg, kern_reg, value; in update_special_regs() local
2199 user_reg = value; in update_special_regs()
2203 user_reg = CPU_DESC_FIELD(user_cpu_desc, i); in update_special_regs()
2210 user_reg = update_special_reg_field(user_reg, in update_special_regs()
2225 CPU_DESC_FIELD(user_cpu_desc, i) = user_reg; in update_special_regs()
|