c62e631d4a
Back in the days, vgic.c used to have an intimate knowledge of the actual GICv2. These days, this has been abstracted away into hardware-specific backends. Remove the now useless arm-gic.h #include directive, making it clear that GICv2 specific code doesn't belong here. Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> |
||
---|---|---|
.. | ||
arch_timer.c | ||
vgic-v2-emul.c | ||
vgic-v2.c | ||
vgic-v3-emul.c | ||
vgic-v3.c | ||
vgic.c | ||
vgic.h |