tag	line	file	source code
proc	78	arch/sparc/kernel/setup.c	extern void register_console(void (*proc)(const char *));
proc	186	drivers/char/console.c	extern void register_console(void (*proc)(const char *));
proc	142	drivers/sound/os.h	#define DEFINE_TIMER(name, proc) \
proc	144	drivers/sound/os.h	{NULL, NULL, 0, 0, proc}
proc	150	drivers/sound/os.h	#define ACTIVATE_TIMER(name, proc, time) \
proc	205	kernel/printk.c	void register_console(void (*proc)(const char *))
proc	213	kernel/printk.c	console_print_proc = proc;
proc	227	kernel/printk.c	(*proc)(q);
proc	394	net/inet/af_inet.c	sk->proc = arg;
proc	397	net/inet/af_inet.c	return(sk->proc);
proc	617	net/inet/af_inet.c	sk->proc = 0;
proc	1240	net/inet/af_inet.c	sk->proc = get_fs_long((int *) arg);
proc	1247	net/inet/af_inet.c	put_fs_long(sk->proc,(int *)arg);
proc	95	net/inet/sock.h	int        proc;
proc	2739	net/inet/tcp.c	newsk->proc = 0;
proc	4131	net/inet/tcp.c	if (sk->proc != 0) {
proc	4132	net/inet/tcp.c	if (sk->proc > 0) {
proc	4133	net/inet/tcp.c	kill_proc(sk->proc, SIGURG, 1);
proc	4135	net/inet/tcp.c	kill_pg(-sk->proc, SIGURG, 1);