page_fault_handle_page_track
if (page_fault_handle_page_track(vcpu, fault))
if (page_fault_handle_page_track(vcpu, fault)) {