is_page_fault
else if (is_page_fault(intr_info))
else if (is_page_fault(intr_info))
!(is_page_fault(intr_info) && !(error_code & PFERR_RSVD_MASK))) {
if (is_page_fault(intr_info))
if (is_page_fault(intr_info))