smmu_v2_tlb_sync_global
smmu_v2_tlb_sync_global(sc);
void smmu_v2_tlb_sync_global(struct smmu_softc *);