Searched refs:pageva (Results 1 – 1 of 1) sorted by relevance
1286 uint64_t pageva, uint16_t deviceid, domain_id_t domainid, in amd_iommu_destroy_pgtables() argument1311 (void *)(uintptr_t)pageva, path); in amd_iommu_destroy_pgtables()1329 index = AMD_IOMMU_VA_BITS(pageva, level); in amd_iommu_destroy_pgtables()1347 ASSERT(pageva == (pa_4K << MMU_PAGESHIFT)); in amd_iommu_destroy_pgtables()1385 (uintptr_t)AMD_IOMMU_VA_INVAL(pageva, tear_level); in amd_iommu_destroy_pgtables()1389 cmdargs.ca_addr = (uintptr_t)pageva; in amd_iommu_destroy_pgtables()