Update mmu_notifier.c