Hi RuiFaria,
I haven't tried this so am just suggesting one idea.
You might do something like:
uint_64 var64=0xfeedbeefdefacbad;
uint_32 tmp32h=var64>>32;
uint_32 tmp32l=(var64<<32)>>32;
printf("var60=0x%08X%08X\n", tmp32h, tmp32l);
Hope this might work :smileyhappy:
Regards,
David