Constant D3DKMT_GET_PTE_MAX

pub const D3DKMT_GET_PTE_MAX: u32 = 64u32;