EV_CURRENT
if (elf_version(EV_CURRENT) == EV_NONE) {
if (ehdr->e_ident[EI_VERSION] != EV_CURRENT ||
ehdr->e_version != EV_CURRENT ||
e32hdr->e_ident[EI_VERSION] != EV_CURRENT)
ehdr.e_ident[EI_VERSION] = EV_CURRENT;
if (hdr->e_ident[EI_VERSION] != EV_CURRENT ||
get_uint32(&hdr->e_version) != EV_CURRENT) {
if (ehdr->e_ident[EI_VERSION] != EV_CURRENT ||
ehdr->e_version != EV_CURRENT)
ehdr.e_ident[EI_VERSION] = EV_CURRENT;
ehdr.e_ident[EI_VERSION] = EV_CURRENT;
ehdr.e_version = EV_CURRENT;
if (hdr->e_ident[EI_VERSION] != EV_CURRENT ||
hdr->e_version != EV_CURRENT) {
SYSCALL_REQUIRE(elf_version(EV_CURRENT) != EV_NONE);
if (elf_version(EV_CURRENT) == EV_NONE) {