os_name           864 kern/exec_elf.c 	char *os_name, size_t name_size, size_t desc_size)
os_name           901 kern/exec_elf.c 		if (bcmp((np + 1), os_name, name_size))