tag	line	file	source code
int_pt_regs	140	drivers/char/keyboard.c	static void keyboard_interrupt(int int_pt_regs)
int_pt_regs	144	drivers/char/keyboard.c	pt_regs = (struct pt_regs *) int_pt_regs;