search for: setconfig_pci_xen

...> 000026e0(XEN) domain.c:655:d0 Attempt to change CR4 flags 00002660 -> 000026e0 # Dom0 Kernel config # zgrep -i xen /proc/config.gzCONFIG_XEN=yCONFIG_XEN_DOM0=yCONFIG_XEN_PRIVILEGED_GUEST=yCONFIG_XEN_PVHVM=yCONFIG_XEN_MAX_DOMAIN_MEMORY=500CONFIG_XEN_SAVE_RESTORE=y# CONFIG_XEN_DEBUG_FS is not setCONFIG_PCI_XEN=yCONFIG_XEN_PCIDEV_FRONTEND=yCONFIG_XEN_BLKDEV_FRONTEND=yCONFIG_XEN_BLKDEV_BACKEND=yCONFIG_NETXEN_NIC=mCONFIG_XEN_NETDEV_FRONTEND=yCONFIG_XEN_NETDEV_BACKEND=mCONFIG_INPUT_XEN_KBDDEV_FRONTEND=yCONFIG_HVC_XEN=yCONFIG_HVC_XEN_FRONTEND=y# CONFIG_XEN_WDT is not setCONFIG_XEN_FBDEV_FRONTEND=y# Xen driver...