Constant DXGK_PTE_PAGE_TABLE_PAGE_4KB 

pub const DXGK_PTE_PAGE_TABLE_PAGE_4KB: DXGK_PTE_PAGE_SIZE;