|
L4Re - L4 Runtime Environment
|
State of a vCPU. More...
#include <vcpu.h>
Inheritance diagram for l4_vcpu_state_t:
Collaboration diagram for l4_vcpu_state_t: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. | |