BTW, it seems that this patch makes kernel_irqchip default on to workaround the
bug.
However, when explicitly configuring kernel_irqchip=off, guest still fails
booting due to "KVM: failed to send PV IPI: -95" with a latest upstream kernel
ubuntu guest. Any idea about this?
We need to clear the PV IPI feature for userspace irqchip. Are you using -cpu host by chance?
Paolo
> Paolo
> > }
> >
> > static void kvm_accel_class_init(ObjectClass *oc, void *data)
> > diff --git a/include/hw/boards.h b/include/hw/boards.h
> > index 61f8bb8e5a42..fb1b43d5b972 100644
> > --- a/include/hw/boards.h
> > +++ b/include/hw/boards.h
> > @@ -271,9 +271,6 @@ struct MachineState {
> >
> > /*< public >*/
> >
> > - bool kernel_irqchip_allowed;
> > - bool kernel_irqchip_required;
> > - bool kernel_irqchip_split;
> > char *dtb;
> > char *dumpdtb;
> > int phandle_start;