Constant DRIVER_USED_EXCESSIVE_PTES 

pub const DRIVER_USED_EXCESSIVE_PTES: BUGCHECK_ERROR;