tag	line	file	source code
KEYBOARD_IRQ	1336	kernel/chr_drv/console.c	if (request_irq(KEYBOARD_IRQ,keyboard_interrupt))
KEYBOARD_IRQ	1337	kernel/chr_drv/console.c	printk("Unable to get IRQ%d for keyboard driver\n",KEYBOARD_IRQ);