load_pdptrs
int load_pdptrs(struct kvm_vcpu *vcpu, unsigned long cr3);
if (CC(!load_pdptrs(vcpu, vcpu->arch.cr3)))
CC(!load_pdptrs(vcpu, cr3)))
load_pdptrs(vcpu, kvm_read_cr3(vcpu));
CC(!load_pdptrs(vcpu, cr3))) {
if (CC(!load_pdptrs(vcpu, vcpu->arch.cr3)))
EXPORT_SYMBOL_FOR_KVM_INTERNAL(load_pdptrs);
!load_pdptrs(vcpu, kvm_read_cr3(vcpu)))
load_pdptrs(vcpu, kvm_read_cr3(vcpu));
&& !load_pdptrs(vcpu, kvm_read_cr3(vcpu)))
if (is_pae_paging(vcpu) && !load_pdptrs(vcpu, cr3))