machine_get_irq_count 131 kernel/arch/arm32/src/machine_func.c size_t machine_get_irq_count(void) machine_get_irq_count 86 kernel/arch/arm64/src/machine_func.c size_t machine_get_irq_count(void)