Constant D3DKMT_GET_PTE_MAX 

pub const D3DKMT_GET_PTE_MAX: u32 = 64u32;