osname 153 tools/dumpchk.c const char *sig=vxworks_start_sig,*osname = "VXWORKS"; osname 160 tools/dumpchk.c osname = "DRYOS"; osname 178 tools/dumpchk.c printf("%s valid %s 0x%X (%d) bytes\n",dumpname,osname,size,size); osname 181 tools/dumpchk.c printf("%s NOT valid %s 0x%X (%d) bytes\n",dumpname,osname,size,size);