__vcpu-arch.h File Reference

ARM-specific vCPU interface. More...

#include <l4/sys/types.h>
#include <l4/sys/__vcpu-arm.h>

Include dependency graph for __vcpu-arch.h:

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 = 0x35 }
enum	L4_vcpu_e_field_ids
	IDs for extended vCPU state fields. More...

Detailed Description

ARM-specific vCPU interface.

Definition in file __vcpu-arch.h.

Enumeration Type Documentation

anonymous enum

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.

L4_vcpu_e_field_ids

enum L4_vcpu_e_field_ids

IDs for extended vCPU state fields.

Bits 14..15: are the field size:

• 0 = 32bit field
• 1 = register width field
• 2 = 64bit field

Definition at line 87 of file __vcpu-arch.h.