POK(kernelpart)
|
#include <arch/x86/types.h>
Go to the source code of this file.
Macros | |
#define | NULL 0 |
#define | FALSE 0 |
#define | TRUE 1 |
#define | bool_t int |
#define | pok_bool_t int |
Typedefs | |
typedef uint32_t | pok_port_size_t |
typedef uint8_t | pok_port_direction_t |
typedef uint8_t | pok_port_kind_t |
typedef uint8_t | pok_queueing_discipline_t |
typedef uint8_t | pok_port_id_t |
typedef uint8_t | pok_size_t |
typedef uint8_t | pok_range_t |
typedef uint8_t | pok_buffer_id_t |
typedef uint8_t | pok_blackboard_id_t |
typedef uint8_t | pok_lockobj_id_t |
typedef uint8_t | pok_sem_id_t |
typedef uint8_t | pok_event_id_t |
typedef uint8_t | pok_partition_id_t |
typedef uint16_t | pok_sem_value_t |
typedef uint8_t pok_blackboard_id_t |
typedef uint8_t pok_buffer_id_t |
typedef uint8_t pok_event_id_t |
typedef uint8_t pok_lockobj_id_t |
typedef uint8_t pok_partition_id_t |
typedef uint8_t pok_port_direction_t |
typedef uint8_t pok_port_id_t |
typedef uint8_t pok_port_kind_t |
typedef uint32_t pok_port_size_t |
typedef uint8_t pok_queueing_discipline_t |
typedef uint8_t pok_range_t |
typedef uint8_t pok_sem_id_t |
typedef uint16_t pok_sem_value_t |
typedef uint8_t pok_size_t |