DEBUG_PAGE_FAULT_NO_INFO
debug_set_page_fault_info(0, frame->ip, DEBUG_PAGE_FAULT_NO_INFO);
if ((info->flags & DEBUG_PAGE_FAULT_NO_INFO) == 0) {
(info->flags & DEBUG_PAGE_FAULT_NO_INFO) != 0