When I try this:
#include <stdio.h>
#include <inttypes.h>
int main (int argc, char **argv)
{
uint64_t key = 0xf0000000ffffffff;
printf ("key=%" PRIx64, key, "\t\n %" PRIx64, "\n", key);
}
It prints key=f0000000ffffffff
; all whitespaces are removed. How can I print them? I am using gcc (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3
.