#include <common.h>
  #include <inttypes.h>
  
  int test_types(void)
  {
  	uintptr_t uintptr = 0;
  	uint64_t uint64 = 0;
  	u64 u64_val = 0;
  
  	printf("uintptr = %" PRIuPTR "
  ", uintptr);
  	printf("uint64 = %" PRIu64 "
  ", uint64);
  	printf("u64 = %" PRIu64 "
  ", u64_val);
  }