CONFIG_XEN_HAVE_PVMMU (not configurable)
configname: CONFIG_XEN_HAVE_PVMMU
Linux Kernel Configuration
└─>Device Drivers
└─>Xen driver support
└─>XEN_HAVE_PVMMU