Sys_thread_schedule_frame Class Reference

thread_schedule specific interpretation of syscall data More...

#include <entry_frame.h>

Inheritance diagram for Sys_thread_schedule_frame:

List of all members.

Public Member Functions
L4_sched_param	param () const
	get the scheduling parameters
Unsigned64	time () const
	get scheduling time point
L4_uid	preempter () const
	get the preempter id
L4_uid	dst () const
	get the destination id
void	old_param (L4_sched_param op)
	set the old scheduling params
void	time (Unsigned64 t)
	set the consumed time
void	old_preempter (L4_uid id)
	set the old preempter
void	partner (L4_uid id)
	set the partner of a pending IPC

---

Detailed Description

thread_schedule specific interpretation of syscall data

---

Member Function Documentation

L4_uid Sys_thread_schedule_frame::dst (   )  const [inline]

get the destination id

void Sys_thread_schedule_frame::old_param (  L4_sched_param  op  )  [inline]

set the old scheduling params

void Sys_thread_schedule_frame::old_preempter (  L4_uid  id  )  [inline]

set the old preempter

L4_sched_param Sys_thread_schedule_frame::param (   )  const [inline]

get the scheduling parameters

void Sys_thread_schedule_frame::partner (  L4_uid  id  )  [inline]

set the partner of a pending IPC

L4_uid Sys_thread_schedule_frame::preempter (   )  const [inline]

get the preempter id

void Sys_thread_schedule_frame::time (  Unsigned64  t  )  [inline]

set the consumed time

Unsigned64 Sys_thread_schedule_frame::time (   )  const [inline]

get scheduling time point

---

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

• entry_frame.h

---