Searched refs:kern_reg (Results 1 – 1 of 1) sorted by relevance
1134 uint64_t user_reg, kern_reg, value; in update_special_regs() local1150 kern_reg = value; in update_special_regs()1153 kern_reg = CPU_DESC_FIELD(kern_cpu_desc, i); in update_special_regs()1173 kern_reg = update_lower_register(kern_reg, value, in update_special_regs()1177 CPU_DESC_FIELD(kern_cpu_desc, i) = kern_reg; in update_special_regs()