31 L4_VCPU_STATE_VERSION = 0x23
34 typedef struct l4_vcpu_arch_state_t
43 } l4_vcpu_arch_state_t;
l4_umword_t bp
rbp register
l4_umword_t r12
r12 register
l4_umword_t r11
r11 register
l4_umword_t ax
rax register
unsigned short int l4_uint16_t
Unsigned 16bit value.
l4_umword_t di
rdi register
Common L4 ABI Data Types.
l4_umword_t r9
r9 register
l4_umword_t bx
rbx register
l4_umword_t cx
rcx register
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
l4_umword_t r15
r15 register
l4_umword_t si
rsi register
l4_umword_t dx
rdx register
l4_umword_t r14
r14 register
l4_umword_t r13
r13 register
l4_umword_t ss
ss register
unsigned long l4_umword_t
Unsigned machine word.
struct l4_vcpu_ipc_regs_t l4_vcpu_ipc_regs_t
vCPU message registers.
l4_umword_t r8
r8 register
l4_umword_t r10
r10 register
l4_umword_t trapno
trap number
Message tag data structure.