L4Re Operating System Framework
Interface and Usage Documentation
|
ARM-specific vCPU interface. More...
Go to the source code of this file.
Data Structures | |
struct | l4_vcpu_regs_t |
vCPU registers. More... | |
struct | l4_vcpu_arch_state_t |
Architecture-specific vCPU state. More... | |
struct | l4_vcpu_ipc_regs_t |
vCPU message registers. More... | |
Typedefs | |
typedef struct l4_vcpu_regs_t | l4_vcpu_regs_t |
vCPU registers. | |
typedef struct l4_vcpu_arch_state_t | l4_vcpu_arch_state_t |
Architecture-specific vCPU state. | |
typedef struct l4_vcpu_ipc_regs_t | l4_vcpu_ipc_regs_t |
vCPU message registers. | |
Enumerations | |
enum | { L4_VCPU_STATE_VERSION = 0x37 , L4_VCPU_STATE_SIZE = 0x100 , L4_VCPU_STATE_EXT_SIZE = 0x400 } |
enum | L4_vcpu_state_offset { L4_VCPU_OFFSET_EXT_STATE = 0x180 , L4_VCPU_OFFSET_EXT_INFOS = 0x100 } |
Offsets for vCPU state layouts. More... | |
enum | L4_vcpu_e_field_ids |
IDs for extended vCPU state fields. More... | |
ARM-specific vCPU interface.
Definition in file __vcpu-arch.h.
anonymous enum |
Enumerator | |
---|---|
L4_VCPU_STATE_VERSION | Architecture-specific version ID. This ID must match the version field in the l4_vcpu_state_t structure after enabling vCPU mode or extended vCPU mode for a thread. |
Definition at line 28 of file __vcpu-arch.h.
enum L4_vcpu_e_field_ids |
IDs for extended vCPU state fields.
Bits 14..15: are the field size:
Definition at line 110 of file __vcpu-arch.h.