Lines Matching refs:dmac_cookie_addr
648 uint64_t pa_4K = ((uint64_t)pt->pt_cookie.dmac_cookie_addr) >> 12;
651 ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
667 uint64_t pa_4K = (pt->pt_cookie.dmac_cookie_addr >> 12);
670 ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
699 ASSERT((pt->pt_cookie.dmac_cookie_addr &
701 if ((pt->pt_cookie.dmac_cookie_addr >> 12) == pgtable_pa_4K) {
879 ASSERT(pt->pt_cookie.dmac_cookie_addr != NULL);
880 ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
967 uint64_t next_pgtable_pa_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12;
1080 dp->d_pgtable_root_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12;