--- /dev/null
+#as: -menable-sysreg-checking -I$srcdir/$subdir -march=armv8-a+tlbid
+#as: -I$srcdir/$subdir -march=armv8-a+tlbid
+#objdump: -dr
+[^:]+: file format .*
+
+
+
+[^:]+:
+
+[^:]+:
+.*: d538a4c0 mrs x0, tlbididr_el1
+.*: d51c2800 msr vtlbid0_el2, x0
+.*: d53c2800 mrs x0, vtlbid0_el2
+.*: d51c2820 msr vtlbid1_el2, x0
+.*: d53c2820 mrs x0, vtlbid1_el2
+.*: d51c2840 msr vtlbid2_el2, x0
+.*: d53c2840 mrs x0, vtlbid2_el2
+.*: d51c2860 msr vtlbid3_el2, x0
+.*: d53c2860 mrs x0, vtlbid3_el2
+.*: d51c2900 msr vtlbidos0_el2, x0
+.*: d53c2900 mrs x0, vtlbidos0_el2
+.*: d51c2920 msr vtlbidos1_el2, x0
+.*: d53c2920 mrs x0, vtlbidos1_el2
+.*: d51c2940 msr vtlbidos2_el2, x0
+.*: d53c2940 mrs x0, vtlbidos2_el2
+.*: d51c2960 msr vtlbidos3_el2, x0
+.*: d53c2960 mrs x0, vtlbidos3_el2
SYSREG ("tindex_el12", CPENC (3,5,4,0,3), 0, AARCH64_FEATURE (POE2))
SYSREG ("tindex_el2", CPENC (3,4,4,0,3), 0, AARCH64_FEATURE (POE2))
SYSREG ("tindex_el3", CPENC (3,6,4,0,3), 0, AARCH64_FEATURE (POE2))
+ SYSREG ("tlbididr_el1", CPENC (3,0,10,4,6), F_REG_READ, AARCH64_FEATURE (TLBID))
SYSREG ("tpidr2_el0", CPENC (3,3,13,0,5), 0, AARCH64_FEATURE (SME))
SYSREG ("tpidr3_el0", CPENC (3,3,13,0,0), 0, AARCH64_FEATURE (POE2))
SYSREG ("tpidr3_el1", CPENC (3,0,13,0,0), 0, AARCH64_FEATURE (POE2))
SYSREG ("vstcr_el2", CPENC (3,4,2,6,2), 0, AARCH64_FEATURE (V8_3A)) /* SEL2 */
SYSREG ("vsttbr_el2", CPENC (3,4,2,6,0), 0, AARCH64_FEATURES (2, V8A, V8_3A)) /* SEL2 */
SYSREG ("vtcr_el2", CPENC (3,4,2,1,2), 0, AARCH64_NO_FEATURES)
+ SYSREG ("vtlbid0_el2", CPENC (3,4,2,8,0), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbid1_el2", CPENC (3,4,2,8,1), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbid2_el2", CPENC (3,4,2,8,2), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbid3_el2", CPENC (3,4,2,8,3), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbidos0_el2", CPENC (3,4,2,9,0), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbidos1_el2", CPENC (3,4,2,9,1), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbidos2_el2", CPENC (3,4,2,9,2), 0, AARCH64_FEATURE (TLBID))
+ SYSREG ("vtlbidos3_el2", CPENC (3,4,2,9,3), 0, AARCH64_FEATURE (TLBID))
SYSREG ("vttbr_el2", CPENC (3,4,2,1,0), F_REG_128, AARCH64_FEATURE (V8A))
SYSREG ("zcr_el1", CPENC (3,0,1,2,0), 0, AARCH64_FEATURE (SVE))
SYSREG ("zcr_el12", CPENC (3,5,1,2,0), 0, AARCH64_FEATURE (SVE))