.val = v,                               \
 }
 
+/*
+ * EL{0,1}2 registers are the EL2 view on an EL0 or EL1 register when
+ * HCR_EL2.E2H==1, and only in the sysreg table for convenience of
+ * handling traps. Given that, they are always hidden from userspace.
+ */
+static unsigned int elx2_visibility(const struct kvm_vcpu *vcpu,
+                                   const struct sys_reg_desc *rd)
+{
+       return REG_HIDDEN_USER;
+}
+
+#define EL12_REG(name, acc, rst, v) {          \
+       SYS_DESC(SYS_##name##_EL12),            \
+       .access = acc,                          \
+       .reset = rst,                           \
+       .reg = name##_EL1,                      \
+       .val = v,                               \
+       .visibility = elx2_visibility,          \
+}
+
 /* sys_reg_desc initialiser for known cpufeature ID registers */
 #define ID_SANITISED(name) {                   \
        SYS_DESC(SYS_##name),                   \
        EL2_REG(CNTVOFF_EL2, access_rw, reset_val, 0),
        EL2_REG(CNTHCTL_EL2, access_rw, reset_val, 0),
 
+       EL12_REG(SCTLR, access_vm_reg, reset_val, 0x00C50078),
+       EL12_REG(CPACR, access_rw, reset_val, 0),
+       EL12_REG(TTBR0, access_vm_reg, reset_unknown, 0),
+       EL12_REG(TTBR1, access_vm_reg, reset_unknown, 0),
+       EL12_REG(TCR, access_vm_reg, reset_val, 0),
+       { SYS_DESC(SYS_SPSR_EL12), access_spsr},
+       { SYS_DESC(SYS_ELR_EL12), access_elr},
+       EL12_REG(AFSR0, access_vm_reg, reset_unknown, 0),
+       EL12_REG(AFSR1, access_vm_reg, reset_unknown, 0),
+       EL12_REG(ESR, access_vm_reg, reset_unknown, 0),
+       EL12_REG(FAR, access_vm_reg, reset_unknown, 0),
+       EL12_REG(MAIR, access_vm_reg, reset_unknown, 0),
+       EL12_REG(AMAIR, access_vm_reg, reset_amair_el1, 0),
+       EL12_REG(VBAR, access_rw, reset_val, 0),
+       EL12_REG(CONTEXTIDR, access_vm_reg, reset_val, 0),
+       EL12_REG(CNTKCTL, access_rw, reset_val, 0),
+
        EL2_REG(SP_EL2, NULL, reset_unknown, 0),
 };