22 #include <l4/sys/__vcpu-arm.h> 32 L4_VCPU_STATE_VERSION = 0x33
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,
89 L4_VCPU_E_CNTKCTL = 0x002c,
90 L4_VCPU_E_GIC_HCR = 0x0060,
91 L4_VCPU_E_GIC_VTR = 0x0064,
92 L4_VCPU_E_GIC_VMCR = 0x0068,
93 L4_VCPU_E_GIC_MISR = 0x006c,
94 L4_VCPU_E_GIC_EISR0 = 0x0070,
95 L4_VCPU_E_GIC_EISR1 = 0x0074,
96 L4_VCPU_E_GIC_ELSR0 = 0x0078,
97 L4_VCPU_E_GIC_ELSR1 = 0x007c,
98 L4_VCPU_E_GIC_APR = 0x0080,
99 L4_VCPU_E_GIC_LR0 = 0x0084,
100 L4_VCPU_E_GIC_LR1 = 0x0088,
101 L4_VCPU_E_GIC_LR2 = 0x008c,
102 L4_VCPU_E_GIC_LR3 = 0x0090,
103 L4_VCPU_E_CNTVOFF = 0x8098,
104 L4_VCPU_E_CNTVCVAL = 0x80a0,
106 L4_VCPU_E_CNTVCTL = 0x00ac,
107 L4_VCPU_E_VMPIDR = 0x00b0,
Common L4 ABI Data Types.
l4_umword_t sp
stack pointer
l4_umword_t err
error code
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
l4_umword_t pfa
page fault address
l4_umword_t tpidruro
Thread-ID 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 ip
instruction pointer
Message tag data structure.