arm_smmu_sva_notifier_synchronize
void arm_smmu_sva_notifier_synchronize(void)
static inline void arm_smmu_sva_notifier_synchronize(void) {}