xref: /openbmc/qemu/hw/intc/exynos4210_gic.c (revision 5a5110d2)