22 #include <l4/sys/__vcpu-arch.h> 64 l4_vcpu_arch_state_t arch_state;
119 return vcpu->version == L4_VCPU_STATE_VERSION;
Offset where extended state begins.
unsigned short int l4_uint16_t
Unsigned 16bit value.
Common L4 ABI Data Types.
l4_vcpu_ipc_regs_t i
IPC state.
struct l4_vcpu_state_t l4_vcpu_state_t
State of a vCPU.
L4_vcpu_sticky_flags
Sticky flags of a vCPU.
unsigned long l4_cap_idx_t
L4 Capability selector Type.
Offset where extended infos begin.
L4_vcpu_state_offset
Offsets for vCPU state layouts.
unsigned long l4_umword_t
Unsigned machine word.
l4_umword_t entry_sp
Stack pointer for entry (when coming from user task)
l4_uint16_t state
Current vCPU state.
An event (e.g. IRQ) is pending.
l4_vcpu_regs_t r
Register state.
L4_vcpu_state_flags
State flags of a vCPU.
l4_umword_t entry_ip
IP for entry.
l4_uint16_t saved_state
Saved vCPU state.
l4_uint16_t sticky_flags
Pending flags.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
l4_cap_idx_t user_task
User task to use.