Symbol: smmu_pte_update
sys/arch/arm64/dev/smmu.c
1249
smmu_pte_update(dom, pted, pl3);
sys/arch/arm64/dev/smmu.c
94
void smmu_pte_update(struct smmu_domain *, uint64_t, uint64_t *);