|
@@ -882,6 +882,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_S_EL2_PHYS] = ARCH_TIMER_S_EL2_IRQ,
|
|
|
+ [GTIMER_S_EL2_VIRT] = ARCH_TIMER_S_EL2_VIRT_IRQ,
|
|
|
};
|
|
|
|
|
|
for (unsigned irq = 0; irq < ARRAY_SIZE(timer_irq); irq++) {
|