# CONFIG_XEN_PVHVM_SMP is not set
