EI_ABIVERSION     857 kern/exec_elf.c 	if (eh->e_ident[EI_ABIVERSION] == '\0')
EI_ABIVERSION     859 kern/exec_elf.c 	return (&eh->e_ident[EI_ABIVERSION]);