CONFIG_MMU_NOTIFIER (not configurable)

modulename: mmu_notifier.ko

configname: CONFIG_MMU_NOTIFIER

Linux Kernel Configuration
└─>MMU_NOTIFIER
In linux kernel since version 2.6.27 (release Date: 2008-10-09)  
source code:
selects

CONFIG_SRCU
CONFIG_INTERVAL_TREE

is depended by
CONFIG_KVM_BOOK3S_64_HV