Andrea Arcangeli wrote:
> On Thu, Aug 14, 2008 at 11:19:37AM +0300, Avi Kivity wrote:
>> I don't like the usage of idt_vectoring_info; so I've switched the 
>> !irqchip_in_kernel path to use the interrupt queue.  Attached patch boots 
>> Windows XP ACPI here.
>>
>> Will push it out once it passes regression testing.
> 
> Works well in my testing too, thanks!

Fine for me as well.

Jan