mmu_notifier_synchronize
static inline void mmu_notifier_synchronize(void)
void mmu_notifier_synchronize(void)