Как бы вы передали 64-битное значение функции в консоли vxworks?
Например, это работает:
[C INTERP]->tickSet 0x1fffff
value = 2097151 = 0x1fffff
Принимая во внимание, что это:
[C INTERP]->tick64Set 0xfffffffff
C interp: '0xfffffffff' is not a valid integer value.
Не делает.