is_page_fault    5364 arch/x86/kvm/vmx/nested.c 		else if (is_page_fault(intr_info))
is_page_fault    4636 arch/x86/kvm/vmx/vmx.c 	    !(is_page_fault(intr_info) && !(error_code & PFERR_RSVD_MASK))) {
is_page_fault    4646 arch/x86/kvm/vmx/vmx.c 	if (is_page_fault(intr_info)) {
is_page_fault    6203 arch/x86/kvm/vmx/vmx.c 	if (is_page_fault(vmx->exit_intr_info))