L4Re - L4 Runtime Environment
l4_vcpu_state_t Struct Reference

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.

Detailed Description

State of a vCPU.

Definition at line 34 of file vcpu.h.

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