Constant PAGE_FAULT_WITH_INTERRUPTS_OFF 

pub const PAGE_FAULT_WITH_INTERRUPTS_OFF: BUGCHECK_ERROR;