tag	line	file	source code
n_kernelds	36	ipc/msg.c	static int n_kernelds = 0;
n_kernelds	432	ipc/msg.c	++n_kernelds;
n_kernelds	629	ipc/msg.c	--n_kernelds;
n_kernelds	630	ipc/msg.c	if (n_kernelds == 0)