irqc.h 44 kernel/arch/arm32/src/mach/gta02/gta02.c #include <genarch/drivers/s3c24xx/irqc.h> irqc.h 39 kernel/genarch/src/drivers/s3c24xx/irqc.c #include <genarch/drivers/s3c24xx/irqc.h>