OS_VXWORKS       6068 tools/finsig_vxworks.c     load_firmware(&fw,argv[1],argv[2],(argc==5)?argv[4]:0, OS_VXWORKS);
OS_VXWORKS        974 tools/firmware_load.c     if (os_type == OS_VXWORKS)
OS_VXWORKS       1097 tools/firmware_load.c     else if (os_type == OS_VXWORKS)
OS_VXWORKS       1121 tools/firmware_load.c     else if (os_type == OS_VXWORKS)