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