Searched refs:kern_reg (Results 1 – 1 of 1) sorted by relevance
2600 uint64_t l_user_reg, user_reg, kern_reg, value; in update_special_regs() local2619 kern_reg = value; in update_special_regs()2623 kern_reg = CPU_DESC_FIELD(kern_cpu_desc, i); in update_special_regs()2649 kern_reg = update_special_reg_field(kern_reg, in update_special_regs()2654 CPU_DESC_FIELD(kern_cpu_desc, i) = kern_reg; in update_special_regs()