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