smmu_map
smmu_map(dom, va, pa, prot, flags, cache);
smmu_map(dom, dva, pa,
void smmu_map(struct smmu_domain *, vaddr_t, paddr_t, vm_prot_t, int, int);