tag	line	file	source code
max_idsel	402	arch/alpha/kernel/bios32.c	static inline void common_fixup(long min_idsel, long max_idsel, long irqs_per_slot,
max_idsel	403	arch/alpha/kernel/bios32.c	char irq_tab[max_idsel - min_idsel + 1][irqs_per_slot],