Searched refs:old_cr0_pg (Results 1 – 1 of 1) sorted by relevance
3456 unsigned long hw_cr0, old_cr0_pg; in vmx_set_cr0() 3459 old_cr0_pg = kvm_read_cr0_bits(vcpu, X86_CR0_PG); in vmx_set_cr0() 3483 if (!old_cr0_pg && (cr0 & X86_CR0_PG)) in vmx_set_cr0() 3485 else if (old_cr0_pg && !(cr0 & X86_CR0_PG)) in vmx_set_cr0() 3527 if ((old_cr0_pg ^ cr0) & X86_CR0_PG) in vmx_set_cr0() 3534 if (!(old_cr0_pg & X86_CR0_PG) && (cr0 & X86_CR0_PG)) in vmx_get_max_ept_level() 3446 unsigned long hw_cr0, old_cr0_pg; vmx_set_cr0() local