On 01/11/18 11:37, Thomas Gleixner wrote: > VSMP support is built even if CONFIG_X86_VSMP is not set. This leads to a build > breakage when CONFIG_PCI is disabled as well. > > Build VSMP code only when selected. This patch disables detect_vsmp_box() on systems without CONFIG_X86_VSMP, due to the recent 6da63eb241a05b0e676d68975e793c0521387141. This is significant regression that will affect significant number of deployments. We will reply shortly with an updated patch that fix the dependency on pv_irq_ops, and revert to CONFIG_PARAVIRT, with proper protection for CONFIG_PCI.