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 } 14