pub const PAGE_FAULT_WITH_INTERRUPTS_OFF: BUGCHECK_ERROR;