diff --git a/qemu/target-arm/helper.c b/qemu/target-arm/helper.c
index 132e9cf7..48fc2c91 100644
--- a/qemu/target-arm/helper.c
+++ b/qemu/target-arm/helper.c
@@ -2051,6 +2051,12 @@ static const ARMCPRegInfo v8_cp_reginfo[] = {
     { "DC_CISW", 0,7,14, 1,0,2, ARM_CP_STATE_AA64,
       ARM_CP_NOP, PL1_W,  },
     /* TLBI operations */
+    { "TLBI_ALLE1", 0,8,7, 1,4,4, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
+      PL2_W, 0, NULL, 0, 0, {0, 0},
+      NULL, NULL, tlbiall_write },
+    { "TLBI_ALLE1IS", 0,8,3, 1,4,4, ARM_CP_STATE_AA64, ARM_CP_NO_RAW,
+      PL2_W, 0, NULL, 0, 0, {0, 0},
+      NULL, NULL, tlbiall_write },
     { "TLBI_VMALLE1IS", 0,8,3, 1,0,0, ARM_CP_STATE_AA64,
       ARM_CP_NO_RAW, PL1_W, 0, NULL, 0, 0, {0, 0},
       NULL, NULL, tlbiall_is_write },