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