e6b3821471Try to correct incomplete fix for kernel vs. userspace calling convention. Seems like the current plan is to fix the calling convention in the libos, not libc. Also, fix some cases where timeouts were being cast down to 32-bit integers
6 anni fa
Chia-Che Tsai
eece0993821. in printf: va_list might be passed by value; pass by address instead