Symbol: smmu_pte_remove
sys/arch/arm64/dev/smmu.c
1263
smmu_pte_remove(dom, va);
sys/arch/arm64/dev/smmu.c
95
void smmu_pte_remove(struct smmu_domain *, vaddr_t);