check_header       92 kern/exec_elf.c int ELFNAME(check_header)(Elf_Ehdr *, int);
check_header      164 kern/exec_elf.c ELFNAME(check_header)(Elf_Ehdr *ehdr, int type)