L4Re - L4 Runtime Environment
Integer Types
+ Collaboration diagram for Integer Types:

Files

file  l4int.h
 Fixed sized integer types, generic version.
 
file  l4int.h
 Fixed sized integer types, arm version.
 
file  l4int.h
 Fixed sized integer types, amd64 version.
 
file  l4int.h
 Fixed sized integer types, x86 version.
 

Macros

#define L4_MWORD_BITS   32
 Size of machine words in bits.
 
#define L4_MWORD_BITS   64
 Size of machine words in bits.
 
#define L4_MWORD_BITS   32
 Size of machine words in bits.
 

Typedefs

typedef signed char l4_int8_t
 Signed 8bit value. More...
 
typedef unsigned char l4_uint8_t
 Unsigned 8bit value. More...
 
typedef signed short int l4_int16_t
 Signed 16bit value. More...
 
typedef unsigned short int l4_uint16_t
 Unsigned 16bit value. More...
 
typedef signed int l4_int32_t
 Signed 32bit value. More...
 
typedef unsigned int l4_uint32_t
 Unsigned 32bit value. More...
 
typedef signed long long l4_int64_t
 Signed 64bit value. More...
 
typedef unsigned long long l4_uint64_t
 Unsigned 64bit value. More...
 
typedef unsigned long l4_addr_t
 Address type.
 
typedef signed long l4_mword_t
 Signed machine word.
 
typedef unsigned long l4_umword_t
 Unsigned machine word.
 
typedef l4_uint64_t l4_cpu_time_t
 CPU clock type.
 
typedef l4_uint64_t l4_kernel_clock_t
 Kernel clock type.
 
typedef unsigned int l4_size_t
 Unsigned size type.
 
typedef signed int l4_ssize_t
 Signed size type.
 
typedef unsigned long l4_size_t
 Unsigned size type.
 
typedef signed long l4_ssize_t
 Signed size type.
 
typedef unsigned int l4_size_t
 Unsigned size type.
 
typedef signed int l4_ssize_t
 Signed size type.
 

Detailed Description

Include File
#include <l4/sys/l4int.h>

Typedef Documentation

◆ l4_int16_t

typedef signed short int l4_int16_t

Signed 16bit value.

Definition at line 37 of file l4int.h.

◆ l4_int32_t

typedef signed int l4_int32_t

Signed 32bit value.

Definition at line 39 of file l4int.h.

◆ l4_int64_t

typedef signed long long l4_int64_t

Signed 64bit value.

Definition at line 41 of file l4int.h.

◆ l4_int8_t

typedef signed char l4_int8_t

Signed 8bit value.

Definition at line 35 of file l4int.h.

◆ l4_uint16_t

typedef unsigned short int l4_uint16_t

Unsigned 16bit value.

Definition at line 38 of file l4int.h.

◆ l4_uint32_t

typedef unsigned int l4_uint32_t

Unsigned 32bit value.

Definition at line 40 of file l4int.h.

◆ l4_uint64_t

typedef unsigned long long l4_uint64_t

Unsigned 64bit value.

Definition at line 42 of file l4int.h.

◆ l4_uint8_t

typedef unsigned char l4_uint8_t

Unsigned 8bit value.

Definition at line 36 of file l4int.h.