From d3e8328089ed1b51d76831c1a73e044e5dad5a3a Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 15 Aug 2012 16:07:19 +0200 Subject: [PATCH] Unify uint64_t among 32-bit and 64-bit platforms On both 32-bit and 64-bit platforms, 'uint64_t' can be defined as 'unsigned long long', which is the type expected by the %llx format-string specifier. By unifying the type definitions, we resolve warnings about unmatching type specifiers. This patch also removes redundant words from the typedefs. --- base/include/32bit/base/fixed_stdint.h | 16 ++++++++-------- base/include/64bit/base/fixed_stdint.h | 16 ++++++++-------- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/base/include/32bit/base/fixed_stdint.h b/base/include/32bit/base/fixed_stdint.h index 1357d2283d..5180354cf4 100644 --- a/base/include/32bit/base/fixed_stdint.h +++ b/base/include/32bit/base/fixed_stdint.h @@ -31,14 +31,14 @@ /* * Fixed-size types usable from both C and C++ programs */ -typedef signed char genode_int8_t; -typedef unsigned char genode_uint8_t; -typedef signed short int genode_int16_t; -typedef unsigned short int genode_uint16_t; -typedef signed int genode_int32_t; -typedef unsigned int genode_uint32_t; -typedef signed long long int genode_int64_t; -typedef unsigned long long int genode_uint64_t; +typedef signed char genode_int8_t; +typedef unsigned char genode_uint8_t; +typedef signed short genode_int16_t; +typedef unsigned short genode_uint16_t; +typedef signed genode_int32_t; +typedef unsigned genode_uint32_t; +typedef signed long long genode_int64_t; +typedef unsigned long long genode_uint64_t; /* diff --git a/base/include/64bit/base/fixed_stdint.h b/base/include/64bit/base/fixed_stdint.h index 9cebfff895..5019b3bc30 100644 --- a/base/include/64bit/base/fixed_stdint.h +++ b/base/include/64bit/base/fixed_stdint.h @@ -21,14 +21,14 @@ /* * Fixed-size types usable from both C and C++ programs */ -typedef signed char genode_int8_t; -typedef unsigned char genode_uint8_t; -typedef signed short int genode_int16_t; -typedef unsigned short int genode_uint16_t; -typedef signed int genode_int32_t; -typedef unsigned int genode_uint32_t; -typedef signed long int genode_int64_t; -typedef unsigned long int genode_uint64_t; +typedef signed char genode_int8_t; +typedef unsigned char genode_uint8_t; +typedef signed short genode_int16_t; +typedef unsigned short genode_uint16_t; +typedef signed genode_int32_t; +typedef unsigned genode_uint32_t; +typedef signed long long genode_int64_t; +typedef unsigned long long genode_uint64_t; /*