ET_EXEC           546 kern/exec_elf.c 	if (ELFNAME(check_header)(eh, ET_EXEC)
ET_EXEC           548 kern/exec_elf.c 	    && ELFNAME(olf_check_header)(eh, ET_EXEC, &os)