smmu_pmap_remove
int smmu_pmap_remove(struct smmu_pmap *pmap, vm_offset_t va);
if (smmu_pmap_remove(&domain->p, va) == 0) {