is_pae_paging    1003 arch/x86/kvm/vmx/nested.c 		if (is_pae_paging(vcpu) && !nested_ept) {
is_pae_paging    2434 arch/x86/kvm/vmx/nested.c 	    is_pae_paging(vcpu)) {
is_pae_paging    3704 arch/x86/kvm/vmx/nested.c 		if (nested_cpu_has_ept(vmcs12) && is_pae_paging(vcpu)) {
is_pae_paging    2857 arch/x86/kvm/vmx/vmx.c 	if (is_pae_paging(vcpu)) {
is_pae_paging    2869 arch/x86/kvm/vmx/vmx.c 	if (is_pae_paging(vcpu)) {
is_pae_paging     741 arch/x86/kvm/x86.c 	if (!is_pae_paging(vcpu))
is_pae_paging    1035 arch/x86/kvm/x86.c 	else if (is_pae_paging(vcpu) &&
is_pae_paging    8910 arch/x86/kvm/x86.c 	if (is_pae_paging(vcpu)) {