b452cb5207
The communication of a Linux IRQ number from outside the VGIC to the vgic was a leftover from the day when the vgic code cared about how a particular device injects virtual interrupts mapped to a physical interrupt. We can safely remove this notion, leaving all physical IRQ handling to be done in the device driver (the arch timer in this case), which makes room for a saner API for the new VGIC. Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org> Signed-off-by: Andre Przywara <andre.przywara@arm.com> Reviewed-by: Eric Auger <eric.auger@linaro.org> |
||
|---|---|---|
| .. | ||
| hyp | ||
| arch_timer.c | ||
| pmu.c | ||
| trace.h | ||
| vgic-v2-emul.c | ||
| vgic-v2.c | ||
| vgic-v3-emul.c | ||
| vgic-v3.c | ||
| vgic.c | ||
| vgic.h | ||