Symbol: ELF64_KERNELTYPE
sys/arch/ia64/stand/common/load_elf64.c
74
fp->f_type = strdup(ELF64_KERNELTYPE);
sys/arch/ia64/stand/efi/libefi/exec.c
144
if (strcmp(fp->f_type, ELF64_KERNELTYPE)) return(EFTYPE);
sys/arch/ia64/stand/ia64/ski/exec.c
154
if (strcmp(fp->f_type, ELF64_KERNELTYPE)) return(EFTYPE);