The friendly Operating System for the Internet of Things
kernel_types.h File Reference

Types used by the kernel. More...

Detailed Description

#include <stdint.h>
#include <inttypes.h>
#include <limits.h>
#include <stddef.h>
#include <sys/types.h>
+ Include dependency graph for kernel_types.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define SSIZE_MAX   ((ssize_t) (SIZE_MAX / 2))
 Maximum value for ssize_t.
 
#define MAXTHREADS   32
 The maximum number of threads to be scheduled.
 
#define KERNEL_PID_UNDEF   0
 Canonical identifier for an invalid PID.
 
#define KERNEL_PID_FIRST   (KERNEL_PID_UNDEF + 1)
 The first valid PID (inclusive).
 
#define KERNEL_PID_LAST   (KERNEL_PID_FIRST + MAXTHREADS - 1)
 The last valid PID (inclusive).
 
#define PRIkernel_pid   PRIi16
 Macro for printing formatter.
 

Typedefs

typedef int16_t kernel_pid_t
 Unique process identifier.
 

Functions

static int pid_is_valid (kernel_pid_t pid)
 Determine if the given pid is valid. More...