On Wed, 18 Dec 2024 at 18:15, Alex Bennée <alex.ben...@linaro.org> wrote: > > Signed-off-by: Alex Bennée <alex.ben...@linaro.org> > Cc: qemu-sta...@nongnu.org > --- > hw/arm/virt.c | 2 ++ > 1 file changed, 2 insertions(+) > > diff --git a/hw/arm/virt.c b/hw/arm/virt.c > index 333eaf67ea..5e3589dc6a 100644 > --- a/hw/arm/virt.c > +++ b/hw/arm/virt.c > @@ -873,6 +873,8 @@ static void create_gic(VirtMachineState *vms, > MemoryRegion *mem) > [GTIMER_HYP] = ARCH_TIMER_NS_EL2_IRQ, > [GTIMER_SEC] = ARCH_TIMER_S_EL1_IRQ, > [GTIMER_HYPVIRT] = ARCH_TIMER_NS_EL2_VIRT_IRQ, > + [GTIMER_SEC_PEL2] = ARCH_TIMER_S_EL2_IRQ, > + [GTIMER_SEC_VEL2] = ARCH_TIMER_S_EL2_VIRT_IRQ, > }; > > for (unsigned irq = 0; irq < ARRAY_SIZE(timer_irq); irq++) {
Do these timer interrupts have a defined devicetree binding that we need to set up in fdt_add_timer_nodes()? How about ACPI? thanks -- PMM