Constant NO_MORE_SYSTEM_PTES 

pub const NO_MORE_SYSTEM_PTES: ULONG = 0x0000003F;