Does the STM32 v1.5.1 GCC 7.3.1 toolchain have a limitation of 32-bit arguments for variable argument lists (stdarg.h) ? I am trying to pass 64-bit arguments via a variable argument list and I only see the upper 32-bits set (lower 32-bits are zero).
I'm using the standard ANSI va_args approach here: int64_t arg64 = va_arg(args, int64_t);When stepping through the code the debugger clearly shows me a value like: 0xbeefbeef00000000