load_elf          119 kern/include/addrspace.h int load_elf(struct vnode *v, vaddr_t *entrypoint);
load_elf           83 kern/syscall/runprogram.c 	result = load_elf(v, &entrypoint);