Constant MDL_FREE_EXTRA_PTES 

pub const MDL_FREE_EXTRA_PTES: u32 = 512u32;