amd_iommu_page_table_hash_fini
amd_iommu_page_table_hash_fini(&amd_iommu_page_table_hash);
amd_iommu_page_table_hash_fini(&amd_iommu_page_table_hash);
void amd_iommu_page_table_hash_fini(amd_iommu_page_table_hash_t *ampt);