Constant DRIVER_PORTION_MUST_BE_NONPAGED 

pub const DRIVER_PORTION_MUST_BE_NONPAGED: BUGCHECK_ERROR;