kvm_read_cr3
return kvm_get_pcid(vcpu, kvm_read_cr3(vcpu));
return kvm_read_cr3(vcpu) & (X86_CR3_LAM_U48 | X86_CR3_LAM_U57);
return kvm_read_cr3(vcpu);
return kvm_read_cr3(vcpu);
smram->cr3 = kvm_read_cr3(vcpu);
smram->cr3 = kvm_read_cr3(vcpu);
vmcb01->save.cr3 = kvm_read_cr3(vcpu);
vmcb12->save.cr3 = kvm_read_cr3(vcpu);
load_pdptrs(vcpu, kvm_read_cr3(vcpu));
val = kvm_read_cr3(vcpu);
val = kvm_read_cr3(vcpu);
!load_pdptrs(vcpu, kvm_read_cr3(vcpu)))
sregs->cr3 = kvm_read_cr3(vcpu);
*mmu_reset_needed |= kvm_read_cr3(vcpu) != sregs->cr3;
load_pdptrs(vcpu, kvm_read_cr3(vcpu));
(old_cr0 || kvm_read_cr3(vcpu) || kvm_read_cr4(vcpu)));
&& !load_pdptrs(vcpu, kvm_read_cr3(vcpu)))
if ((kvm_read_cr3(vcpu) & X86_CR3_PCID_MASK) || !is_long_mode(vcpu))
if (cr3 == kvm_read_cr3(vcpu) && !is_pae_paging(vcpu))
if (cr3 != kvm_read_cr3(vcpu))
value = kvm_read_cr3(vcpu);