>> +static void spapr_irq_range_free_msi(sPAPRMachineState *spapr, int irq, int
>> num)
>> +{
>> + bitmap_clear(spapr->irq_map, irq, num);
>> +}
>> +
>> +/*
>> + * New XICS IRQ backend
>> + *
>> + * using the IRQ ranges and device indexes
>> + */
>> +static void spapr_irq_init_2_13(sPAPRMachineState *spapr, Error **errp)
>
> FYI, next QEMU version will likely be 3.0:
>
> https://lists.gnu.org/archive/html/qemu-devel/2018-05/msg04879.html
>
> Also, it is useful to add version information to the name in case of
> existing machine types. I guess _default or _new is a better choice
> here.
What about :
_legacy for the former XICS backend
_xics for the new XICS backend
_xive for the coming XIVE backend
?
Thanks,
C.
