HelenOS sources

gicv2.h   38 kernel/arch/arm64/src/mach/hikey960/hikey960.c #include <genarch/drivers/gicv2/gicv2.h>
gicv2.h   38 kernel/arch/arm64/src/mach/virt/virt.c #include <genarch/drivers/gicv2/gicv2.h>
gicv2.h   39 kernel/genarch/src/drivers/gicv2/gicv2.c #include <genarch/drivers/gicv2/gicv2.h>
gicv2.h   46 uspace/drv/intctl/gicv2/gicv2.c #include "gicv2.h"
gicv2.h   44 uspace/drv/intctl/gicv2/main.c #include "gicv2.h"