Constant MDL_LOCKED_PAGE_TABLES 

pub const MDL_LOCKED_PAGE_TABLES: u32 = 256u32;