uint64_t on gcc

[Xin Tong <xerox.time.tech@xxxxxxxxx>]

What is the proper place holder for uint64_t in gcc 4.4.

I tried printf("%lld", uint64_t_var); and  printf("%llu", uint64_t_var);

Neither worked.

/home/xtong/coremu-0.1.2/qemu/qemu-ejit.c:103:4: warning: format
‘%llu’ expects argument of type ‘long long unsigned int’, but argument
3 has type ‘uint64_t’ [-Wformat]

Thanks


Xin