Searched refs:old_cr0_pg (Results 1 – 1 of 1) sorted by relevance
3287 unsigned long hw_cr0, old_cr0_pg; in vmx_set_cr0() local3290 old_cr0_pg = kvm_read_cr0_bits(vcpu, X86_CR0_PG); in vmx_set_cr0()3314 if (!old_cr0_pg && (cr0 & X86_CR0_PG)) in vmx_set_cr0()3316 else if (old_cr0_pg && !(cr0 & X86_CR0_PG)) in vmx_set_cr0()3358 if ((old_cr0_pg ^ cr0) & X86_CR0_PG) in vmx_set_cr0()3365 if (!(old_cr0_pg & X86_CR0_PG) && (cr0 & X86_CR0_PG)) in vmx_set_cr0()