tag	line	file	source code
end_wait4	554	kernel/exit.c	goto end_wait4;
end_wait4	576	kernel/exit.c	goto end_wait4;
end_wait4	584	kernel/exit.c	goto end_wait4;
end_wait4	590	kernel/exit.c	goto end_wait4;
end_wait4	594	kernel/exit.c	end_wait4: