tag	line	file	source code
kerneld_exit	21	kernel/exit.c	extern void kerneld_exit(void);
kerneld_exit	515	kernel/exit.c	kerneld_exit();