kernel_types.h

Types used by the kernel.

SSIZE_MAX

Maximum value for ssize_t. 

1
((ssize_t) (SIZE_MAX / 2))
MAXTHREADS

The maximum number of threads to be scheduled. 

1
32
KERNEL_PID_UNDEF

Canonical identifier for an invalid PID. 

1
0
KERNEL_PID_FIRST

The first valid PID (inclusive). 

1
(KERNEL_PID_UNDEF + 1)
KERNEL_PID_LAST

The last valid PID (inclusive). 

1
(KERNEL_PID_FIRST + MAXTHREADS - 1)
PRIkernel_pid

Macro for printing formatter. 

1
PRIi16
int16_t kernel_pid_t

Unique process identifier.

int pid_is_valid(kernel_types.h::kernel_pid_t pid)

Determine if the given pid is valid.

Parameters

pid:The pid to check

Return values

  • true if the pid is valid, false otherwise