desc_size 864 kern/exec_elf.c char *os_name, size_t name_size, size_t desc_size) desc_size 898 kern/exec_elf.c np->descsz != desc_size)