Xen PVH guest support

modulename: enlighten_pvh.ko

configname: CONFIG_XEN_PVH

Linux Kernel Configuration
└─>Xen PVH guest support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for running as a Xen PVH guest.

source code:
arch/x86/xen/enlighten_pvh.c
selects
CONFIG_PVH