CONFIG_XEN_DOM0 (not configurable)

modulename: vga.ko

and/or

pci.ko

configname: CONFIG_XEN_DOM0

Linux Kernel Configuration
└─>XEN_DOM0
In linux kernel since version 2.6.37 (release Date: 2011-01-04)  
source code:
arch/x86/xen/vga.c