HelenOS sources

machine_get_irq_count   57 kernel/arch/arm32/include/arch/machine_func.h 	size_t (*machine_get_irq_count)(void);
machine_get_irq_count  105 kernel/arch/arm32/include/arch/machine_func.h extern size_t machine_get_irq_count(void);
machine_get_irq_count  105 kernel/arch/arm32/src/interrupt.c 	irq_count = machine_get_irq_count();
machine_get_irq_count   77 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_get_irq_count = bbxm_get_irq_count,
machine_get_irq_count   83 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_get_irq_count = bbone_get_irq_count,
machine_get_irq_count  133 kernel/arch/arm32/src/machine_func.c 	return (machine_ops->machine_get_irq_count)();
machine_get_irq_count   50 kernel/arch/arm64/include/arch/machine_func.h 	size_t (*machine_get_irq_count)(void);
machine_get_irq_count   61 kernel/arch/arm64/include/arch/machine_func.h extern size_t machine_get_irq_count(void);
machine_get_irq_count  155 kernel/arch/arm64/src/interrupt.c 	size_t irq_count = machine_get_irq_count();
machine_get_irq_count   88 kernel/arch/arm64/src/machine_func.c 	return machine_ops->machine_get_irq_count();