tag	line	file	source code
end_wait4	542	kernel/exit.c	goto end_wait4;
end_wait4	564	kernel/exit.c	goto end_wait4;
end_wait4	572	kernel/exit.c	goto end_wait4;
end_wait4	578	kernel/exit.c	goto end_wait4;
end_wait4	582	kernel/exit.c	end_wait4: