Symbol: RADEON_VM_PTE_COUNT