taglinefilesource code
proc140drivers/char/console.cextern void register_console(void (*proc)(const char *));
proc142drivers/sound/os.h#define DEFINE_TIMER(name, proc) \
proc144drivers/sound/os.h{NULL, NULL, 0, 0, proc}
proc150drivers/sound/os.h#define ACTIVATE_TIMER(name, proc, time) \
proc202kernel/printk.cvoid register_console(void (*proc)(const char *))
proc210kernel/printk.cconsole_print_proc = proc;
proc224kernel/printk.c(*proc)(q);
proc376net/inet/af_inet.csk->proc = arg;
proc379net/inet/af_inet.creturn(sk->proc);
proc584net/inet/af_inet.csk->proc = 0;
proc1195net/inet/af_inet.csk->proc = get_fs_long((int *) arg);
proc1202net/inet/af_inet.cput_fs_long(sk->proc,(int *)arg);
proc89net/inet/sock.hint        proc;
proc2042net/inet/tcp.cnewsk->proc = 0;
proc3324net/inet/tcp.cif (sk->proc != 0) {
proc3325net/inet/tcp.cif (sk->proc > 0) {
proc3326net/inet/tcp.ckill_proc(sk->proc, SIGURG, 1);
proc3328net/inet/tcp.ckill_pg(-sk->proc, SIGURG, 1);