freehdr           309 kern/kern_exec.c 		goto freehdr;
freehdr           685 kern/kern_exec.c  freehdr: