mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
13 lines
385 B
C
13 lines
385 B
C
|
#include <base/fixed_stdint.h>
|
||
|
|
||
|
typedef genode_uint8_t uint8_t;
|
||
|
typedef genode_int8_t int8_t;
|
||
|
typedef genode_uint16_t uint16_t;
|
||
|
typedef genode_int16_t int16_t;
|
||
|
typedef genode_uint32_t uint32_t;
|
||
|
typedef genode_int32_t int32_t;
|
||
|
typedef genode_uint64_t uint64_t;
|
||
|
typedef genode_int64_t int64_t;
|
||
|
typedef unsigned long uintptr_t;
|
||
|
typedef unsigned long size_t;
|