vx_name_offsets  1075 tools/firmware_load.c         uint32_t vx_name_offsets[] = { 0xFFD70110, 0xFFD70120, 0xFFF80110, 0xFFFE0110 };
vx_name_offsets  1077 tools/firmware_load.c         for (i=0; i<(int)(sizeof(vx_name_offsets)/sizeof(vx_name_offsets[0])); i++)
vx_name_offsets  1079 tools/firmware_load.c             int k = adr2idx(fw,vx_name_offsets[i]);