CONFIG_XEN_HAVE_PVMMU  312 drivers/xen/balloon.c #ifdef CONFIG_XEN_HAVE_PVMMU
CONFIG_XEN_HAVE_PVMMU  611 drivers/xen/balloon.c #ifdef CONFIG_XEN_HAVE_PVMMU
CONFIG_XEN_HAVE_PVMMU   28 drivers/xen/mem-reservation.c #ifdef CONFIG_XEN_HAVE_PVMMU
CONFIG_XEN_HAVE_PVMMU   28 include/xen/mem-reservation.h #ifdef CONFIG_XEN_HAVE_PVMMU
CONFIG_XEN_HAVE_PVMMU   41 include/xen/mem-reservation.h #ifdef CONFIG_XEN_HAVE_PVMMU
CONFIG_XEN_HAVE_PVMMU   50 include/xen/mem-reservation.h #ifdef CONFIG_XEN_HAVE_PVMMU