tag	line	file	source code
kerneld_exit	620	ipc/msg.c	void kerneld_exit(void)
kerneld_exit	121	ipc/util.c	void kerneld_exit(void)