112 L4_VCPU_E_HCR = 0x8008,
113 L4_VCPU_E_TTBR0 = 0x8010,
114 L4_VCPU_E_TTBR1 = 0x8018,
115 L4_VCPU_E_TTBCR = 0x0020,
116 L4_VCPU_E_SCTLR = 0x0024,
117 L4_VCPU_E_DACR = 0x0028,
118 L4_VCPU_E_FCSEIDR = 0x002c,
120 L4_VCPU_E_CNTVCTL = 0x0030,
121 L4_VCPU_E_CNTVOFF = 0x8038,
123 L4_VCPU_E_VMPIDR = 0x0040,
124 L4_VCPU_E_VPIDR = 0x0044,
126 L4_VCPU_E_GIC_HCR = 0x0050,
127 L4_VCPU_E_GIC_VTR = 0x0054,
128 L4_VCPU_E_GIC_VMCR = 0x0058,
129 L4_VCPU_E_GIC_MISR = 0x005c,
130 L4_VCPU_E_GIC_EISR = 0x0060,
131 L4_VCPU_E_GIC_ELSR = 0x0064,
132 L4_VCPU_E_GIC_V2_LR0 = 0x0068,
133 L4_VCPU_E_GIC_V3_LR0 = 0x8068,