/
fixed_stdint.h
52 lines (43 loc) · 1.57 KB
/
fixed_stdint.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
/*
* \brief Fixed-width integer types for 64-bit architectures
* \author Christian Helmuth
* \author Norman Feske
* \date 2006-05-10
*
* For additional information, please revisit the 32bit version of this file.
*/
/*
* Copyright (C) 2006-2017 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
*/
#ifndef _INCLUDE__SPEC__64BIT__BASE__FIXED_STDINT_H_
#define _INCLUDE__SPEC__64BIT__BASE__FIXED_STDINT_H_
/**********************************************************
** 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 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;
/**************************************************
** Types residing within Genode's C++ namespace **
**************************************************/
#ifdef __cplusplus
namespace Genode {
typedef genode_int8_t int8_t;
typedef genode_uint8_t uint8_t;
typedef genode_int16_t int16_t;
typedef genode_uint16_t uint16_t;
typedef genode_int32_t int32_t;
typedef genode_uint32_t uint32_t;
typedef genode_int64_t int64_t;
typedef genode_uint64_t uint64_t;
}
#endif
#endif /* _INCLUDE__SPEC__64BIT__BASE__FIXED_STDINT_H_ */