# CONFIG_XEN_PVHVM_GUEST is not set
