mem-cache: Add multiple eviction stats
[gem5.git] / src / arch / arm / miscregs.cc
index 826e567264243d4003ffeda32c37d26e52f118de..787ba2fafa7153c90c5803cacfcae47feeacb4bf 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2010-2013, 2015-2017 ARM Limited
+ * Copyright (c) 2010-2013, 2015-2019 ARM Limited
  * All rights reserved
  *
  * The license below extends only to copyright in the software and shall
@@ -128,1233 +128,6 @@ decodeCP14Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
 
 using namespace std;
 
-bitset<NUM_MISCREG_INFOS> miscRegInfo[NUM_MISCREGS] = {
-    // MISCREG_CPSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_FIQ
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_IRQ
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_SVC
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_MON
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_ABT
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_HYP
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_UND
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_ELR_HYP
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPSID
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPSCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MVFR1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MVFR0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPEXC
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-
-    // Helper registers
-    // MISCREG_CPSR_MODE
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CPSR_Q
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPSCR_Q
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPSCR_EXC
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_LOCKADDR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_LOCKFLAG
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PRRR_MAIR0
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000011001")),
-    // MISCREG_PRRR_MAIR0_NS
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000101001")),
-    // MISCREG_PRRR_MAIR0_S
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000101001")),
-    // MISCREG_NMRR_MAIR1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000011001")),
-    // MISCREG_NMRR_MAIR1_NS
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000101001")),
-    // MISCREG_NMRR_MAIR1_S
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000101001")),
-    // MISCREG_PMXEVTYPER_PMCCFILTR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000001001")),
-    // MISCREG_SCTLR_RST
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SEV_MAILBOX
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-
-    // AArch32 CP14 registers
-    // MISCREG_DBGDIDR
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_DBGDSCRint
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_DBGDCCINT
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDTRTXint
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDTRRXint
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWFAR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGVCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDTRRXext
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDSCRext
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000100")),
-    // MISCREG_DBGDTRTXext
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGOSECCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR2
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR3
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR4
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBVR5
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR2
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR3
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR4
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBCR5
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWVR0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWVR1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWVR2
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWVR3
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWCR0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWCR1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWCR2
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGWCR3
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDRAR
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGBXVR4
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGBXVR5
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGOSLAR
-    bitset<NUM_MISCREG_INFOS>(string("10101111111111000000")),
-    // MISCREG_DBGOSLSR
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGOSDLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGPRCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGDSAR
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGCLAIMSET
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGCLAIMCLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_DBGAUTHSTATUS
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGDEVID2
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGDEVID1
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_DBGDEVID0
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000000")),
-    // MISCREG_TEECR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_JIDR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_TEEHBR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_JOSCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_JMCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-
-    // AArch32 CP15 registers
-    // MISCREG_MIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CTR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_TCMTR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_TLBTR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_MPIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_REVIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000100")),
-    // MISCREG_ID_PFR0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_PFR1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_DFR0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AFR0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR2
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR3
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR2
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR3
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR4
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR5
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CCSIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CLIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_AIDR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CSSELR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_CSSELR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_CSSELR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_VPIDR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_VMPIDR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_SCTLR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_SCTLR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_SCTLR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_ACTLR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_ACTLR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_ACTLR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_CPACR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_SCR
-    bitset<NUM_MISCREG_INFOS>(string("11110011000000000001")),
-    // MISCREG_SDER
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_NSACR
-    bitset<NUM_MISCREG_INFOS>(string("11110111010000000001")),
-    // MISCREG_HSCTLR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HACTLR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HCR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HDCR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HCPTR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HSTR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HACR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000100")),
-    // MISCREG_TTBR0
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TTBR0_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_TTBR0_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_TTBR1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TTBR1_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_TTBR1_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_TTBCR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TTBCR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_TTBCR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_HTCR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_VTCR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_DACR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_DACR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_DACR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_DFSR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_DFSR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_DFSR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_IFSR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_IFSR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_IFSR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_ADFSR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010100")),
-    // MISCREG_ADFSR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100100")),
-    // MISCREG_ADFSR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100100")),
-    // MISCREG_AIFSR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010100")),
-    // MISCREG_AIFSR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100100")),
-    // MISCREG_AIFSR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100100")),
-    // MISCREG_HADFSR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HAIFSR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HSR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_DFAR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_DFAR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_DFAR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_IFAR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_IFAR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_IFAR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_HDFAR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HIFAR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HPFAR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_ICIALLUIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_BPIALLIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_PAR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_PAR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_PAR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_ICIALLU
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ICIMVAU
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_CP15ISB
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000001")),
-    // MISCREG_BPIALL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_BPIMVA
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_DCIMVAC
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_DCISW
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_ATS1CPR
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ATS1CPW
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ATS1CUR
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ATS1CUW
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ATS12NSOPR
-    bitset<NUM_MISCREG_INFOS>(string("10101010000000000001")),
-    // MISCREG_ATS12NSOPW
-    bitset<NUM_MISCREG_INFOS>(string("10101010000000000001")),
-    // MISCREG_ATS12NSOUR
-    bitset<NUM_MISCREG_INFOS>(string("10101010000000000001")),
-    // MISCREG_ATS12NSOUW
-    bitset<NUM_MISCREG_INFOS>(string("10101010000000000001")),
-    // MISCREG_DCCMVAC
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_DCCSW
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_CP15DSB
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000001")),
-    // MISCREG_CP15DMB
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000001")),
-    // MISCREG_DCCMVAU
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_DCCIMVAC
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_DCCISW
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000100")),
-    // MISCREG_ATS1HR
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_ATS1HW
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIALLIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVAIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIASIDIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVAAIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVALIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000000")),
-    // MISCREG_TLBIMVAALIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000000")),
-    // MISCREG_ITLBIALL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ITLBIMVA
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_ITLBIASID
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_DTLBIALL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_DTLBIMVA
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_DTLBIASID
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIALL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVA
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIASID
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVAA
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBIMVAL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000000")),
-    // MISCREG_TLBIMVAAL
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000000")),
-    // MISCREG_TLBIIPAS2IS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_TLBIIPAS2LIS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_TLBIALLHIS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIMVAHIS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIALLNSNHIS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIMVALHIS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_TLBIIPAS2
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_TLBIIPAS2L
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_TLBIALLH
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIMVAH
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIALLNSNH
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBIMVALH
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000000")),
-    // MISCREG_PMCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCNTENSET
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCNTENCLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMOVSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMSWINC
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMSELR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCEID0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCEID1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCCNTR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMXEVTYPER
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCCFILTR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMXEVCNTR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMUSERENR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110101000001")),
-    // MISCREG_PMINTENSET
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_PMINTENCLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_PMOVSSET
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000000")),
-    // MISCREG_L2CTLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_L2ECTLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_PRRR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_PRRR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_PRRR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_MAIR0
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_MAIR0_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_MAIR0_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_NMRR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_NMRR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_NMRR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_MAIR1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_MAIR1_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_MAIR1_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_AMAIR0
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_AMAIR0_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_AMAIR0_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_AMAIR1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_AMAIR1_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_AMAIR1_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_HMAIR0
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HMAIR1
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_HAMAIR0
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000100")),
-    // MISCREG_HAMAIR1
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000100")),
-    // MISCREG_VBAR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_VBAR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_VBAR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_MVBAR
-    bitset<NUM_MISCREG_INFOS>(string("11110011000000000001")),
-    // MISCREG_RMR
-    bitset<NUM_MISCREG_INFOS>(string("11110011000000000000")),
-    // MISCREG_ISR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_HVBAR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_FCSEIDR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000100")),
-    // MISCREG_CONTEXTIDR
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_CONTEXTIDR_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_CONTEXTIDR_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_TPIDRURW
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TPIDRURW_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111111111100001")),
-    // MISCREG_TPIDRURW_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_TPIDRURO
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TPIDRURO_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110101100001")),
-    // MISCREG_TPIDRURO_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_TPIDRPRW
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_TPIDRPRW_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111110000100001")),
-    // MISCREG_TPIDRPRW_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011000000100001")),
-    // MISCREG_HTPIDR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_CNTFRQ
-    bitset<NUM_MISCREG_INFOS>(string("11110101010101000011")),
-    // MISCREG_CNTKCTL
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CNTP_TVAL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_CNTP_TVAL_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111111111100001")),
-    // MISCREG_CNTP_TVAL_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011001111100000")),
-    // MISCREG_CNTP_CTL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_CNTP_CTL_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111111111100001")),
-    // MISCREG_CNTP_CTL_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011001111100000")),
-    // MISCREG_CNTV_TVAL
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTV_CTL
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTHCTL
-    bitset<NUM_MISCREG_INFOS>(string("01001000000000000000")),
-    // MISCREG_CNTHP_TVAL
-    bitset<NUM_MISCREG_INFOS>(string("01001000000000000000")),
-    // MISCREG_CNTHP_CTL
-    bitset<NUM_MISCREG_INFOS>(string("01001000000000000000")),
-    // MISCREG_IL1DATA0
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_IL1DATA1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_IL1DATA2
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_IL1DATA3
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_DL1DATA0
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_DL1DATA1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_DL1DATA2
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_DL1DATA3
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_DL1DATA4
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_RAMINDEX
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000000")),
-    // MISCREG_L2ACTLR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_CBAR
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000000")),
-    // MISCREG_HTTBR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_VTTBR
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_CNTPCT
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000001")),
-    // MISCREG_CNTVCT
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000011")),
-    // MISCREG_CNTP_CVAL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000010001")),
-    // MISCREG_CNTP_CVAL_NS
-    bitset<NUM_MISCREG_INFOS>(string("11001111111111100001")),
-    // MISCREG_CNTP_CVAL_S
-    bitset<NUM_MISCREG_INFOS>(string("00110011001111100000")),
-    // MISCREG_CNTV_CVAL
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTVOFF
-    bitset<NUM_MISCREG_INFOS>(string("11001100000000000001")),
-    // MISCREG_CNTHP_CVAL
-    bitset<NUM_MISCREG_INFOS>(string("01001000000000000000")),
-    // MISCREG_CPUMERRSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000000")),
-    // MISCREG_L2MERRSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000100")),
-
-    // AArch64 registers (Op0=2)
-    // MISCREG_MDCCINT_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_OSDTRRX_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MDSCR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_OSDTRTX_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_OSECCR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR4_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBVR5_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR4_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGBCR5_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWVR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWVR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWVR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWVR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWCR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWCR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWCR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGWCR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MDCCSR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_MDDTR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MDDTRTX_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MDDTRRX_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGVCR32_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MDRAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_OSLAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("10101111111111000001")),
-    // MISCREG_OSLSR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_OSDLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGPRCR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGCLAIMSET_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGCLAIMCLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DBGAUTHSTATUS_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01011111111111000001")),
-    // MISCREG_TEECR32_EL1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000001")),
-    // MISCREG_TEEHBR32_EL1
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000001")),
-
-    // AArch64 registers (Op0=1,3)
-    // MISCREG_MIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_MPIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_REVIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_PFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_PFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_DFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_MMFR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR4_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_ISAR5_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_MVFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_MVFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_MVFR2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64PFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64PFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64DFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64DFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64AFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64AFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64ISAR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64ISAR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64MMFR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ID_AA64MMFR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CCSIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CLIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_AIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CSSELR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CTR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000001")),
-    // MISCREG_DCZID_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000001")),
-    // MISCREG_VPIDR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_VMPIDR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SCTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_ACTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CPACR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_SCTLR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_ACTLR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_HCR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_MDCR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_CPTR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_HSTR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_HACR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SCTLR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_ACTLR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_SCR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_SDER32_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_CPTR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_MDCR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_TTBR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_TTBR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_TCR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_TTBR0_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_TCR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_VTTBR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_VTCR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_TTBR0_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_TCR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_DACR32_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_ELR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_SP_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_SPSEL
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CURRENTEL
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_NZCV
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DAIF
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPCR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_FPSR
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DSPSR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_DLR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_SPSR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_ELR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SP_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_IRQ_AA64
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_ABT_AA64
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_UND_AA64
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_FIQ_AA64
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_SPSR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_ELR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_SP_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_AFSR0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_AFSR1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_ESR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_IFSR32_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_AFSR0_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_AFSR1_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_ESR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_FPEXC32_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_AFSR0_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_AFSR1_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_ESR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_FAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_FAR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_HPFAR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_FAR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_IC_IALLUIS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000101")),
-    // MISCREG_PAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_IC_IALLU
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000101")),
-    // MISCREG_DC_IVAC_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000101")),
-    // MISCREG_DC_ISW_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000101")),
-    // MISCREG_AT_S1E1R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_AT_S1E1W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_AT_S1E0R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_AT_S1E0W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_DC_CSW_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000101")),
-    // MISCREG_DC_CISW_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000101")),
-    // MISCREG_DC_ZVA_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100010000101")),
-    // MISCREG_IC_IVAU_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000001")),
-    // MISCREG_DC_CVAC_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000101")),
-    // MISCREG_DC_CVAU_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000101")),
-    // MISCREG_DC_CIVAC_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010101010000101")),
-    // MISCREG_AT_S1E2R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_AT_S1E2W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_AT_S12E1R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_AT_S12E1W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_AT_S12E0R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_AT_S12E0W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_AT_S1E3R_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_AT_S1E3W_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_VMALLE1IS
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_ASIDE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAAE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VALE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAALE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VMALLE1
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_ASIDE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAAE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VALE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_VAALE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101010100000000001")),
-    // MISCREG_TLBI_IPAS2E1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_IPAS2LE1IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_ALLE2IS
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_VAE2IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_ALLE1IS
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_VALE2IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_VMALLS12E1IS
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_IPAS2E1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_IPAS2LE1_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_ALLE2
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_VAE2_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_ALLE1
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_VALE2_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10001000000000000001")),
-    // MISCREG_TLBI_VMALLS12E1
-    bitset<NUM_MISCREG_INFOS>(string("10101000000000000001")),
-    // MISCREG_TLBI_ALLE3IS
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_VAE3IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_VALE3IS_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_ALLE3
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_VAE3_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_TLBI_VALE3_Xt
-    bitset<NUM_MISCREG_INFOS>(string("10100000000000000001")),
-    // MISCREG_PMINTENSET_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_PMINTENCLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_PMCR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCNTENSET_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCNTENCLR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMOVSCLR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMSWINC_EL0
-    bitset<NUM_MISCREG_INFOS>(string("10101010101111000001")),
-    // MISCREG_PMSELR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCEID0_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101011111000001")),
-    // MISCREG_PMCEID1_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101011111000001")),
-    // MISCREG_PMCCNTR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMXEVTYPER_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMCCFILTR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMXEVCNTR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMUSERENR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111110101000001")),
-    // MISCREG_PMOVSSET_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_MAIR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_AMAIR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_MAIR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_AMAIR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_MAIR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_AMAIR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_L2CTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_L2ECTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_VBAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_RVBAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_ISR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_VBAR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_RVBAR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("01010100000000000001")),
-    // MISCREG_VBAR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_RVBAR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("01010000000000000001")),
-    // MISCREG_RMR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_CONTEXTIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_TPIDR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_TPIDR_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_TPIDRRO_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111110101000001")),
-    // MISCREG_TPIDR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_TPIDR_EL3
-    bitset<NUM_MISCREG_INFOS>(string("11110000000000000001")),
-    // MISCREG_CNTKCTL_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CNTFRQ_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11110101010101000001")),
-    // MISCREG_CNTPCT_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000001")),
-    // MISCREG_CNTVCT_EL0
-    bitset<NUM_MISCREG_INFOS>(string("01010101010101000011")),
-    // MISCREG_CNTP_TVAL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTP_CTL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTP_CVAL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTV_TVAL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTV_CTL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTV_CVAL_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR0_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR1_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR2_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR3_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR4_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVCNTR5_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER0_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER1_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER2_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER3_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER4_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_PMEVTYPER5_EL0
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_CNTVOFF_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-    // MISCREG_CNTHCTL_EL2
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000100")),
-    // MISCREG_CNTHP_TVAL_EL2
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_CNTHP_CTL_EL2
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_CNTHP_CVAL_EL2
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_CNTPS_TVAL_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_CNTPS_CTL_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_CNTPS_CVAL_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01111000000000000000")),
-    // MISCREG_IL1DATA0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_IL1DATA1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_IL1DATA2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_IL1DATA3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_DL1DATA0_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_DL1DATA1_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_DL1DATA2_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_DL1DATA3_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_DL1DATA4_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_L2ACTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CPUACTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CPUECTLR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_CPUMERRSR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000001")),
-    // MISCREG_L2MERRSR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("11111111110000000100")),
-    // MISCREG_CBAR_EL1
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CONTEXTIDR_EL2
-    bitset<NUM_MISCREG_INFOS>(string("11111100000000000001")),
-
-    // Dummy registers
-    // MISCREG_NOP
-    bitset<NUM_MISCREG_INFOS>(string("11111111111111000001")),
-    // MISCREG_RAZ
-    bitset<NUM_MISCREG_INFOS>(string("01010101010000000001")),
-    // MISCREG_CP14_UNIMPL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000100")),
-    // MISCREG_CP15_UNIMPL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000100")),
-    // MISCREG_A64_UNIMPL
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000100")),
-    // MISCREG_UNKNOWN
-    bitset<NUM_MISCREG_INFOS>(string("00000000000000000001"))
-};
-
 MiscRegIndex
 decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
 {
@@ -1484,6 +257,8 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                     return MISCREG_HDCR;
                   case 2:
                     return MISCREG_HCPTR;
+                  case 4:
+                    return MISCREG_HCR2;
                   case 3:
                     return MISCREG_HSTR;
                   case 7:
@@ -1514,6 +289,11 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
             return MISCREG_DACR;
         }
         break;
+      case 4:
+        if (opc1 == 0 && crm == 6 && opc2 == 0) {
+            return MISCREG_ICC_PMR;
+        }
+        break;
       case 5:
         if (opc1 == 0) {
             if (crm == 0) {
@@ -1671,6 +451,10 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                     return MISCREG_TLBIASIDIS;
                   case 3:
                     return MISCREG_TLBIMVAAIS;
+                  case 5:
+                    return MISCREG_TLBIMVALIS;
+                  case 7:
+                    return MISCREG_TLBIMVAALIS;
                 }
                 break;
               case 5:
@@ -1703,11 +487,22 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                     return MISCREG_TLBIASID;
                   case 3:
                     return MISCREG_TLBIMVAA;
+                  case 5:
+                    return MISCREG_TLBIMVAL;
+                  case 7:
+                    return MISCREG_TLBIMVAAL;
                 }
                 break;
             }
         } else if (opc1 == 4) {
-            if (crm == 3) {
+            if (crm == 0) {
+                switch (opc2) {
+                  case 1:
+                    return MISCREG_TLBIIPAS2IS;
+                  case 5:
+                    return MISCREG_TLBIIPAS2LIS;
+                }
+            } else if (crm == 3) {
                 switch (opc2) {
                   case 0:
                     return MISCREG_TLBIALLHIS;
@@ -1715,6 +510,15 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                     return MISCREG_TLBIMVAHIS;
                   case 4:
                     return MISCREG_TLBIALLNSNHIS;
+                  case 5:
+                    return MISCREG_TLBIMVALHIS;
+                }
+            } else if (crm == 4) {
+                switch (opc2) {
+                  case 1:
+                    return MISCREG_TLBIIPAS2;
+                  case 5:
+                    return MISCREG_TLBIIPAS2L;
                 }
             } else if (crm == 7) {
                 switch (opc2) {
@@ -1724,11 +528,26 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                     return MISCREG_TLBIMVAH;
                   case 4:
                     return MISCREG_TLBIALLNSNH;
+                  case 5:
+                    return MISCREG_TLBIMVALH;
                 }
             }
         }
         break;
       case 9:
+        // Every cop register with CRn = 9 and CRm in
+        // {0-2}, {5-8} is implementation defined regardless
+        // of opc1 and opc2.
+        switch (crm) {
+          case 0:
+          case 1:
+          case 2:
+          case 5:
+          case 6:
+          case 7:
+          case 8:
+            return MISCREG_IMPDEF_UNIMPL;
+        }
         if (opc1 == 0) {
             switch (crm) {
               case 12:
@@ -1792,7 +611,9 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
       case 10:
         if (opc1 == 0) {
             // crm 0, 1, 4, and 8, with op2 0 - 7, reserved for TLB lockdown
-            if (crm == 2) { // TEX Remap Registers
+            if (crm < 2) {
+                return MISCREG_IMPDEF_UNIMPL;
+            } else if (crm == 2) { // TEX Remap Registers
                 if (opc2 == 0) {
                     // Selector is TTBCR.EAE
                     return MISCREG_PRRR_MAIR0;
@@ -1836,6 +657,8 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
               case 8:
               case 15:
                 // Reserved for DMA operations for TCM access
+                return MISCREG_IMPDEF_UNIMPL;
+              default:
                 break;
             }
         }
@@ -1852,10 +675,193 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
                 if (opc2 == 0) {
                     return MISCREG_ISR;
                 }
+            } else if (crm == 8) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICC_IAR0;
+                    case 1:
+                        return MISCREG_ICC_EOIR0;
+                    case 2:
+                        return MISCREG_ICC_HPPIR0;
+                    case 3:
+                        return MISCREG_ICC_BPR0;
+                    case 4:
+                        return MISCREG_ICC_AP0R0;
+                    case 5:
+                        return MISCREG_ICC_AP0R1;
+                    case 6:
+                        return MISCREG_ICC_AP0R2;
+                    case 7:
+                        return MISCREG_ICC_AP0R3;
+                }
+            } else if (crm == 9) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICC_AP1R0;
+                    case 1:
+                        return MISCREG_ICC_AP1R1;
+                    case 2:
+                        return MISCREG_ICC_AP1R2;
+                    case 3:
+                        return MISCREG_ICC_AP1R3;
+                }
+            } else if (crm == 11) {
+                switch (opc2) {
+                    case 1:
+                        return MISCREG_ICC_DIR;
+                    case 3:
+                        return MISCREG_ICC_RPR;
+                }
+            } else if (crm == 12) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICC_IAR1;
+                    case 1:
+                        return MISCREG_ICC_EOIR1;
+                    case 2:
+                        return MISCREG_ICC_HPPIR1;
+                    case 3:
+                        return MISCREG_ICC_BPR1;
+                    case 4:
+                        return MISCREG_ICC_CTLR;
+                    case 5:
+                        return MISCREG_ICC_SRE;
+                    case 6:
+                        return MISCREG_ICC_IGRPEN0;
+                    case 7:
+                        return MISCREG_ICC_IGRPEN1;
+                }
             }
         } else if (opc1 == 4) {
-            if (crm == 0 && opc2 == 0)
+            if (crm == 0 && opc2 == 0) {
                 return MISCREG_HVBAR;
+            } else if (crm == 8) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_AP0R0;
+                    case 1:
+                        return MISCREG_ICH_AP0R1;
+                    case 2:
+                        return MISCREG_ICH_AP0R2;
+                    case 3:
+                        return MISCREG_ICH_AP0R3;
+                }
+            } else if (crm == 9) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_AP1R0;
+                    case 1:
+                        return MISCREG_ICH_AP1R1;
+                    case 2:
+                        return MISCREG_ICH_AP1R2;
+                    case 3:
+                        return MISCREG_ICH_AP1R3;
+                    case 5:
+                        return MISCREG_ICC_HSRE;
+                }
+            } else if (crm == 11) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_HCR;
+                    case 1:
+                        return MISCREG_ICH_VTR;
+                    case 2:
+                        return MISCREG_ICH_MISR;
+                    case 3:
+                        return MISCREG_ICH_EISR;
+                    case 5:
+                        return MISCREG_ICH_ELRSR;
+                    case 7:
+                        return MISCREG_ICH_VMCR;
+                }
+            } else if (crm == 12) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_LR0;
+                    case 1:
+                        return MISCREG_ICH_LR1;
+                    case 2:
+                        return MISCREG_ICH_LR2;
+                    case 3:
+                        return MISCREG_ICH_LR3;
+                    case 4:
+                        return MISCREG_ICH_LR4;
+                    case 5:
+                        return MISCREG_ICH_LR5;
+                    case 6:
+                        return MISCREG_ICH_LR6;
+                    case 7:
+                        return MISCREG_ICH_LR7;
+                }
+            } else if (crm == 13) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_LR8;
+                    case 1:
+                        return MISCREG_ICH_LR9;
+                    case 2:
+                        return MISCREG_ICH_LR10;
+                    case 3:
+                        return MISCREG_ICH_LR11;
+                    case 4:
+                        return MISCREG_ICH_LR12;
+                    case 5:
+                        return MISCREG_ICH_LR13;
+                    case 6:
+                        return MISCREG_ICH_LR14;
+                    case 7:
+                        return MISCREG_ICH_LR15;
+                }
+            } else if (crm == 14) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_LRC0;
+                    case 1:
+                        return MISCREG_ICH_LRC1;
+                    case 2:
+                        return MISCREG_ICH_LRC2;
+                    case 3:
+                        return MISCREG_ICH_LRC3;
+                    case 4:
+                        return MISCREG_ICH_LRC4;
+                    case 5:
+                        return MISCREG_ICH_LRC5;
+                    case 6:
+                        return MISCREG_ICH_LRC6;
+                    case 7:
+                        return MISCREG_ICH_LRC7;
+                }
+            } else if (crm == 15) {
+                switch (opc2) {
+                    case 0:
+                        return MISCREG_ICH_LRC8;
+                    case 1:
+                        return MISCREG_ICH_LRC9;
+                    case 2:
+                        return MISCREG_ICH_LRC10;
+                    case 3:
+                        return MISCREG_ICH_LRC11;
+                    case 4:
+                        return MISCREG_ICH_LRC12;
+                    case 5:
+                        return MISCREG_ICH_LRC13;
+                    case 6:
+                        return MISCREG_ICH_LRC14;
+                    case 7:
+                        return MISCREG_ICH_LRC15;
+                }
+            }
+        } else if (opc1 == 6) {
+            if (crm == 12) {
+                switch (opc2) {
+                    case 4:
+                        return MISCREG_ICC_MCTLR;
+                    case 5:
+                        return MISCREG_ICC_MSRE;
+                    case 7:
+                        return MISCREG_ICC_MGRPEN1;
+                }
+            }
         }
         break;
       case 13:
@@ -1916,7 +922,7 @@ decodeCP15Reg(unsigned crn, unsigned opc1, unsigned crm, unsigned opc2)
         break;
       case 15:
         // Implementation defined
-        return MISCREG_CP15_UNIMPL;
+        return MISCREG_IMPDEF_UNIMPL;
     }
     // Unrecognized register
     return MISCREG_CP15_UNIMPL;
@@ -1958,6 +964,18 @@ decodeCP15Reg64(unsigned crm, unsigned opc1)
             return MISCREG_CNTHP_CVAL;
         }
         break;
+      case 12:
+        switch (opc1) {
+          case 0:
+            return MISCREG_ICC_SGI1R;
+          case 1:
+            return MISCREG_ICC_ASGI1R;
+          case 2:
+            return MISCREG_ICC_SGI0R;
+          default:
+            break;
+        }
+        break;
       case 15:
         if (opc1 == 0)
             return MISCREG_CPUMERRSR;
@@ -2042,14 +1060,14 @@ canWriteCoprocReg(MiscRegIndex reg, SCR scr, CPSR cpsr)
 }
 
 int
-flattenMiscRegNsBanked(MiscRegIndex reg, ThreadContext *tc)
+snsBankedIndex(MiscRegIndex reg, ThreadContext *tc)
 {
     SCR scr = tc->readMiscReg(MISCREG_SCR);
-    return flattenMiscRegNsBanked(reg, tc, scr.ns);
+    return snsBankedIndex(reg, tc, scr.ns);
 }
 
 int
-flattenMiscRegNsBanked(MiscRegIndex reg, ThreadContext *tc, bool ns)
+snsBankedIndex(MiscRegIndex reg, ThreadContext *tc, bool ns)
 {
     int reg_as_int = static_cast<int>(reg);
     if (miscRegInfo[reg][MISCREG_BANKED]) {
@@ -2059,6 +1077,12 @@ flattenMiscRegNsBanked(MiscRegIndex reg, ThreadContext *tc, bool ns)
     return reg_as_int;
 }
 
+int
+snsBankedIndex64(MiscRegIndex reg, ThreadContext *tc)
+{
+    SCR scr = tc->readMiscReg(MISCREG_SCR);
+    return tc->getIsaPtr()->snsBankedIndex64(reg, scr.ns);
+}
 
 /**
  * If the reg is a child reg of a banked set, then the parent is the last
@@ -2113,7 +1137,7 @@ canReadAArch64SysReg(MiscRegIndex reg, SCR scr, CPSR cpsr, ThreadContext *tc)
 
     bool secure = ArmSystem::haveSecurity(tc) && !scr.ns;
 
-    switch (opModeToEL((OperatingMode) (uint8_t) cpsr.mode)) {
+    switch (currEL(cpsr)) {
       case EL0:
         return secure ? miscRegInfo[reg][MISCREG_USR_S_RD] :
             miscRegInfo[reg][MISCREG_USR_NS_RD];
@@ -2136,7 +1160,7 @@ canWriteAArch64SysReg(MiscRegIndex reg, SCR scr, CPSR cpsr, ThreadContext *tc)
     // Check for SP_EL0 access while SPSEL == 0
     if ((reg == MISCREG_SP_EL0) && (tc->readMiscReg(MISCREG_SPSEL) == 0))
         return false;
-    ExceptionLevel el = opModeToEL((OperatingMode) (uint8_t) cpsr.mode);
+    ExceptionLevel el = currEL(cpsr);
     if (reg == MISCREG_DAIF) {
         SCTLR sctlr = tc->readMiscReg(MISCREG_SCTLR_EL1);
         if (el == EL0 && !sctlr.uma)
@@ -2149,8 +1173,7 @@ canWriteAArch64SysReg(MiscRegIndex reg, SCR scr, CPSR cpsr, ThreadContext *tc)
         if (el == EL0 && !sctlr.dze)
             return false;
     }
-    if (reg == MISCREG_DC_CVAC_Xt || reg == MISCREG_DC_CIVAC_Xt ||
-        reg == MISCREG_DC_IVAC_Xt) {
+    if (reg == MISCREG_DC_CVAC_Xt || reg == MISCREG_DC_CIVAC_Xt) {
         SCTLR sctlr = tc->readMiscReg(MISCREG_SCTLR_EL1);
         if (el == EL0 && !sctlr.uci)
             return false;
@@ -2413,6 +1436,11 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                 break;
             }
             break;
+          case 11:
+          case 15:
+            // SYS Instruction with CRn = { 11, 15 }
+            // (Trappable by HCR_EL2.TIDCP)
+            return MISCREG_IMPDEF_UNIMPL;
         }
         break;
       case 2:
@@ -2687,7 +1715,11 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_ID_AA64PFR0_EL1;
                       case 1:
                         return MISCREG_ID_AA64PFR1_EL1;
-                      case 2 ... 7:
+                      case 2 ... 3:
+                        return MISCREG_RAZ;
+                      case 4:
+                        return MISCREG_ID_AA64ZFR0_EL1;
+                      case 5 ... 7:
                         return MISCREG_RAZ;
                     }
                     break;
@@ -2724,7 +1756,9 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_ID_AA64MMFR0_EL1;
                       case 1:
                         return MISCREG_ID_AA64MMFR1_EL1;
-                      case 2 ... 7:
+                      case 2:
+                        return MISCREG_ID_AA64MMFR2_EL1;
+                      case 3 ... 7:
                         return MISCREG_RAZ;
                     }
                     break;
@@ -2794,6 +1828,12 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_CPACR_EL1;
                     }
                     break;
+                  case 2:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ZCR_EL1;
+                    }
+                    break;
                 }
                 break;
               case 4:
@@ -2820,6 +1860,22 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_HACR_EL2;
                     }
                     break;
+                  case 2:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ZCR_EL2;
+                    }
+                    break;
+                }
+                break;
+              case 5:
+                switch (crm) {
+                  case 2:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ZCR_EL12;
+                    }
+                    break;
                 }
                 break;
               case 6:
@@ -2842,6 +1898,12 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_CPTR_EL3;
                     }
                     break;
+                  case 2:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ZCR_EL3;
+                    }
+                    break;
                   case 3:
                     switch (op2) {
                       case 1:
@@ -2874,6 +1936,8 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                     switch (op2) {
                       case 0:
                         return MISCREG_TTBR0_EL2;
+                      case 1:
+                        return MISCREG_TTBR1_EL2;
                       case 2:
                         return MISCREG_TCR_EL2;
                     }
@@ -2940,6 +2004,14 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_SPSEL;
                       case 2:
                         return MISCREG_CURRENTEL;
+                      case 3:
+                        return MISCREG_PAN;
+                    }
+                    break;
+                  case 6:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICC_PMR_EL1;
                     }
                     break;
                 }
@@ -3040,6 +2112,34 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_ESR_EL1;
                     }
                     break;
+                  case 3:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ERRIDR_EL1;
+                      case 1:
+                        return MISCREG_ERRSELR_EL1;
+                    }
+                    break;
+                  case 4:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ERXFR_EL1;
+                      case 1:
+                        return MISCREG_ERXCTLR_EL1;
+                      case 2:
+                        return MISCREG_ERXSTATUS_EL1;
+                      case 3:
+                        return MISCREG_ERXADDR_EL1;
+                    }
+                    break;
+                  case 5:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ERXMISC0_EL1;
+                      case 1:
+                        return MISCREG_ERXMISC1_EL1;
+                    }
+                    break;
                 }
                 break;
               case 4:
@@ -3062,6 +2162,8 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                     switch (op2) {
                       case 0:
                         return MISCREG_ESR_EL2;
+                      case 3:
+                        return MISCREG_VSESR_EL2;
                     }
                     break;
                   case 3:
@@ -3265,9 +2367,12 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                     }
                     break;
                 }
-                break;
+                M5_FALLTHROUGH;
+              default:
+                // S3_<op1>_11_<Cm>_<op2>
+                return MISCREG_IMPDEF_UNIMPL;
             }
-            break;
+            M5_UNREACHABLE;
           case 12:
             switch (op1) {
               case 0:
@@ -3284,6 +2389,74 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                     switch (op2) {
                       case 0:
                         return MISCREG_ISR_EL1;
+                      case 1:
+                        return MISCREG_DISR_EL1;
+                    }
+                    break;
+                  case 8:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICC_IAR0_EL1;
+                      case 1:
+                        return MISCREG_ICC_EOIR0_EL1;
+                      case 2:
+                        return MISCREG_ICC_HPPIR0_EL1;
+                      case 3:
+                        return MISCREG_ICC_BPR0_EL1;
+                      case 4:
+                        return MISCREG_ICC_AP0R0_EL1;
+                      case 5:
+                        return MISCREG_ICC_AP0R1_EL1;
+                      case 6:
+                        return MISCREG_ICC_AP0R2_EL1;
+                      case 7:
+                        return MISCREG_ICC_AP0R3_EL1;
+                    }
+                    break;
+                  case 9:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICC_AP1R0_EL1;
+                      case 1:
+                        return MISCREG_ICC_AP1R1_EL1;
+                      case 2:
+                        return MISCREG_ICC_AP1R2_EL1;
+                      case 3:
+                        return MISCREG_ICC_AP1R3_EL1;
+                    }
+                    break;
+                  case 11:
+                    switch (op2) {
+                      case 1:
+                        return MISCREG_ICC_DIR_EL1;
+                      case 3:
+                        return MISCREG_ICC_RPR_EL1;
+                      case 5:
+                        return MISCREG_ICC_SGI1R_EL1;
+                      case 6:
+                        return MISCREG_ICC_ASGI1R_EL1;
+                      case 7:
+                        return MISCREG_ICC_SGI0R_EL1;
+                    }
+                    break;
+                  case 12:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICC_IAR1_EL1;
+                      case 1:
+                        return MISCREG_ICC_EOIR1_EL1;
+                      case 2:
+                        return MISCREG_ICC_HPPIR1_EL1;
+                      case 3:
+                        return MISCREG_ICC_BPR1_EL1;
+                      case 4:
+                        return MISCREG_ICC_CTLR_EL1;
+                      case 5:
+                        return MISCREG_ICC_SRE_EL1;
+                      case 6:
+                        return MISCREG_ICC_IGRPEN0_EL1;
+                      case 7:
+                        return MISCREG_ICC_IGRPEN1_EL1;
                     }
                     break;
                 }
@@ -3298,6 +2471,94 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_RVBAR_EL2;
                     }
                     break;
+                  case 1:
+                    switch (op2) {
+                      case 1:
+                        return MISCREG_VDISR_EL2;
+                    }
+                    break;
+                  case 8:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICH_AP0R0_EL2;
+                      case 1:
+                        return MISCREG_ICH_AP0R1_EL2;
+                      case 2:
+                        return MISCREG_ICH_AP0R2_EL2;
+                      case 3:
+                        return MISCREG_ICH_AP0R3_EL2;
+                    }
+                    break;
+                  case 9:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICH_AP1R0_EL2;
+                      case 1:
+                        return MISCREG_ICH_AP1R1_EL2;
+                      case 2:
+                        return MISCREG_ICH_AP1R2_EL2;
+                      case 3:
+                        return MISCREG_ICH_AP1R3_EL2;
+                      case 5:
+                        return MISCREG_ICC_SRE_EL2;
+                    }
+                    break;
+                  case 11:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICH_HCR_EL2;
+                      case 1:
+                        return MISCREG_ICH_VTR_EL2;
+                      case 2:
+                        return MISCREG_ICH_MISR_EL2;
+                      case 3:
+                        return MISCREG_ICH_EISR_EL2;
+                      case 5:
+                        return MISCREG_ICH_ELRSR_EL2;
+                      case 7:
+                        return MISCREG_ICH_VMCR_EL2;
+                    }
+                    break;
+                  case 12:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICH_LR0_EL2;
+                      case 1:
+                        return MISCREG_ICH_LR1_EL2;
+                      case 2:
+                        return MISCREG_ICH_LR2_EL2;
+                      case 3:
+                        return MISCREG_ICH_LR3_EL2;
+                      case 4:
+                        return MISCREG_ICH_LR4_EL2;
+                      case 5:
+                        return MISCREG_ICH_LR5_EL2;
+                      case 6:
+                        return MISCREG_ICH_LR6_EL2;
+                      case 7:
+                        return MISCREG_ICH_LR7_EL2;
+                    }
+                    break;
+                  case 13:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_ICH_LR8_EL2;
+                      case 1:
+                        return MISCREG_ICH_LR9_EL2;
+                      case 2:
+                        return MISCREG_ICH_LR10_EL2;
+                      case 3:
+                        return MISCREG_ICH_LR11_EL2;
+                      case 4:
+                        return MISCREG_ICH_LR12_EL2;
+                      case 5:
+                        return MISCREG_ICH_LR13_EL2;
+                      case 6:
+                        return MISCREG_ICH_LR14_EL2;
+                      case 7:
+                        return MISCREG_ICH_LR15_EL2;
+                    }
+                    break;
                 }
                 break;
               case 6:
@@ -3312,6 +2573,16 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_RMR_EL3;
                     }
                     break;
+                  case 12:
+                    switch (op2) {
+                      case 4:
+                        return MISCREG_ICC_CTLR_EL3;
+                      case 5:
+                        return MISCREG_ICC_SRE_EL3;
+                      case 7:
+                        return MISCREG_ICC_IGRPEN1_EL3;
+                    }
+                    break;
                 }
                 break;
             }
@@ -3473,6 +2744,16 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                         return MISCREG_CNTHP_CVAL_EL2;
                     }
                     break;
+                  case 3:
+                    switch (op2) {
+                      case 0:
+                        return MISCREG_CNTHV_TVAL_EL2;
+                      case 1:
+                        return MISCREG_CNTHV_CTL_EL2;
+                      case 2:
+                        return MISCREG_CNTHV_CVAL_EL2;
+                    }
+                    break;
                 }
                 break;
               case 7:
@@ -3553,7 +2834,8 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
                 }
                 break;
             }
-            break;
+            // S3_<op1>_15_<Cm>_<op2>
+            return MISCREG_IMPDEF_UNIMPL;
         }
         break;
     }
@@ -3561,4 +2843,2220 @@ decodeAArch64SysReg(unsigned op0, unsigned op1,
     return MISCREG_UNKNOWN;
 }
 
+bitset<NUM_MISCREG_INFOS> miscRegInfo[NUM_MISCREGS]; // initialized below
+
+void
+ISA::initializeMiscRegMetadata()
+{
+    // the MiscReg metadata tables are shared across all instances of the
+    // ISA object, so there's no need to initialize them multiple times.
+    static bool completed = false;
+    if (completed)
+        return;
+
+    // This boolean variable specifies if the system is running in aarch32 at
+    // EL3 (aarch32EL3 = true). It is false if EL3 is not implemented, or it
+    // is running in aarch64 (aarch32EL3 = false)
+    bool aarch32EL3 = haveSecurity && !highestELIs64;
+
+    // Set Privileged Access Never on taking an exception to EL1 (Arm 8.1+),
+    // unsupported
+    bool SPAN = false;
+
+    // Implicit error synchronization event enable (Arm 8.2+), unsupported
+    bool IESB = false;
+
+    // Load Multiple and Store Multiple Atomicity and Ordering (Arm 8.2+),
+    // unsupported
+    bool LSMAOE = false;
+
+    // No Trap Load Multiple and Store Multiple (Arm 8.2+), unsupported
+    bool nTLSMD = false;
+
+    // Pointer authentication (Arm 8.3+), unsupported
+    bool EnDA = false; // using APDAKey_EL1 key of instr addrs in ELs 0,1
+    bool EnDB = false; // using APDBKey_EL1 key of instr addrs in ELs 0,1
+    bool EnIA = false; // using APIAKey_EL1 key of instr addrs in ELs 0,1
+    bool EnIB = false; // using APIBKey_EL1 key of instr addrs in ELs 0,1
+
+    /**
+     * Some registers alias with others, and therefore need to be translated.
+     * When two mapping registers are given, they are the 32b lower and
+     * upper halves, respectively, of the 64b register being mapped.
+     * aligned with reference documentation ARM DDI 0487A.i pp 1540-1543
+     *
+     * NAM = "not architecturally mandated",
+     * from ARM DDI 0487A.i, template text
+     * "AArch64 System register ___ can be mapped to
+     *  AArch32 System register ___, but this is not
+     *  architecturally mandated."
+     */
+
+    InitReg(MISCREG_CPSR)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_FIQ)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_IRQ)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_SVC)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_MON)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_ABT)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_HYP)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_UND)
+      .allPrivileges();
+    InitReg(MISCREG_ELR_HYP)
+      .allPrivileges();
+    InitReg(MISCREG_FPSID)
+      .allPrivileges();
+    InitReg(MISCREG_FPSCR)
+      .allPrivileges();
+    InitReg(MISCREG_MVFR1)
+      .allPrivileges();
+    InitReg(MISCREG_MVFR0)
+      .allPrivileges();
+    InitReg(MISCREG_FPEXC)
+      .allPrivileges();
+
+    // Helper registers
+    InitReg(MISCREG_CPSR_MODE)
+      .allPrivileges();
+    InitReg(MISCREG_CPSR_Q)
+      .allPrivileges();
+    InitReg(MISCREG_FPSCR_EXC)
+      .allPrivileges();
+    InitReg(MISCREG_FPSCR_QC)
+      .allPrivileges();
+    InitReg(MISCREG_LOCKADDR)
+      .allPrivileges();
+    InitReg(MISCREG_LOCKFLAG)
+      .allPrivileges();
+    InitReg(MISCREG_PRRR_MAIR0)
+      .mutex()
+      .banked();
+    InitReg(MISCREG_PRRR_MAIR0_NS)
+      .mutex()
+      .privSecure(!aarch32EL3)
+      .bankedChild();
+    InitReg(MISCREG_PRRR_MAIR0_S)
+      .mutex()
+      .bankedChild();
+    InitReg(MISCREG_NMRR_MAIR1)
+      .mutex()
+      .banked();
+    InitReg(MISCREG_NMRR_MAIR1_NS)
+      .mutex()
+      .privSecure(!aarch32EL3)
+      .bankedChild();
+    InitReg(MISCREG_NMRR_MAIR1_S)
+      .mutex()
+      .bankedChild();
+    InitReg(MISCREG_PMXEVTYPER_PMCCFILTR)
+      .mutex();
+    InitReg(MISCREG_SCTLR_RST)
+      .allPrivileges();
+    InitReg(MISCREG_SEV_MAILBOX)
+      .allPrivileges();
+
+    // AArch32 CP14 registers
+    InitReg(MISCREG_DBGDIDR)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGDSCRint)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGDCCINT)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDTRTXint)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDTRRXint)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWFAR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGVCR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDTRRXext)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDSCRext)
+      .unimplemented()
+      .warnNotFail()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDTRTXext)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGOSECCR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR0)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR1)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR2)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR3)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR4)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBVR5)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR0)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR1)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR2)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR3)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR4)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBCR5)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWVR0)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWVR1)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWVR2)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWVR3)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWCR0)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWCR1)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWCR2)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGWCR3)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDRAR)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGBXVR4)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGBXVR5)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGOSLAR)
+      .unimplemented()
+      .allPrivileges().monSecureRead(0).monNonSecureRead(0);
+    InitReg(MISCREG_DBGOSLSR)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGOSDLR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGPRCR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGDSAR)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGCLAIMSET)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGCLAIMCLR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_DBGAUTHSTATUS)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGDEVID2)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGDEVID1)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_DBGDEVID0)
+      .unimplemented()
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0);
+    InitReg(MISCREG_TEECR)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_JIDR)
+      .allPrivileges();
+    InitReg(MISCREG_TEEHBR)
+      .allPrivileges();
+    InitReg(MISCREG_JOSCR)
+      .allPrivileges();
+    InitReg(MISCREG_JMCR)
+      .allPrivileges();
+
+    // AArch32 CP15 registers
+    InitReg(MISCREG_MIDR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CTR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_TCMTR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_TLBTR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_MPIDR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_REVIDR)
+      .unimplemented()
+      .warnNotFail()
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_PFR0)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_PFR1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_DFR0)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AFR0)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_MMFR0)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_MMFR1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_MMFR2)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_MMFR3)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR0)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR2)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR3)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR4)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_ISAR5)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CCSIDR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CLIDR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_AIDR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CSSELR)
+      .banked();
+    InitReg(MISCREG_CSSELR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_CSSELR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_VPIDR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_VMPIDR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_SCTLR)
+      .banked()
+      // readMiscRegNoEffect() uses this metadata
+      // despite using children (below) as backing store
+      .res0(0x8d22c600)
+      .res1(0x00400800 | (SPAN   ? 0 : 0x800000)
+                       | (LSMAOE ? 0 :     0x10)
+                       | (nTLSMD ? 0 :      0x8));
+    InitReg(MISCREG_SCTLR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_SCTLR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_ACTLR)
+      .banked();
+    InitReg(MISCREG_ACTLR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_ACTLR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_CPACR)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_SCR)
+      .mon().secure().exceptUserMode()
+      .res0(0xff40)  // [31:16], [6]
+      .res1(0x0030); // [5:4]
+    InitReg(MISCREG_SDER)
+      .mon();
+    InitReg(MISCREG_NSACR)
+      .allPrivileges().hypWrite(0).privNonSecureWrite(0).exceptUserMode();
+    InitReg(MISCREG_HSCTLR)
+      .hyp().monNonSecure()
+      .res0(0x0512c7c0 | (EnDB   ? 0 :     0x2000)
+                       | (IESB   ? 0 :   0x200000)
+                       | (EnDA   ? 0 :  0x8000000)
+                       | (EnIB   ? 0 : 0x40000000)
+                       | (EnIA   ? 0 : 0x80000000))
+      .res1(0x30c50830);
+    InitReg(MISCREG_HACTLR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HCR)
+      .hyp().monNonSecure()
+      .res0(0x90000000);
+    InitReg(MISCREG_HCR2)
+      .hyp().monNonSecure()
+      .res0(0xffa9ff8c);
+    InitReg(MISCREG_HDCR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HCPTR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HSTR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HACR)
+      .unimplemented()
+      .warnNotFail()
+      .hyp().monNonSecure();
+    InitReg(MISCREG_TTBR0)
+      .banked();
+    InitReg(MISCREG_TTBR0_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_TTBR0_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_TTBR1)
+      .banked();
+    InitReg(MISCREG_TTBR1_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_TTBR1_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_TTBCR)
+      .banked();
+    InitReg(MISCREG_TTBCR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_TTBCR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_HTCR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_VTCR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_DACR)
+      .banked();
+    InitReg(MISCREG_DACR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_DACR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_DFSR)
+      .banked();
+    InitReg(MISCREG_DFSR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_DFSR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_IFSR)
+      .banked();
+    InitReg(MISCREG_IFSR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_IFSR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_ADFSR)
+      .unimplemented()
+      .warnNotFail()
+      .banked();
+    InitReg(MISCREG_ADFSR_NS)
+      .unimplemented()
+      .warnNotFail()
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_ADFSR_S)
+      .unimplemented()
+      .warnNotFail()
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_AIFSR)
+      .unimplemented()
+      .warnNotFail()
+      .banked();
+    InitReg(MISCREG_AIFSR_NS)
+      .unimplemented()
+      .warnNotFail()
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_AIFSR_S)
+      .unimplemented()
+      .warnNotFail()
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_HADFSR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HAIFSR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HSR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_DFAR)
+      .banked();
+    InitReg(MISCREG_DFAR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_DFAR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_IFAR)
+      .banked();
+    InitReg(MISCREG_IFAR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_IFAR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_HDFAR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HIFAR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HPFAR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_ICIALLUIS)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_BPIALLIS)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_PAR)
+      .banked();
+    InitReg(MISCREG_PAR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_PAR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_ICIALLU)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ICIMVAU)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_CP15ISB)
+      .writes(1);
+    InitReg(MISCREG_BPIALL)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_BPIMVA)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DCIMVAC)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DCISW)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS1CPR)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS1CPW)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS1CUR)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS1CUW)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS12NSOPR)
+      .privSecureWrite().hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_ATS12NSOPW)
+      .privSecureWrite().hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_ATS12NSOUR)
+      .privSecureWrite().hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_ATS12NSOUW)
+      .privSecureWrite().hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_DCCMVAC)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DCCSW)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_CP15DSB)
+      .writes(1);
+    InitReg(MISCREG_CP15DMB)
+      .writes(1);
+    InitReg(MISCREG_DCCMVAU)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DCCIMVAC)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DCCISW)
+      .unimplemented()
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ATS1HR)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_ATS1HW)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIALLIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIASIDIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAAIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVALIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAALIS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ITLBIALL)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ITLBIMVA)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_ITLBIASID)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DTLBIALL)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DTLBIMVA)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DTLBIASID)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIALL)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVA)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIASID)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAA)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAL)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIMVAAL)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBIIPAS2IS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIIPAS2LIS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIALLHIS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIMVAHIS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIALLNSNHIS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIMVALHIS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIIPAS2)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIIPAS2L)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIALLH)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIMVAH)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIALLNSNH)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBIMVALH)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_PMCR)
+      .allPrivileges();
+    InitReg(MISCREG_PMCNTENSET)
+      .allPrivileges();
+    InitReg(MISCREG_PMCNTENCLR)
+      .allPrivileges();
+    InitReg(MISCREG_PMOVSR)
+      .allPrivileges();
+    InitReg(MISCREG_PMSWINC)
+      .allPrivileges();
+    InitReg(MISCREG_PMSELR)
+      .allPrivileges();
+    InitReg(MISCREG_PMCEID0)
+      .allPrivileges();
+    InitReg(MISCREG_PMCEID1)
+      .allPrivileges();
+    InitReg(MISCREG_PMCCNTR)
+      .allPrivileges();
+    InitReg(MISCREG_PMXEVTYPER)
+      .allPrivileges();
+    InitReg(MISCREG_PMCCFILTR)
+      .allPrivileges();
+    InitReg(MISCREG_PMXEVCNTR)
+      .allPrivileges();
+    InitReg(MISCREG_PMUSERENR)
+      .allPrivileges().userNonSecureWrite(0).userSecureWrite(0);
+    InitReg(MISCREG_PMINTENSET)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_PMINTENCLR)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_PMOVSSET)
+      .unimplemented()
+      .allPrivileges();
+    InitReg(MISCREG_L2CTLR)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_L2ECTLR)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_PRRR)
+      .banked();
+    InitReg(MISCREG_PRRR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_PRRR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_MAIR0)
+      .banked();
+    InitReg(MISCREG_MAIR0_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_MAIR0_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_NMRR)
+      .banked();
+    InitReg(MISCREG_NMRR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_NMRR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_MAIR1)
+      .banked();
+    InitReg(MISCREG_MAIR1_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_MAIR1_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_AMAIR0)
+      .banked();
+    InitReg(MISCREG_AMAIR0_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_AMAIR0_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_AMAIR1)
+      .banked();
+    InitReg(MISCREG_AMAIR1_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_AMAIR1_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_HMAIR0)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HMAIR1)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HAMAIR0)
+      .unimplemented()
+      .warnNotFail()
+      .hyp().monNonSecure();
+    InitReg(MISCREG_HAMAIR1)
+      .unimplemented()
+      .warnNotFail()
+      .hyp().monNonSecure();
+    InitReg(MISCREG_VBAR)
+      .banked();
+    InitReg(MISCREG_VBAR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_VBAR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_MVBAR)
+      .mon().secure()
+      .hypRead(FullSystem && system->highestEL() == EL2)
+      .privRead(FullSystem && system->highestEL() == EL1)
+      .exceptUserMode();
+    InitReg(MISCREG_RMR)
+      .unimplemented()
+      .mon().secure().exceptUserMode();
+    InitReg(MISCREG_ISR)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_HVBAR)
+      .hyp().monNonSecure()
+      .res0(0x1f);
+    InitReg(MISCREG_FCSEIDR)
+      .unimplemented()
+      .warnNotFail()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CONTEXTIDR)
+      .banked();
+    InitReg(MISCREG_CONTEXTIDR_NS)
+      .bankedChild()
+      .privSecure(!aarch32EL3)
+      .nonSecure().exceptUserMode();
+    InitReg(MISCREG_CONTEXTIDR_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_TPIDRURW)
+      .banked();
+    InitReg(MISCREG_TPIDRURW_NS)
+      .bankedChild()
+      .allPrivileges()
+      .privSecure(!aarch32EL3)
+      .monSecure(0);
+    InitReg(MISCREG_TPIDRURW_S)
+      .bankedChild()
+      .secure();
+    InitReg(MISCREG_TPIDRURO)
+      .banked();
+    InitReg(MISCREG_TPIDRURO_NS)
+      .bankedChild()
+      .allPrivileges()
+      .userNonSecureWrite(0).userSecureRead(1)
+      .privSecure(!aarch32EL3)
+      .monSecure(0);
+    InitReg(MISCREG_TPIDRURO_S)
+      .bankedChild()
+      .secure().userSecureWrite(0);
+    InitReg(MISCREG_TPIDRPRW)
+      .banked();
+    InitReg(MISCREG_TPIDRPRW_NS)
+      .bankedChild()
+      .nonSecure().exceptUserMode()
+      .privSecure(!aarch32EL3);
+    InitReg(MISCREG_TPIDRPRW_S)
+      .bankedChild()
+      .secure().exceptUserMode();
+    InitReg(MISCREG_HTPIDR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_CNTFRQ)
+      .unverifiable()
+      .reads(1).mon();
+    InitReg(MISCREG_CNTKCTL)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CNTP_TVAL)
+      .banked();
+    InitReg(MISCREG_CNTP_TVAL_NS)
+      .bankedChild()
+      .allPrivileges()
+      .privSecure(!aarch32EL3)
+      .monSecure(0);
+    InitReg(MISCREG_CNTP_TVAL_S)
+      .bankedChild()
+      .secure().user(1);
+    InitReg(MISCREG_CNTP_CTL)
+      .banked();
+    InitReg(MISCREG_CNTP_CTL_NS)
+      .bankedChild()
+      .allPrivileges()
+      .privSecure(!aarch32EL3)
+      .monSecure(0);
+    InitReg(MISCREG_CNTP_CTL_S)
+      .bankedChild()
+      .secure().user(1);
+    InitReg(MISCREG_CNTV_TVAL)
+      .allPrivileges();
+    InitReg(MISCREG_CNTV_CTL)
+      .allPrivileges();
+    InitReg(MISCREG_CNTHCTL)
+      .hypWrite().monNonSecureRead();
+    InitReg(MISCREG_CNTHP_TVAL)
+      .hypWrite().monNonSecureRead();
+    InitReg(MISCREG_CNTHP_CTL)
+      .hypWrite().monNonSecureRead();
+    InitReg(MISCREG_IL1DATA0)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA1)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA2)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA3)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA0)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA1)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA2)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA3)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA4)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_RAMINDEX)
+      .unimplemented()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_L2ACTLR)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CBAR)
+      .unimplemented()
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_HTTBR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_VTTBR)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_CNTPCT)
+      .reads(1);
+    InitReg(MISCREG_CNTVCT)
+      .unverifiable()
+      .reads(1);
+    InitReg(MISCREG_CNTP_CVAL)
+      .banked();
+    InitReg(MISCREG_CNTP_CVAL_NS)
+      .bankedChild()
+      .allPrivileges()
+      .privSecure(!aarch32EL3)
+      .monSecure(0);
+    InitReg(MISCREG_CNTP_CVAL_S)
+      .bankedChild()
+      .secure().user(1);
+    InitReg(MISCREG_CNTV_CVAL)
+      .allPrivileges();
+    InitReg(MISCREG_CNTVOFF)
+      .hyp().monNonSecure();
+    InitReg(MISCREG_CNTHP_CVAL)
+      .hypWrite().monNonSecureRead();
+    InitReg(MISCREG_CPUMERRSR)
+      .unimplemented()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_L2MERRSR)
+      .unimplemented()
+      .warnNotFail()
+      .allPrivileges().exceptUserMode();
+
+    // AArch64 registers (Op0=2);
+    InitReg(MISCREG_MDCCINT_EL1)
+      .allPrivileges();
+    InitReg(MISCREG_OSDTRRX_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGDTRRXext);
+    InitReg(MISCREG_MDSCR_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGDSCRext);
+    InitReg(MISCREG_OSDTRTX_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGDTRTXext);
+    InitReg(MISCREG_OSECCR_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGOSECCR);
+    InitReg(MISCREG_DBGBVR0_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR0 /*, MISCREG_DBGBXVR0 */);
+    InitReg(MISCREG_DBGBVR1_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR1 /*, MISCREG_DBGBXVR1 */);
+    InitReg(MISCREG_DBGBVR2_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR2 /*, MISCREG_DBGBXVR2 */);
+    InitReg(MISCREG_DBGBVR3_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR3 /*, MISCREG_DBGBXVR3 */);
+    InitReg(MISCREG_DBGBVR4_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR4 /*, MISCREG_DBGBXVR4 */);
+    InitReg(MISCREG_DBGBVR5_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBVR5 /*, MISCREG_DBGBXVR5 */);
+    InitReg(MISCREG_DBGBCR0_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR0);
+    InitReg(MISCREG_DBGBCR1_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR1);
+    InitReg(MISCREG_DBGBCR2_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR2);
+    InitReg(MISCREG_DBGBCR3_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR3);
+    InitReg(MISCREG_DBGBCR4_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR4);
+    InitReg(MISCREG_DBGBCR5_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGBCR5);
+    InitReg(MISCREG_DBGWVR0_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWVR0);
+    InitReg(MISCREG_DBGWVR1_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWVR1);
+    InitReg(MISCREG_DBGWVR2_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWVR2);
+    InitReg(MISCREG_DBGWVR3_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWVR3);
+    InitReg(MISCREG_DBGWCR0_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWCR0);
+    InitReg(MISCREG_DBGWCR1_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWCR1);
+    InitReg(MISCREG_DBGWCR2_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWCR2);
+    InitReg(MISCREG_DBGWCR3_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGWCR3);
+    InitReg(MISCREG_MDCCSR_EL0)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0)
+      .mapsTo(MISCREG_DBGDSCRint);
+    InitReg(MISCREG_MDDTR_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_MDDTRTX_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_MDDTRRX_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_DBGVCR32_EL2)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGVCR);
+    InitReg(MISCREG_MDRAR_EL1)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0)
+      .mapsTo(MISCREG_DBGDRAR);
+    InitReg(MISCREG_OSLAR_EL1)
+      .allPrivileges().monSecureRead(0).monNonSecureRead(0)
+      .mapsTo(MISCREG_DBGOSLAR);
+    InitReg(MISCREG_OSLSR_EL1)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0)
+      .mapsTo(MISCREG_DBGOSLSR);
+    InitReg(MISCREG_OSDLR_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGOSDLR);
+    InitReg(MISCREG_DBGPRCR_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGPRCR);
+    InitReg(MISCREG_DBGCLAIMSET_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGCLAIMSET);
+    InitReg(MISCREG_DBGCLAIMCLR_EL1)
+      .allPrivileges()
+      .mapsTo(MISCREG_DBGCLAIMCLR);
+    InitReg(MISCREG_DBGAUTHSTATUS_EL1)
+      .allPrivileges().monSecureWrite(0).monNonSecureWrite(0)
+      .mapsTo(MISCREG_DBGAUTHSTATUS);
+    InitReg(MISCREG_TEECR32_EL1);
+    InitReg(MISCREG_TEEHBR32_EL1);
+
+    // AArch64 registers (Op0=1,3);
+    InitReg(MISCREG_MIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_MPIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_REVIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_PFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_PFR0);
+    InitReg(MISCREG_ID_PFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_PFR1);
+    InitReg(MISCREG_ID_DFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_DFR0);
+    InitReg(MISCREG_ID_AFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_AFR0);
+    InitReg(MISCREG_ID_MMFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_MMFR0);
+    InitReg(MISCREG_ID_MMFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_MMFR1);
+    InitReg(MISCREG_ID_MMFR2_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_MMFR2);
+    InitReg(MISCREG_ID_MMFR3_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_MMFR3);
+    InitReg(MISCREG_ID_ISAR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR0);
+    InitReg(MISCREG_ID_ISAR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR1);
+    InitReg(MISCREG_ID_ISAR2_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR2);
+    InitReg(MISCREG_ID_ISAR3_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR3);
+    InitReg(MISCREG_ID_ISAR4_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR4);
+    InitReg(MISCREG_ID_ISAR5_EL1)
+      .allPrivileges().exceptUserMode().writes(0)
+      .mapsTo(MISCREG_ID_ISAR5);
+    InitReg(MISCREG_MVFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_MVFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_MVFR2_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64PFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64PFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64DFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64DFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64AFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64AFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64ISAR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64ISAR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64MMFR0_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64MMFR1_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ID_AA64MMFR2_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CCSIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CLIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_AIDR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CSSELR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_CSSELR_NS);
+    InitReg(MISCREG_CTR_EL0)
+      .reads(1);
+    InitReg(MISCREG_DCZID_EL0)
+      .reads(1);
+    InitReg(MISCREG_VPIDR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_VPIDR);
+    InitReg(MISCREG_VMPIDR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_VMPIDR);
+    InitReg(MISCREG_SCTLR_EL1)
+      .allPrivileges().exceptUserMode()
+      .res0( 0x20440 | (EnDB   ? 0 :     0x2000)
+                     | (IESB   ? 0 :   0x200000)
+                     | (EnDA   ? 0 :  0x8000000)
+                     | (EnIB   ? 0 : 0x40000000)
+                     | (EnIA   ? 0 : 0x80000000))
+      .res1(0x500800 | (SPAN   ? 0 :   0x800000)
+                     | (nTLSMD ? 0 :  0x8000000)
+                     | (LSMAOE ? 0 : 0x10000000))
+      .mapsTo(MISCREG_SCTLR_NS);
+    InitReg(MISCREG_ACTLR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_ACTLR_NS);
+    InitReg(MISCREG_CPACR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_CPACR);
+    InitReg(MISCREG_SCTLR_EL2)
+      .hyp().mon()
+      .res0(0x0512c7c0 | (EnDB   ? 0 :     0x2000)
+                       | (IESB   ? 0 :   0x200000)
+                       | (EnDA   ? 0 :  0x8000000)
+                       | (EnIB   ? 0 : 0x40000000)
+                       | (EnIA   ? 0 : 0x80000000))
+      .res1(0x30c50830)
+      .mapsTo(MISCREG_HSCTLR);
+    InitReg(MISCREG_ACTLR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HACTLR);
+    InitReg(MISCREG_HCR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HCR, MISCREG_HCR2);
+    InitReg(MISCREG_MDCR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HDCR);
+    InitReg(MISCREG_CPTR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HCPTR);
+    InitReg(MISCREG_HSTR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HSTR);
+    InitReg(MISCREG_HACR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HACR);
+    InitReg(MISCREG_SCTLR_EL3)
+      .mon()
+      .res0(0x0512c7c0 | (EnDB   ? 0 :     0x2000)
+                       | (IESB   ? 0 :   0x200000)
+                       | (EnDA   ? 0 :  0x8000000)
+                       | (EnIB   ? 0 : 0x40000000)
+                       | (EnIA   ? 0 : 0x80000000))
+      .res1(0x30c50830);
+    InitReg(MISCREG_ACTLR_EL3)
+      .mon();
+    InitReg(MISCREG_SCR_EL3)
+      .mon()
+      .mapsTo(MISCREG_SCR); // NAM D7-2005
+    InitReg(MISCREG_SDER32_EL3)
+      .mon()
+      .mapsTo(MISCREG_SDER);
+    InitReg(MISCREG_CPTR_EL3)
+      .mon();
+    InitReg(MISCREG_MDCR_EL3)
+      .mon();
+    InitReg(MISCREG_TTBR0_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_TTBR0_NS);
+    InitReg(MISCREG_TTBR1_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_TTBR1_NS);
+    InitReg(MISCREG_TCR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_TTBCR_NS);
+    InitReg(MISCREG_TTBR0_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HTTBR);
+    InitReg(MISCREG_TTBR1_EL2)
+      .hyp().mon();
+    InitReg(MISCREG_TCR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HTCR);
+    InitReg(MISCREG_VTTBR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_VTTBR);
+    InitReg(MISCREG_VTCR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_VTCR);
+    InitReg(MISCREG_TTBR0_EL3)
+      .mon();
+    InitReg(MISCREG_TCR_EL3)
+      .mon();
+    InitReg(MISCREG_DACR32_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_DACR_NS);
+    InitReg(MISCREG_SPSR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_SPSR_SVC); // NAM C5.2.17 SPSR_EL1
+    InitReg(MISCREG_ELR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_SP_EL0)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_SPSEL)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CURRENTEL)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_PAN)
+      .allPrivileges().exceptUserMode()
+      .implemented(havePAN);
+    InitReg(MISCREG_NZCV)
+      .allPrivileges();
+    InitReg(MISCREG_DAIF)
+      .allPrivileges();
+    InitReg(MISCREG_FPCR)
+      .allPrivileges();
+    InitReg(MISCREG_FPSR)
+      .allPrivileges();
+    InitReg(MISCREG_DSPSR_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_DLR_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_SPSR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_SPSR_HYP); // NAM C5.2.18 SPSR_EL2
+    InitReg(MISCREG_ELR_EL2)
+      .hyp().mon();
+    InitReg(MISCREG_SP_EL1)
+      .hyp().mon();
+    InitReg(MISCREG_SPSR_IRQ_AA64)
+      .hyp().mon();
+    InitReg(MISCREG_SPSR_ABT_AA64)
+      .hyp().mon();
+    InitReg(MISCREG_SPSR_UND_AA64)
+      .hyp().mon();
+    InitReg(MISCREG_SPSR_FIQ_AA64)
+      .hyp().mon();
+    InitReg(MISCREG_SPSR_EL3)
+      .mon()
+      .mapsTo(MISCREG_SPSR_MON); // NAM C5.2.19 SPSR_EL3
+    InitReg(MISCREG_ELR_EL3)
+      .mon();
+    InitReg(MISCREG_SP_EL2)
+      .mon();
+    InitReg(MISCREG_AFSR0_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_ADFSR_NS);
+    InitReg(MISCREG_AFSR1_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_AIFSR_NS);
+    InitReg(MISCREG_ESR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IFSR32_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_IFSR_NS);
+    InitReg(MISCREG_AFSR0_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HADFSR);
+    InitReg(MISCREG_AFSR1_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HAIFSR);
+    InitReg(MISCREG_ESR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HSR);
+    InitReg(MISCREG_FPEXC32_EL2)
+      .hyp().mon().mapsTo(MISCREG_FPEXC);
+    InitReg(MISCREG_AFSR0_EL3)
+      .mon();
+    InitReg(MISCREG_AFSR1_EL3)
+      .mon();
+    InitReg(MISCREG_ESR_EL3)
+      .mon();
+    InitReg(MISCREG_FAR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_DFAR_NS, MISCREG_IFAR_NS);
+    InitReg(MISCREG_FAR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HDFAR, MISCREG_HIFAR);
+    InitReg(MISCREG_HPFAR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HPFAR);
+    InitReg(MISCREG_FAR_EL3)
+      .mon();
+    InitReg(MISCREG_IC_IALLUIS)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_PAR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_PAR_NS);
+    InitReg(MISCREG_IC_IALLU)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DC_IVAC_Xt)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DC_ISW_Xt)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_AT_S1E1R_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_AT_S1E1W_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_AT_S1E0R_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_AT_S1E0W_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DC_CSW_Xt)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DC_CISW_Xt)
+      .warnNotFail()
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_DC_ZVA_Xt)
+      .warnNotFail()
+      .writes(1).userSecureWrite(0);
+    InitReg(MISCREG_IC_IVAU_Xt)
+      .writes(1);
+    InitReg(MISCREG_DC_CVAC_Xt)
+      .warnNotFail()
+      .writes(1);
+    InitReg(MISCREG_DC_CVAU_Xt)
+      .warnNotFail()
+      .writes(1);
+    InitReg(MISCREG_DC_CIVAC_Xt)
+      .warnNotFail()
+      .writes(1);
+    InitReg(MISCREG_AT_S1E2R_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_AT_S1E2W_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_AT_S12E1R_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_AT_S12E1W_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_AT_S12E0R_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_AT_S12E0W_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_AT_S1E3R_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_AT_S1E3W_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VMALLE1IS)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAE1IS_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_ASIDE1IS_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAAE1IS_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VALE1IS_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAALE1IS_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VMALLE1)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAE1_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_ASIDE1_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAAE1_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VALE1_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_VAALE1_Xt)
+      .writes(1).exceptUserMode();
+    InitReg(MISCREG_TLBI_IPAS2E1IS_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_IPAS2LE1IS_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_ALLE2IS)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_VAE2IS_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_ALLE1IS)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VALE2IS_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_VMALLS12E1IS)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_IPAS2E1_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_IPAS2LE1_Xt)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_ALLE2)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_VAE2_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_ALLE1)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VALE2_Xt)
+      .monNonSecureWrite().hypWrite();
+    InitReg(MISCREG_TLBI_VMALLS12E1)
+      .hypWrite().monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_ALLE3IS)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VAE3IS_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VALE3IS_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_ALLE3)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VAE3_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_TLBI_VALE3_Xt)
+      .monSecureWrite().monNonSecureWrite();
+    InitReg(MISCREG_PMINTENSET_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_PMINTENSET);
+    InitReg(MISCREG_PMINTENCLR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_PMINTENCLR);
+    InitReg(MISCREG_PMCR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMCR);
+    InitReg(MISCREG_PMCNTENSET_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMCNTENSET);
+    InitReg(MISCREG_PMCNTENCLR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMCNTENCLR);
+    InitReg(MISCREG_PMOVSCLR_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMOVSCLR);
+    InitReg(MISCREG_PMSWINC_EL0)
+      .writes(1).user()
+      .mapsTo(MISCREG_PMSWINC);
+    InitReg(MISCREG_PMSELR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMSELR);
+    InitReg(MISCREG_PMCEID0_EL0)
+      .reads(1).user()
+      .mapsTo(MISCREG_PMCEID0);
+    InitReg(MISCREG_PMCEID1_EL0)
+      .reads(1).user()
+      .mapsTo(MISCREG_PMCEID1);
+    InitReg(MISCREG_PMCCNTR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMCCNTR);
+    InitReg(MISCREG_PMXEVTYPER_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMXEVTYPER);
+    InitReg(MISCREG_PMCCFILTR_EL0)
+      .allPrivileges();
+    InitReg(MISCREG_PMXEVCNTR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMXEVCNTR);
+    InitReg(MISCREG_PMUSERENR_EL0)
+      .allPrivileges().userNonSecureWrite(0).userSecureWrite(0)
+      .mapsTo(MISCREG_PMUSERENR);
+    InitReg(MISCREG_PMOVSSET_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_PMOVSSET);
+    InitReg(MISCREG_MAIR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_PRRR_NS, MISCREG_NMRR_NS);
+    InitReg(MISCREG_AMAIR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_AMAIR0_NS, MISCREG_AMAIR1_NS);
+    InitReg(MISCREG_MAIR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HMAIR0, MISCREG_HMAIR1);
+    InitReg(MISCREG_AMAIR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HAMAIR0, MISCREG_HAMAIR1);
+    InitReg(MISCREG_MAIR_EL3)
+      .mon();
+    InitReg(MISCREG_AMAIR_EL3)
+      .mon();
+    InitReg(MISCREG_L2CTLR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_L2ECTLR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_VBAR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_VBAR_NS);
+    InitReg(MISCREG_RVBAR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ISR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_VBAR_EL2)
+      .hyp().mon()
+      .res0(0x7ff)
+      .mapsTo(MISCREG_HVBAR);
+    InitReg(MISCREG_RVBAR_EL2)
+      .mon().hyp().writes(0);
+    InitReg(MISCREG_VBAR_EL3)
+      .mon();
+    InitReg(MISCREG_RVBAR_EL3)
+      .mon().writes(0);
+    InitReg(MISCREG_RMR_EL3)
+      .mon();
+    InitReg(MISCREG_CONTEXTIDR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_CONTEXTIDR_NS);
+    InitReg(MISCREG_TPIDR_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_TPIDRPRW_NS);
+    InitReg(MISCREG_TPIDR_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_TPIDRURW_NS);
+    InitReg(MISCREG_TPIDRRO_EL0)
+      .allPrivileges().userNonSecureWrite(0).userSecureWrite(0)
+      .mapsTo(MISCREG_TPIDRURO_NS);
+    InitReg(MISCREG_TPIDR_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_HTPIDR);
+    InitReg(MISCREG_TPIDR_EL3)
+      .mon();
+    InitReg(MISCREG_CNTKCTL_EL1)
+      .allPrivileges().exceptUserMode()
+      .mapsTo(MISCREG_CNTKCTL);
+    InitReg(MISCREG_CNTFRQ_EL0)
+      .reads(1).mon()
+      .mapsTo(MISCREG_CNTFRQ);
+    InitReg(MISCREG_CNTPCT_EL0)
+      .reads(1)
+      .mapsTo(MISCREG_CNTPCT); /* 64b */
+    InitReg(MISCREG_CNTVCT_EL0)
+      .unverifiable()
+      .reads(1)
+      .mapsTo(MISCREG_CNTVCT); /* 64b */
+    InitReg(MISCREG_CNTP_TVAL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTP_TVAL_NS);
+    InitReg(MISCREG_CNTP_CTL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTP_CTL_NS);
+    InitReg(MISCREG_CNTP_CVAL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTP_CVAL_NS); /* 64b */
+    InitReg(MISCREG_CNTV_TVAL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTV_TVAL);
+    InitReg(MISCREG_CNTV_CTL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTV_CTL);
+    InitReg(MISCREG_CNTV_CVAL_EL0)
+      .allPrivileges()
+      .mapsTo(MISCREG_CNTV_CVAL); /* 64b */
+    InitReg(MISCREG_PMEVCNTR0_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR0);
+    InitReg(MISCREG_PMEVCNTR1_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR1);
+    InitReg(MISCREG_PMEVCNTR2_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR2);
+    InitReg(MISCREG_PMEVCNTR3_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR3);
+    InitReg(MISCREG_PMEVCNTR4_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR4);
+    InitReg(MISCREG_PMEVCNTR5_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVCNTR5);
+    InitReg(MISCREG_PMEVTYPER0_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER0);
+    InitReg(MISCREG_PMEVTYPER1_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER1);
+    InitReg(MISCREG_PMEVTYPER2_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER2);
+    InitReg(MISCREG_PMEVTYPER3_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER3);
+    InitReg(MISCREG_PMEVTYPER4_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER4);
+    InitReg(MISCREG_PMEVTYPER5_EL0)
+      .allPrivileges();
+//    .mapsTo(MISCREG_PMEVTYPER5);
+    InitReg(MISCREG_CNTVOFF_EL2)
+      .hyp().mon()
+      .mapsTo(MISCREG_CNTVOFF); /* 64b */
+    InitReg(MISCREG_CNTHCTL_EL2)
+      .mon().hyp()
+      .mapsTo(MISCREG_CNTHCTL);
+    InitReg(MISCREG_CNTHP_TVAL_EL2)
+      .mon().hyp()
+      .mapsTo(MISCREG_CNTHP_TVAL);
+    InitReg(MISCREG_CNTHP_CTL_EL2)
+      .mon().hyp()
+      .mapsTo(MISCREG_CNTHP_CTL);
+    InitReg(MISCREG_CNTHP_CVAL_EL2)
+      .mon().hyp()
+      .mapsTo(MISCREG_CNTHP_CVAL); /* 64b */
+    InitReg(MISCREG_CNTPS_TVAL_EL1)
+      .mon().privSecure();
+    InitReg(MISCREG_CNTPS_CTL_EL1)
+      .mon().privSecure();
+    InitReg(MISCREG_CNTPS_CVAL_EL1)
+      .mon().privSecure();
+    InitReg(MISCREG_IL1DATA0_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA1_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA2_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_IL1DATA3_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA0_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA1_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA2_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA3_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_DL1DATA4_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_L2ACTLR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CPUACTLR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CPUECTLR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CPUMERRSR_EL1)
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_L2MERRSR_EL1)
+      .unimplemented()
+      .warnNotFail()
+      .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_CBAR_EL1)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CONTEXTIDR_EL2)
+      .mon().hyp();
+
+    // GICv3 AArch64
+    InitReg(MISCREG_ICC_PMR_EL1)
+        .res0(0xffffff00) // [31:8]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_PMR);
+    InitReg(MISCREG_ICC_IAR0_EL1)
+        .allPrivileges().exceptUserMode().writes(0)
+        .mapsTo(MISCREG_ICC_IAR0);
+    InitReg(MISCREG_ICC_EOIR0_EL1)
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_EOIR0);
+    InitReg(MISCREG_ICC_HPPIR0_EL1)
+        .allPrivileges().exceptUserMode().writes(0)
+        .mapsTo(MISCREG_ICC_HPPIR0);
+    InitReg(MISCREG_ICC_BPR0_EL1)
+        .res0(0xfffffff8) // [31:3]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_BPR0);
+    InitReg(MISCREG_ICC_AP0R0_EL1)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP0R0);
+    InitReg(MISCREG_ICC_AP0R1_EL1)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP0R1);
+    InitReg(MISCREG_ICC_AP0R2_EL1)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP0R2);
+    InitReg(MISCREG_ICC_AP0R3_EL1)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP0R3);
+    InitReg(MISCREG_ICC_AP1R0_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_AP1R0);
+    InitReg(MISCREG_ICC_AP1R0_EL1_NS)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R0_NS);
+    InitReg(MISCREG_ICC_AP1R0_EL1_S)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R0_S);
+    InitReg(MISCREG_ICC_AP1R1_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_AP1R1);
+    InitReg(MISCREG_ICC_AP1R1_EL1_NS)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R1_NS);
+    InitReg(MISCREG_ICC_AP1R1_EL1_S)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R1_S);
+    InitReg(MISCREG_ICC_AP1R2_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_AP1R2);
+    InitReg(MISCREG_ICC_AP1R2_EL1_NS)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R2_NS);
+    InitReg(MISCREG_ICC_AP1R2_EL1_S)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R2_S);
+    InitReg(MISCREG_ICC_AP1R3_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_AP1R3);
+    InitReg(MISCREG_ICC_AP1R3_EL1_NS)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R3_NS);
+    InitReg(MISCREG_ICC_AP1R3_EL1_S)
+        .bankedChild()
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_AP1R3_S);
+    InitReg(MISCREG_ICC_DIR_EL1)
+        .res0(0xFF000000) // [31:24]
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_DIR);
+    InitReg(MISCREG_ICC_RPR_EL1)
+        .allPrivileges().exceptUserMode().writes(0)
+        .mapsTo(MISCREG_ICC_RPR);
+    InitReg(MISCREG_ICC_SGI1R_EL1)
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_SGI1R);
+    InitReg(MISCREG_ICC_ASGI1R_EL1)
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_ASGI1R);
+    InitReg(MISCREG_ICC_SGI0R_EL1)
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_SGI0R);
+    InitReg(MISCREG_ICC_IAR1_EL1)
+        .allPrivileges().exceptUserMode().writes(0)
+        .mapsTo(MISCREG_ICC_IAR1);
+    InitReg(MISCREG_ICC_EOIR1_EL1)
+        .res0(0xFF000000) // [31:24]
+        .allPrivileges().exceptUserMode().reads(0)
+        .mapsTo(MISCREG_ICC_EOIR1);
+    InitReg(MISCREG_ICC_HPPIR1_EL1)
+        .allPrivileges().exceptUserMode().writes(0)
+        .mapsTo(MISCREG_ICC_HPPIR1);
+    InitReg(MISCREG_ICC_BPR1_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_BPR1);
+    InitReg(MISCREG_ICC_BPR1_EL1_NS)
+        .bankedChild()
+        .res0(0xfffffff8) // [31:3]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_BPR1_NS);
+    InitReg(MISCREG_ICC_BPR1_EL1_S)
+        .bankedChild()
+        .res0(0xfffffff8) // [31:3]
+        .secure().exceptUserMode()
+        .mapsTo(MISCREG_ICC_BPR1_S);
+    InitReg(MISCREG_ICC_CTLR_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_CTLR);
+    InitReg(MISCREG_ICC_CTLR_EL1_NS)
+        .bankedChild()
+        .res0(0xFFFB00BC) // [31:19, 17:16, 7, 5:2]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_CTLR_NS);
+    InitReg(MISCREG_ICC_CTLR_EL1_S)
+        .bankedChild()
+        .res0(0xFFFB00BC) // [31:19, 17:16, 7, 5:2]
+        .secure().exceptUserMode()
+        .mapsTo(MISCREG_ICC_CTLR_S);
+    InitReg(MISCREG_ICC_SRE_EL1)
+        .banked()
+        .mapsTo(MISCREG_ICC_SRE);
+    InitReg(MISCREG_ICC_SRE_EL1_NS)
+        .bankedChild()
+        .res0(0xFFFFFFF8) // [31:3]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_SRE_NS);
+    InitReg(MISCREG_ICC_SRE_EL1_S)
+        .bankedChild()
+        .res0(0xFFFFFFF8) // [31:3]
+        .secure().exceptUserMode()
+        .mapsTo(MISCREG_ICC_SRE_S);
+    InitReg(MISCREG_ICC_IGRPEN0_EL1)
+        .res0(0xFFFFFFFE) // [31:1]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_IGRPEN0);
+    InitReg(MISCREG_ICC_IGRPEN1_EL1)
+        .banked64()
+        .mapsTo(MISCREG_ICC_IGRPEN1);
+    InitReg(MISCREG_ICC_IGRPEN1_EL1_NS)
+        .bankedChild()
+        .res0(0xFFFFFFFE) // [31:1]
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_IGRPEN1_NS);
+    InitReg(MISCREG_ICC_IGRPEN1_EL1_S)
+        .bankedChild()
+        .res0(0xFFFFFFFE) // [31:1]
+        .secure().exceptUserMode()
+        .mapsTo(MISCREG_ICC_IGRPEN1_S);
+    InitReg(MISCREG_ICC_SRE_EL2)
+        .hyp().mon()
+        .mapsTo(MISCREG_ICC_HSRE);
+    InitReg(MISCREG_ICC_CTLR_EL3)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_MCTLR);
+    InitReg(MISCREG_ICC_SRE_EL3)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_MSRE);
+    InitReg(MISCREG_ICC_IGRPEN1_EL3)
+        .allPrivileges().exceptUserMode()
+        .mapsTo(MISCREG_ICC_MGRPEN1);
+
+    InitReg(MISCREG_ICH_AP0R0_EL2)
+        .hyp().mon()
+        .mapsTo(MISCREG_ICH_AP0R0);
+    InitReg(MISCREG_ICH_AP0R1_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP0R1);
+    InitReg(MISCREG_ICH_AP0R2_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP0R2);
+    InitReg(MISCREG_ICH_AP0R3_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP0R3);
+    InitReg(MISCREG_ICH_AP1R0_EL2)
+        .hyp().mon()
+        .mapsTo(MISCREG_ICH_AP1R0);
+    InitReg(MISCREG_ICH_AP1R1_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP1R1);
+    InitReg(MISCREG_ICH_AP1R2_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP1R2);
+    InitReg(MISCREG_ICH_AP1R3_EL2)
+        .hyp().mon()
+        .unimplemented()
+        .mapsTo(MISCREG_ICH_AP1R3);
+    InitReg(MISCREG_ICH_HCR_EL2)
+        .hyp().mon()
+        .mapsTo(MISCREG_ICH_HCR);
+    InitReg(MISCREG_ICH_VTR_EL2)
+        .hyp().mon().writes(0)
+        .mapsTo(MISCREG_ICH_VTR);
+    InitReg(MISCREG_ICH_MISR_EL2)
+        .hyp().mon().writes(0)
+        .mapsTo(MISCREG_ICH_MISR);
+    InitReg(MISCREG_ICH_EISR_EL2)
+        .hyp().mon().writes(0)
+        .mapsTo(MISCREG_ICH_EISR);
+    InitReg(MISCREG_ICH_ELRSR_EL2)
+        .hyp().mon().writes(0)
+        .mapsTo(MISCREG_ICH_ELRSR);
+    InitReg(MISCREG_ICH_VMCR_EL2)
+        .hyp().mon()
+        .mapsTo(MISCREG_ICH_VMCR);
+    InitReg(MISCREG_ICH_LR0_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR1_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR2_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR3_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR4_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR5_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR6_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR7_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR8_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR9_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR10_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR11_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR12_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR13_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR14_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICH_LR15_EL2)
+        .hyp().mon()
+        .allPrivileges().exceptUserMode();
+
+    // GICv3 AArch32
+    InitReg(MISCREG_ICC_AP0R0)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP0R1)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP0R2)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP0R3)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R0)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R0_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R0_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R1)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R1_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R1_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R2)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R2_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R2_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R3)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R3_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_AP1R3_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_ASGI1R)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_BPR0)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_BPR1)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_BPR1_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_BPR1_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_CTLR)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_CTLR_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_CTLR_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_DIR)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_EOIR0)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_EOIR1)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_HPPIR0)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ICC_HPPIR1)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ICC_HSRE)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_IAR0)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ICC_IAR1)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ICC_IGRPEN0)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_IGRPEN1)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_IGRPEN1_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_IGRPEN1_S)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_MCTLR)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_MGRPEN1)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_MSRE)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_PMR)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_RPR)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ICC_SGI0R)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_SGI1R)
+        .allPrivileges().exceptUserMode().reads(0);
+    InitReg(MISCREG_ICC_SRE)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_SRE_NS)
+        .allPrivileges().exceptUserMode();
+    InitReg(MISCREG_ICC_SRE_S)
+        .allPrivileges().exceptUserMode();
+
+    InitReg(MISCREG_ICH_AP0R0)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP0R1)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP0R2)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP0R3)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP1R0)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP1R1)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP1R2)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_AP1R3)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_HCR)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_VTR)
+        .hyp().mon().writes(0);
+    InitReg(MISCREG_ICH_MISR)
+        .hyp().mon().writes(0);
+    InitReg(MISCREG_ICH_EISR)
+        .hyp().mon().writes(0);
+    InitReg(MISCREG_ICH_ELRSR)
+        .hyp().mon().writes(0);
+    InitReg(MISCREG_ICH_VMCR)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR0)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR1)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR2)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR3)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR4)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR5)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR6)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR7)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR8)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR9)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR10)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR11)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR12)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR13)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR14)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LR15)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC0)
+        .mapsTo(MISCREG_ICH_LR0)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC1)
+        .mapsTo(MISCREG_ICH_LR1)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC2)
+        .mapsTo(MISCREG_ICH_LR2)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC3)
+        .mapsTo(MISCREG_ICH_LR3)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC4)
+        .mapsTo(MISCREG_ICH_LR4)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC5)
+        .mapsTo(MISCREG_ICH_LR5)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC6)
+        .mapsTo(MISCREG_ICH_LR6)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC7)
+        .mapsTo(MISCREG_ICH_LR7)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC8)
+        .mapsTo(MISCREG_ICH_LR8)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC9)
+        .mapsTo(MISCREG_ICH_LR9)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC10)
+        .mapsTo(MISCREG_ICH_LR10)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC11)
+        .mapsTo(MISCREG_ICH_LR11)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC12)
+        .mapsTo(MISCREG_ICH_LR12)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC13)
+        .mapsTo(MISCREG_ICH_LR13)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC14)
+        .mapsTo(MISCREG_ICH_LR14)
+        .hyp().mon();
+    InitReg(MISCREG_ICH_LRC15)
+        .mapsTo(MISCREG_ICH_LR15)
+        .hyp().mon();
+
+    InitReg(MISCREG_CNTHV_CTL_EL2)
+      .mon().hyp();
+    InitReg(MISCREG_CNTHV_CVAL_EL2)
+      .mon().hyp();
+    InitReg(MISCREG_CNTHV_TVAL_EL2)
+      .mon().hyp();
+
+    // SVE
+    InitReg(MISCREG_ID_AA64ZFR0_EL1)
+        .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_ZCR_EL3)
+        .mon();
+    InitReg(MISCREG_ZCR_EL2)
+        .hyp().mon();
+    InitReg(MISCREG_ZCR_EL12)
+        .unimplemented().warnNotFail();
+    InitReg(MISCREG_ZCR_EL1)
+        .allPrivileges().exceptUserMode();
+
+    // Dummy registers
+    InitReg(MISCREG_NOP)
+      .allPrivileges();
+    InitReg(MISCREG_RAZ)
+      .allPrivileges().exceptUserMode().writes(0);
+    InitReg(MISCREG_CP14_UNIMPL)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_CP15_UNIMPL)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_UNKNOWN);
+    InitReg(MISCREG_IMPDEF_UNIMPL)
+      .unimplemented()
+      .warnNotFail(impdefAsNop);
+
+    // RAS extension (unimplemented)
+    InitReg(MISCREG_ERRIDR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERRSELR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXFR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXCTLR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXSTATUS_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXADDR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXMISC0_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_ERXMISC1_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_DISR_EL1)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_VSESR_EL2)
+      .unimplemented()
+      .warnNotFail();
+    InitReg(MISCREG_VDISR_EL2)
+      .unimplemented()
+      .warnNotFail();
+
+    // Register mappings for some unimplemented registers:
+    // ESR_EL1 -> DFSR
+    // RMR_EL1 -> RMR
+    // RMR_EL2 -> HRMR
+    // DBGDTR_EL0 -> DBGDTR{R or T}Xint
+    // DBGDTRRX_EL0 -> DBGDTRRXint
+    // DBGDTRTX_EL0 -> DBGDTRRXint
+    // MDCR_EL3 -> SDCR, NAM D7-2108 (the latter is unimpl. in gem5)
+
+    completed = true;
+}
+
 } // namespace ArmISA