xdma_iommu_remove_entry
void xdma_iommu_remove_entry(xdma_channel_t *xchan, vm_offset_t va);
xdma_iommu_remove_entry(xchan, addr);