Searched refs:d_pgtable_root_4K (Results 1 – 2 of 2) sorted by relevance
111 uint64_t d_pgtable_root_4K; member
164 dp->d_pgtable_root_4K = 0; /* make this explicit */ in amd_iommu_lookup_domain()343 ASSERT(dp->d_pgtable_root_4K == in init_devtbl()369 dp->d_pgtable_root_4K); in init_devtbl()595 ASSERT(dp->d_pgtable_root_4K == AMD_IOMMU_REG_GET64(&(devtbl_entry[0]), in amd_iommu_clear_devtbl_entry()724 pgtable_pa_4K = dp->d_pgtable_root_4K; in amd_iommu_lookup_pgtable()1080 dp->d_pgtable_root_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12; in init_pt()