# CONFIG_XEN_PVHVM is not set
