os_ok             218 kern/exec_elf.c 			goto os_ok;
os_ok             222 kern/exec_elf.c os_ok: