1 #include <common.h> 2 test_types(void)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 } 13