pub const DRIVER_USED_EXCESSIVE_PTES: BUGCHECK_ERROR;