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