This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Printing unsigned long long using System_printf()

I need to print a 64 bit value using System_printf() . I tried the following :

uint64_t test=0x1452C3529;

System_printf("test=%lu\n",test);
System_printf("test=%lx\n",test);

this gives the result:
test=1160525097
test=452c3529
which is not the desired result.

Could any one help me with the particular format specifier to be used here specifically with System_printf() so that complete 64 bit value gets printed.

Remember,neither I want to use printf() nor I want to store the value in any temporary variable.I am just looking for the particular format/conversion specifier for 64 bit with System_printf ()