Searched refs:old_cr0_pg (Results 1 – 1 of 1) sorted by relevance
3275 unsigned long hw_cr0, old_cr0_pg; in vmx_set_cr0() local 3278 old_cr0_pg = kvm_read_cr0_bits(vcpu, X86_CR0_PG); in vmx_set_cr0() 3302 if (!old_cr0_pg && (cr0 & X86_CR0_PG)) in vmx_set_cr0() 3304 else if (old_cr0_pg && !(cr0 & X86_CR0_PG)) in vmx_set_cr0() 3346 if ((old_cr0_pg ^ cr0) & X86_CR0_PG) in vmx_set_cr0() 3353 if (!(old_cr0_pg & X86_CR0_PG) && (cr0 & X86_CR0_PG)) in vmx_set_cr0()