gta02_get_irq_count 73 kernel/arch/arm32/src/mach/gta02/gta02.c static size_t gta02_get_irq_count(void); gta02_get_irq_count 96 kernel/arch/arm32/src/mach/gta02/gta02.c gta02_get_irq_count,