e_machine          54 kern/include/elf.h 	uint16_t	e_machine;             /* processor type file is for */
e_machine         201 kern/syscall/loadelf.c 	    eh.e_machine!=EM_MACHINE) {