CONFIG_MMU_NOTIFIER (not configurable)

modulename: mmu_notifier.ko

configname: CONFIG_MMU_NOTIFIER

Linux Kernel Configuration
└─>Memory Management options
└─>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_INFINIBAND_HFI1