22 #include <l4/sys/__vcpu-arm.h>
32 L4_VCPU_STATE_VERSION = 0x35
54 typedef struct l4_vcpu_arch_state_t
57 } l4_vcpu_arch_state_t;
79 enum L4_vcpu_e_field_ids
81 L4_VCPU_E_HCR = 0x4000,
82 L4_VCPU_E_TTBR0 = 0x8008,
83 L4_VCPU_E_TTBR1 = 0x8010,
84 L4_VCPU_E_TTBCR = 0x0018,
85 L4_VCPU_E_SCTLR = 0x001c,
86 L4_VCPU_E_DACR = 0x0020,
87 L4_VCPU_E_FCSEIDR = 0x0024,
88 L4_VCPU_E_CONTEXTIDR = 0x0028,
90 L4_VCPU_E_CNTKCTL = 0x002c,
91 L4_VCPU_E_CNTVOFF = 0x8060,
92 L4_VCPU_E_CNTVCVAL = 0x8068,
93 L4_VCPU_E_CNTVCTL = 0x0074,
95 L4_VCPU_E_VMPIDR = 0x0078,
96 L4_VCPU_E_VPIDR = 0x007c,
98 L4_VCPU_E_GIC_HCR = 0x0080,
99 L4_VCPU_E_GIC_VTR = 0x0084,
100 L4_VCPU_E_GIC_VMCR = 0x0088,
101 L4_VCPU_E_GIC_MISR = 0x008c,
102 L4_VCPU_E_GIC_EISR = 0x0090,
103 L4_VCPU_E_GIC_ELSR = 0x0094,
104 L4_VCPU_E_GIC_V2_LR0 = 0x0098,
105 L4_VCPU_E_GIC_V3_LR0 = 0x8098,
unsigned long l4_umword_t
Unsigned machine word.
struct l4_vcpu_ipc_regs_t l4_vcpu_ipc_regs_t
vCPU message registers.
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
Common L4 ABI Data Types.
Message tag data structure.
l4_umword_t sp
stack pointer
l4_umword_t err
error code
l4_umword_t pfa
page fault address
l4_umword_t tpidruro
Thread-ID register.
l4_umword_t ip
instruction pointer