#include <entry_frame.h>
Inheritance diagram for Sys_thread_switch_frame:

Public Member Functions | |
| L4_uid | dst () const |
| get switch destination id | |
| Mword | id () const |
| get timeslice id | |
| void | left (Unsigned64 t) |
| set remaining time quantum | |
| void | ret (Mword val) |
| set return value | |
|
|
get switch destination id
|
|
|
get timeslice id
|
|
|
set remaining time quantum
|
|
|
set return value
|
1.4.2