test/stdint/int-types.c


1
2
3
4
5
6
7
8
9
10
11
12

#include <common.h>

int test_types(void)
{
	uintptr_t uintptr = 0;
	uint64_t uint64 = 0;
	u64 u64_val = 0;

	printf("uintptr = %lu\n", uintptr);
	printf("uint64 = %llu\n", uint64);
	printf("u64 = %llu\n", u64_val);
}