test/stdint/int-types.c

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