dmai_tte
hp->dmai_winsize, hp->dmai_tte, hp->dmai_pfnlst, hp->dmai_pfn0);
(mp)->dmai_tte = (caddr_t)((uintptr_t)HI32(tte) | ((tte) & \
caddr_t dmai_tte;
io_attributes_t attr = PX_GET_MP_TTE(mp->dmai_tte);
hp->dmai_winsize, hp->dmai_tte, hp->dmai_pfnlst, hp->dmai_pfn0);
uint64_t tte = PCI_GET_MP_TTE(mp->dmai_tte);
(mp)->dmai_tte = (caddr_t)(HI32(tte) | ((tte) & 0x12))
#define MP2CTX(mp) IOMMU_TTE2CTX((uint32_t)(uintptr_t)(mp)->dmai_tte)