tag	line	file	source code
push_kbd	75	drivers/sbus/char/sunkbd.c	void push_kbd (int scan);
push_kbd	429	drivers/sbus/char/sunkbd.c	push_kbd (keycode);