arm_smmu_sva_notifier_synchronize
arm_smmu_sva_notifier_synchronize();
void arm_smmu_sva_notifier_synchronize(void);