26#include <l4/sys/__vcpu-arch.h>
@ L4_VCPU_STATE_VERSION
Architecture-specific version ID.
unsigned long l4_umword_t
Unsigned machine word.
unsigned short int l4_uint16_t
Unsigned 16bit value.
unsigned long l4_cap_idx_t
Capability selector type.
L4_vcpu_sticky_flags
Sticky flags of a vCPU.
L4_vcpu_state_flags
State flags of a vCPU.
@ L4_VCPU_SF_IRQ_PENDING
An event is pending: Either an IRQ or another thread attempts to send an IPC to this vCPU thread.
@ L4_VCPU_F_USER_MODE
User task will be used.
@ L4_VCPU_F_EXCEPTIONS
Exceptions enabled.
@ L4_VCPU_F_IRQ
Receiving of IRQs and IPC enabled.
@ L4_VCPU_F_FPU_ENABLED
FPU enabled.
@ L4_VCPU_F_PAGE_FAULTS
Page faults enabled.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.
Common L4 ABI Data Types.
Architecture-specific vCPU state.
l4_umword_t entry_sp
Stack pointer for entry (when coming from user task)
l4_vcpu_arch_state_t arch_state
Architecture-specific state.
l4_uint16_t sticky_flags
Pending flags. See L4_vcpu_sticky_flags.
l4_uint16_t state
Current vCPU state. See L4_vcpu_state_flags.
l4_vcpu_regs_t r
Register state.
l4_umword_t version
vCPU ABI version.
l4_umword_t entry_ip
IP for entry.
l4_cap_idx_t user_task
User task to use.
l4_umword_t user_data[7]
User-specific data.
l4_vcpu_ipc_regs_t i
IPC state.
l4_uint16_t saved_state
Saved vCPU state. See L4_vcpu_state_flags.
int l4_vcpu_check_version(l4_vcpu_state_t const *vcpu) L4_NOTHROW
Check if a vCPU state has the right version.