os_type           923 tools/firmware_load.c void load_firmware(firmware *fw, const char *filename, const char *base_addr, const char *alt_base_addr, int os_type)
os_type           940 tools/firmware_load.c     fw->os_type = os_type;
os_type           969 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type           979 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type           992 tools/firmware_load.c     if (os_type == OS_VXWORKS)
os_type          1016 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type          1104 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type          1115 tools/firmware_load.c     else if (os_type == OS_VXWORKS)
os_type          1129 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type          1139 tools/firmware_load.c     else if (os_type == OS_VXWORKS)
os_type          1207 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type          1346 tools/firmware_load.c     if (os_type == OS_DRYOS)
os_type            38 tools/firmware_load.h     int             os_type;            // 0 = DryOS, 1 = VxWorks
os_type            82 tools/firmware_load.h void load_firmware(firmware *fw, const char *filename, const char *base_addr, const char *alt_base_addr, int os_type);