Re: [PATCH] hw/timer/hpet: fix IRQ routing in legacy support mode

2024-01-26 Thread David Woodhouse
On Thu, 2023-10-19 at 01:00 +0100, David Woodhouse wrote: > From: David Woodhouse > > The interrupt from timer 0 in legacy mode is supposed to go to IRQ 0 on > the i8259 and IRQ 2 on the I/O APIC. The generic x86 GSI handling can't > cope with IRQ numbers differing between the two chips (despite

[PATCH] hw/timer/hpet: fix IRQ routing in legacy support mode

2023-10-18 Thread David Woodhouse
From: David Woodhouse The interrupt from timer 0 in legacy mode is supposed to go to IRQ 0 on the i8259 and IRQ 2 on the I/O APIC. The generic x86 GSI handling can't cope with IRQ numbers differing between the two chips (despite it also being the case for PCI INTx routing), so add a special case

Re: [RFC PATCH] hw/timer/hpet: fix IRQ routing in legacy support mode

2023-10-17 Thread David Woodhouse
On Wed, 2023-08-30 at 21:20 +0100, David Woodhouse wrote: > From: David Woodhouse > > The interrupt from timer 0 in legacy mode is supposed to go to IRQ 0 on > the i8259 and IRQ 2 on the I/O APIC. The generic x86 GSI handling can't > cope with IRQ numbers differing between the two chips (despite

[RFC PATCH] hw/timer/hpet: fix IRQ routing in legacy support mode

2023-08-30 Thread David Woodhouse
From: David Woodhouse The interrupt from timer 0 in legacy mode is supposed to go to IRQ 0 on the i8259 and IRQ 2 on the I/O APIC. The generic x86 GSI handling can't cope with IRQ numbers differing between the two chips (despite it also being the case for PCI INTx routing), so add a special case