dmac_cookie_addr
cookie_array[i].dmac_cookie_addr,
cookie_array[i].dmac_cookie_addr = (uintptr_t)start_va;
cookie_array[i].dmac_cookie_addr,
(void *)cookiep->dmac_cookie_addr,
(void *)(uintptr_t)cookiep->dmac_cookie_addr,
ASSERT((iommu->aiomt_buf_dma_cookie.dmac_cookie_addr
addr = (caddr_t)(uintptr_t)iommu->aiomt_buf_dma_cookie.dmac_cookie_addr;
dp->d_pgtable_root_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12;
uint64_t pa_4K = ((uint64_t)pt->pt_cookie.dmac_cookie_addr) >> 12;
ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
uint64_t pa_4K = (pt->pt_cookie.dmac_cookie_addr >> 12);
ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
ASSERT((pt->pt_cookie.dmac_cookie_addr &
if ((pt->pt_cookie.dmac_cookie_addr >> 12) == pgtable_pa_4K) {
ASSERT(pt->pt_cookie.dmac_cookie_addr != (uintptr_t)NULL);
ASSERT((pt->pt_cookie.dmac_cookie_addr & AMD_IOMMU_PGTABLE_ALIGN) == 0);
uint64_t next_pgtable_pa_4K = (pt->pt_cookie.dmac_cookie_addr) >> 12;