pub const NT_PAGING_LEVELS: u32 = 2u32;