is_page_fault    2265 arch/x86/kvm/vmx.c 						!is_page_fault(intr_info))
is_page_fault    2294 arch/x86/kvm/vmx.c 	if (is_page_fault(intr_info)) {