89 L4_VCPU_E_HCR = 0x8008,
90 L4_VCPU_E_TTBR0 = 0x8010,
91 L4_VCPU_E_TTBR1 = 0x8018,
92 L4_VCPU_E_TTBCR = 0x0020,
93 L4_VCPU_E_SCTLR = 0x0024,
94 L4_VCPU_E_DACR = 0x0028,
95 L4_VCPU_E_FCSEIDR = 0x002c,
97 L4_VCPU_E_CNTVCTL = 0x0030,
98 L4_VCPU_E_CNTVOFF = 0x8038,
100 L4_VCPU_E_VMPIDR = 0x0040,
101 L4_VCPU_E_VPIDR = 0x0044,
103 L4_VCPU_E_GIC_HCR = 0x0050,
104 L4_VCPU_E_GIC_VTR = 0x0054,
105 L4_VCPU_E_GIC_VMCR = 0x0058,
106 L4_VCPU_E_GIC_MISR = 0x005c,
107 L4_VCPU_E_GIC_EISR = 0x0060,
108 L4_VCPU_E_GIC_ELSR = 0x0064,
109 L4_VCPU_E_GIC_V2_LR0 = 0x0068,
110 L4_VCPU_E_GIC_V3_LR0 = 0x8068,