Searched refs:old_cr0_pg (Results 1 – 1 of 1) sorted by relevance
3274 unsigned long hw_cr0, old_cr0_pg; in vmx_set_cr0() local3277 old_cr0_pg = kvm_read_cr0_bits(vcpu, X86_CR0_PG); in vmx_set_cr0()3301 if (!old_cr0_pg && (cr0 & X86_CR0_PG)) in vmx_set_cr0()3303 else if (old_cr0_pg && !(cr0 & X86_CR0_PG)) in vmx_set_cr0()3345 if ((old_cr0_pg ^ cr0) & X86_CR0_PG) in vmx_set_cr0()3352 if (!(old_cr0_pg & X86_CR0_PG) && (cr0 & X86_CR0_PG)) in vmx_set_cr0()
