l4_sched_param_struct_t Struct Reference
[Scheduling parameter]

Scheduling parameter structure. More...

#include <types.h>

Data Fields
unsigned	prio:8
	System-wide priority of the destination thread.
unsigned	small:8
	Small address space number for destination task (see L4_SMALL_SPACE).
unsigned	state:4
	Thread state (l4_thread_schedule() return value).
unsigned	time_exp:4
	Timeslice exponent.
unsigned	time_man:8
	Timeslice mantissa.

---

Detailed Description

Scheduling parameter structure.

Definition at line 242 of file ARCH-x86/L4API-l4v2/types.h.

---

Field Documentation

unsigned l4_sched_param_struct_t::prio

System-wide priority of the destination thread.

255 is the highest and 0 the lowest priority.

Definition at line 243 of file ARCH-x86/L4API-l4v2/types.h.

unsigned l4_sched_param_struct_t::state

Thread state (l4_thread_schedule() return value).

Values:

• 0+k Running. The thread is ready to execute at user-level.
• 4+k Sending. A user-invoked IPC send operation currently transfers an outgoing message.
• 8+k Receiving. A user-invoked IPC receive operation currently receives an incoming message.
• 0xC Waiting for receive. A user-invoked receive operation currently waits for an incoming message.
• 0xD Pending send. A user-invoked send operation currently waits for the destination (recipient) to become ready to receive.
• 0xE Reserved.
• 0xF Dead. The thread is unable to execute.

• k=0 Kernel inactive. The kernel does not execute an automatic RPC for the thread.
• k=1 Pager. The kernel executes a pagefault RPC to the thread's pager.
• k=2 Internal preempter. The kernel executes a preemption RPC to the thread's internal preempter.
• k=3 external preempter. The kernel executes a preemption RPC to the thread's external preempter.

If l4_sched_param_struct_t is used as an input argument for l4_thread_schedule(), state must be 0.

Definition at line 250 of file ARCH-x86/L4API-l4v2/types.h.

---

The documentation for this struct was generated from the following file:

• ARCH-x86/L4API-l4v2/types.h