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);