L4Re - L4 Runtime Environment
|
State of a vCPU. More...
#include <vcpu.h>
Data Fields | |
l4_vcpu_regs_t | r |
Register state. | |
l4_vcpu_ipc_regs_t | i |
IPC state. | |
l4_uint16_t | state |
Current vCPU state. | |
l4_uint16_t | saved_state |
Saved vCPU state. | |
l4_uint16_t | sticky_flags |
Pending flags. | |
l4_cap_idx_t | user_task |
User task to use. | |
l4_umword_t | entry_sp |
Stack pointer for entry (when coming from user task) | |
l4_umword_t | entry_ip |
IP for entry. | |