tag	line	file	source code
int_pt_regs	79	kernel/chr_drv/keyboard.c	static void keyboard_interrupt(int int_pt_regs)
int_pt_regs	84	kernel/chr_drv/keyboard.c	pt_regs = (struct pt_regs *) int_pt_regs;