Constant DRIVER_PAGE_FAULT_BEYOND_END_OF_ALLOCATION 

pub const DRIVER_PAGE_FAULT_BEYOND_END_OF_ALLOCATION: BUGCHECK_ERROR;