tag	line	file	source code
kerneld_arr	35	ipc/msg.c	static int kerneld_arr[MAX_KERNELDS];
kerneld_arr	430	ipc/msg.c	if (kerneld_arr[i] == 0) {
kerneld_arr	431	ipc/msg.c	kerneld_arr[i] = current->pid;
kerneld_arr	627	ipc/msg.c	if (kerneld_arr[i] == current->pid) {
kerneld_arr	628	ipc/msg.c	kerneld_arr[i] = 0;