tag	line	file	source code
check_irq	804	kernel/chr_drv/serial.c	unsigned int    irq,check_irq;
check_irq	813	kernel/chr_drv/serial.c	check_irq = 0;
check_irq	876	kernel/chr_drv/serial.c	check_irq = irq; /* Check later if we need to */
check_irq	902	kernel/chr_drv/serial.c	if (check_irq && !IRQ_ports[check_irq])
check_irq	903	kernel/chr_drv/serial.c	free_irq(check_irq);