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