OS_VXWORKS       6385 tools/finsig_vxworks.c     load_firmware(&fw,argv[1],argv[2],(argc==5)?argv[4]:0, OS_VXWORKS);
OS_VXWORKS        992 tools/firmware_load.c     if (os_type == OS_VXWORKS)
OS_VXWORKS       1115 tools/firmware_load.c     else if (os_type == OS_VXWORKS)
OS_VXWORKS       1139 tools/firmware_load.c     else if (os_type == OS_VXWORKS)