37 L4_VCPU_STATE_SIZE = 0x200,
@ L4_VCPU_STATE_VERSION
Architecture-specific version ID.
struct l4_vcpu_arch_state_t l4_vcpu_arch_state_t
Architecture-specific vCPU state.
unsigned long l4_umword_t
Unsigned machine word.
unsigned short int l4_uint16_t
Unsigned 16bit value.
#define L4_PAGESIZE
Minimal page size (in bytes).
struct l4_vcpu_ipc_regs_t l4_vcpu_ipc_regs_t
vCPU message registers.
L4_vcpu_state_offset
Offsets for vCPU state layouts.
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
@ 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.
Message tag data structure.
Architecture-specific vCPU state.
l4_umword_t sp
stack pointer
l4_umword_t r14
r14 register
l4_umword_t err
error code
l4_umword_t ss
ss register
l4_umword_t r9
r9 register
l4_umword_t pfa
page fault address
l4_umword_t r11
r11 register
l4_umword_t r13
r13 register
l4_umword_t bp
rbp register
l4_umword_t di
rdi register
l4_umword_t r12
r12 register
l4_umword_t cx
rcx register
l4_umword_t r15
r15 register
l4_umword_t r10
r10 register
l4_umword_t bx
rbx register
l4_umword_t r8
r8 register
l4_umword_t trapno
trap number
l4_umword_t ax
rax register
l4_umword_t si
rsi register
l4_umword_t ip
instruction pointer
l4_umword_t dx
rdx register