test/stdint/int-types.c

   1 #include <common.h>
   2 #include <inttypes.h>
   3
   4 int test_types(void)
   5 {
   6         uintptr_t uintptr = 0;
   7         uint64_t uint64 = 0;
   8         u64 u64_val = 0;
   9
  10         printf("uintptr = %" PRIuPTR "\n", uintptr);
  11         printf("uint64 = %" PRIu64 "\n", uint64);
  12         printf("u64 = %" PRIu64 "\n", u64_val);
  13 }