AArch64GenSystemOperands.inc

/* Capstone Disassembly Engine, http://www.capstone-engine.org */
/* By Nguyen Anh Quynh <[email protected]>, 2013-2019 */

static const AT ATsList[] = {
  { "s12e0r",  0x23C6 }, // 0
  { "s12e0w",  0x23C7 }, // 1
  { "s12e1r",  0x23C4 }, // 2
  { "s12e1w",  0x23C5 }, // 3
  { "s1e0r",  0x3C2 }, // 4
  { "s1e0w",  0x3C3 }, // 5
  { "s1e1r",  0x3C0 }, // 6
  { "s1e1rp",  0x3C8 }, // 7
  { "s1e1w",  0x3C1 }, // 8
  { "s1e1wp",  0x3C9 }, // 9
  { "s1e2r",  0x23C0 }, // 10
  { "s1e2w",  0x23C1 }, // 11
  { "s1e3r",  0x33C0 }, // 12
  { "s1e3w",  0x33C1 }, // 13
};

const AT *lookupATByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x3C0, 6 },
    { 0x3C1, 8 },
    { 0x3C2, 4 },
    { 0x3C3, 5 },
    { 0x3C8, 7 },
    { 0x3C9, 9 },
    { 0x23C0, 10 },
    { 0x23C1, 11 },
    { 0x23C4, 2 },
    { 0x23C5, 3 },
    { 0x23C6, 0 },
    { 0x23C7, 1 },
    { 0x33C0, 12 },
    { 0x33C1, 13 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &ATsList[Index[i].index];
}

static const DB DBsList[] = {
  { "ish", 0xB }, // 0
  { "ishld", 0x9 }, // 1
  { "ishst", 0xA }, // 2
  { "ld", 0xD }, // 3
  { "nsh", 0x7 }, // 4
  { "nshld", 0x5 }, // 5
  { "nshst", 0x6 }, // 6
  { "osh", 0x3 }, // 7
  { "oshld", 0x1 }, // 8
  { "oshst", 0x2 }, // 9
  { "st", 0xE }, // 10
  { "sy", 0xF }, // 11
};

const DB *lookupDBByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x1, 8 },
    { 0x2, 9 },
    { 0x3, 7 },
    { 0x5, 5 },
    { 0x6, 6 },
    { 0x7, 4 },
    { 0x9, 1 },
    { 0xA, 2 },
    { 0xB, 0 },
    { 0xD, 3 },
    { 0xE, 10 },
    { 0xF, 11 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &DBsList[Index[i].index];
}

static const DC DCsList[] = {
  { "cgdsw",  0x3D6 }, // 0
  { "cgdvac",  0x1BD5 }, // 1
  { "cgdvadp",  0x1BED }, // 2
  { "cgdvap",  0x1BE5 }, // 3
  { "cgsw",  0x3D4 }, // 4
  { "cgvac",  0x1BD3 }, // 5
  { "cgvadp",  0x1BEB }, // 6
  { "cgvap",  0x1BE3 }, // 7
  { "cigdsw",  0x3F6 }, // 8
  { "cigdvac",  0x1BF5 }, // 9
  { "cigsw",  0x3F4 }, // 10
  { "cigvac",  0x1BF3 }, // 11
  { "cisw",  0x3F2 }, // 12
  { "civac",  0x1BF1 }, // 13
  { "csw",  0x3D2 }, // 14
  { "cvac",  0x1BD1 }, // 15
  { "cvadp",  0x1BE9 }, // 16
  { "cvap",  0x1BE1 }, // 17
  { "cvau",  0x1BD9 }, // 18
  { "gva",  0x1BA3 }, // 19
  { "gzva",  0x1BA4 }, // 20
  { "igdsw",  0x3B6 }, // 21
  { "igdvac",  0x3B5 }, // 22
  { "igsw",  0x3B4 }, // 23
  { "igvac",  0x3B3 }, // 24
  { "isw",  0x3B2 }, // 25
  { "ivac",  0x3B1 }, // 26
  { "zva",  0x1BA1 }, // 27
};

const DC *lookupDCByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x3B1, 26 },
    { 0x3B2, 25 },
    { 0x3B3, 24 },
    { 0x3B4, 23 },
    { 0x3B5, 22 },
    { 0x3B6, 21 },
    { 0x3D2, 14 },
    { 0x3D4, 4 },
    { 0x3D6, 0 },
    { 0x3F2, 12 },
    { 0x3F4, 10 },
    { 0x3F6, 8 },
    { 0x1BA1, 27 },
    { 0x1BA3, 19 },
    { 0x1BA4, 20 },
    { 0x1BD1, 15 },
    { 0x1BD3, 5 },
    { 0x1BD5, 1 },
    { 0x1BD9, 18 },
    { 0x1BE1, 17 },
    { 0x1BE3, 7 },
    { 0x1BE5, 3 },
    { 0x1BE9, 16 },
    { 0x1BEB, 6 },
    { 0x1BED, 2 },
    { 0x1BF1, 13 },
    { 0x1BF3, 11 },
    { 0x1BF5, 9 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &DCsList[Index[i].index];
}

static const IC ICsList[] = {
  { "iallu", 0x3a8, false }, // 0
  { "ialluis", 0x388, false }, // 1
  { "ivau", 0x1ba9, true }, // 2
};

const IC *lookupICByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x388, 1 },
    { 0x3A8, 0 },
    { 0x1BA9, 2 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &ICsList[Index[i].index];
}

static const TLBI TLBIsList[] = {
  { "alle1",  0x243C,  false }, // 0
  { "alle1is",  0x241C,  false }, // 1
  { "alle1isnxs",  0x249C,  false }, // 2
  { "alle1nxs",  0x24BC,  false }, // 3
  { "alle1os",  0x240C,  false }, // 4
  { "alle1osnxs",  0x248C,  false }, // 5
  { "alle2",  0x2438,  false }, // 6
  { "alle2is",  0x2418,  false }, // 7
  { "alle2isnxs",  0x2498,  false }, // 8
  { "alle2nxs",  0x24B8,  false }, // 9
  { "alle2os",  0x2408,  false }, // 10
  { "alle2osnxs",  0x2488,  false }, // 11
  { "alle3",  0x3438,  false }, // 12
  { "alle3is",  0x3418,  false }, // 13
  { "alle3isnxs",  0x3498,  false }, // 14
  { "alle3nxs",  0x34B8,  false }, // 15
  { "alle3os",  0x3408,  false }, // 16
  { "alle3osnxs",  0x3488,  false }, // 17
  { "aside1",  0x43A,  true }, // 18
  { "aside1is",  0x41A,  true }, // 19
  { "aside1isnxs",  0x49A,  true }, // 20
  { "aside1nxs",  0x4BA,  true }, // 21
  { "aside1os",  0x40A,  true }, // 22
  { "aside1osnxs",  0x48A,  true }, // 23
  { "ipas2e1",  0x2421,  true }, // 24
  { "ipas2e1is",  0x2401,  true }, // 25
  { "ipas2e1isnxs",  0x2481,  true }, // 26
  { "ipas2e1nxs",  0x24A1,  true }, // 27
  { "ipas2e1os",  0x2420,  true }, // 28
  { "ipas2e1osnxs",  0x24A0,  true }, // 29
  { "ipas2le1",  0x2425,  true }, // 30
  { "ipas2le1is",  0x2405,  true }, // 31
  { "ipas2le1isnxs",  0x2485,  true }, // 32
  { "ipas2le1nxs",  0x24A5,  true }, // 33
  { "ipas2le1os",  0x2424,  true }, // 34
  { "ipas2le1osnxs",  0x24A4,  true }, // 35
  { "paall",  0x343C,  false }, // 36
  { "paallnxs",  0x34BC,  false }, // 37
  { "paallos",  0x340C,  false }, // 38
  { "paallosnxs",  0x348C,  false }, // 39
  { "ripas2e1",  0x2422,  true }, // 40
  { "ripas2e1is",  0x2402,  true }, // 41
  { "ripas2e1isnxs",  0x2482,  true }, // 42
  { "ripas2e1nxs",  0x24A2,  true }, // 43
  { "ripas2e1os",  0x2423,  true }, // 44
  { "ripas2e1osnxs",  0x24A3,  true }, // 45
  { "ripas2le1",  0x2426,  true }, // 46
  { "ripas2le1is",  0x2406,  true }, // 47
  { "ripas2le1isnxs",  0x2486,  true }, // 48
  { "ripas2le1nxs",  0x24A6,  true }, // 49
  { "ripas2le1os",  0x2427,  true }, // 50
  { "ripas2le1osnxs",  0x24A7,  true }, // 51
  { "rpalos",  0x3427,  true }, // 52
  { "rpalosnxs",  0x34A7,  true }, // 53
  { "rpaos",  0x3423,  true }, // 54
  { "rpaosnxs",  0x34A3,  true }, // 55
  { "rvaae1",  0x433,  true }, // 56
  { "rvaae1is",  0x413,  true }, // 57
  { "rvaae1isnxs",  0x493,  true }, // 58
  { "rvaae1nxs",  0x4B3,  true }, // 59
  { "rvaae1os",  0x42B,  true }, // 60
  { "rvaae1osnxs",  0x4AB,  true }, // 61
  { "rvaale1",  0x437,  true }, // 62
  { "rvaale1is",  0x417,  true }, // 63
  { "rvaale1isnxs",  0x497,  true }, // 64
  { "rvaale1nxs",  0x4B7,  true }, // 65
  { "rvaale1os",  0x42F,  true }, // 66
  { "rvaale1osnxs",  0x4AF,  true }, // 67
  { "rvae1",  0x431,  true }, // 68
  { "rvae1is",  0x411,  true }, // 69
  { "rvae1isnxs",  0x491,  true }, // 70
  { "rvae1nxs",  0x4B1,  true }, // 71
  { "rvae1os",  0x429,  true }, // 72
  { "rvae1osnxs",  0x4A9,  true }, // 73
  { "rvae2",  0x2431,  true }, // 74
  { "rvae2is",  0x2411,  true }, // 75
  { "rvae2isnxs",  0x2491,  true }, // 76
  { "rvae2nxs",  0x24B1,  true }, // 77
  { "rvae2os",  0x2429,  true }, // 78
  { "rvae2osnxs",  0x24A9,  true }, // 79
  { "rvae3",  0x3431,  true }, // 80
  { "rvae3is",  0x3411,  true }, // 81
  { "rvae3isnxs",  0x3491,  true }, // 82
  { "rvae3nxs",  0x34B1,  true }, // 83
  { "rvae3os",  0x3429,  true }, // 84
  { "rvae3osnxs",  0x34A9,  true }, // 85
  { "rvale1",  0x435,  true }, // 86
  { "rvale1is",  0x415,  true }, // 87
  { "rvale1isnxs",  0x495,  true }, // 88
  { "rvale1nxs",  0x4B5,  true }, // 89
  { "rvale1os",  0x42D,  true }, // 90
  { "rvale1osnxs",  0x4AD,  true }, // 91
  { "rvale2",  0x2435,  true }, // 92
  { "rvale2is",  0x2415,  true }, // 93
  { "rvale2isnxs",  0x2495,  true }, // 94
  { "rvale2nxs",  0x24B5,  true }, // 95
  { "rvale2os",  0x242D,  true }, // 96
  { "rvale2osnxs",  0x24AD,  true }, // 97
  { "rvale3",  0x3435,  true }, // 98
  { "rvale3is",  0x3415,  true }, // 99
  { "rvale3isnxs",  0x3495,  true }, // 100
  { "rvale3nxs",  0x34B5,  true }, // 101
  { "rvale3os",  0x342D,  true }, // 102
  { "rvale3osnxs",  0x34AD,  true }, // 103
  { "vaae1",  0x43B,  true }, // 104
  { "vaae1is",  0x41B,  true }, // 105
  { "vaae1isnxs",  0x49B,  true }, // 106
  { "vaae1nxs",  0x4BB,  true }, // 107
  { "vaae1os",  0x40B,  true }, // 108
  { "vaae1osnxs",  0x48B,  true }, // 109
  { "vaale1",  0x43F,  true }, // 110
  { "vaale1is",  0x41F,  true }, // 111
  { "vaale1isnxs",  0x49F,  true }, // 112
  { "vaale1nxs",  0x4BF,  true }, // 113
  { "vaale1os",  0x40F,  true }, // 114
  { "vaale1osnxs",  0x48F,  true }, // 115
  { "vae1",  0x439,  true }, // 116
  { "vae1is",  0x419,  true }, // 117
  { "vae1isnxs",  0x499,  true }, // 118
  { "vae1nxs",  0x4B9,  true }, // 119
  { "vae1os",  0x409,  true }, // 120
  { "vae1osnxs",  0x489,  true }, // 121
  { "vae2",  0x2439,  true }, // 122
  { "vae2is",  0x2419,  true }, // 123
  { "vae2isnxs",  0x2499,  true }, // 124
  { "vae2nxs",  0x24B9,  true }, // 125
  { "vae2os",  0x2409,  true }, // 126
  { "vae2osnxs",  0x2489,  true }, // 127
  { "vae3",  0x3439,  true }, // 128
  { "vae3is",  0x3419,  true }, // 129
  { "vae3isnxs",  0x3499,  true }, // 130
  { "vae3nxs",  0x34B9,  true }, // 131
  { "vae3os",  0x3409,  true }, // 132
  { "vae3osnxs",  0x3489,  true }, // 133
  { "vale1",  0x43D,  true }, // 134
  { "vale1is",  0x41D,  true }, // 135
  { "vale1isnxs",  0x49D,  true }, // 136
  { "vale1nxs",  0x4BD,  true }, // 137
  { "vale1os",  0x40D,  true }, // 138
  { "vale1osnxs",  0x48D,  true }, // 139
  { "vale2",  0x243D,  true }, // 140
  { "vale2is",  0x241D,  true }, // 141
  { "vale2isnxs",  0x249D,  true }, // 142
  { "vale2nxs",  0x24BD,  true }, // 143
  { "vale2os",  0x240D,  true }, // 144
  { "vale2osnxs",  0x248D,  true }, // 145
  { "vale3",  0x343D,  true }, // 146
  { "vale3is",  0x341D,  true }, // 147
  { "vale3isnxs",  0x349D,  true }, // 148
  { "vale3nxs",  0x34BD,  true }, // 149
  { "vale3os",  0x340D,  true }, // 150
  { "vale3osnxs",  0x348D,  true }, // 151
  { "vmalle1",  0x438,  false }, // 152
  { "vmalle1is",  0x418,  false }, // 153
  { "vmalle1isnxs",  0x498,  false }, // 154
  { "vmalle1nxs",  0x4B8,  false }, // 155
  { "vmalle1os",  0x408,  false }, // 156
  { "vmalle1osnxs",  0x488,  false }, // 157
  { "vmalls12e1",  0x243E,  false }, // 158
  { "vmalls12e1is",  0x241E,  false }, // 159
  { "vmalls12e1isnxs",  0x249E,  false }, // 160
  { "vmalls12e1nxs",  0x24BE,  false }, // 161
  { "vmalls12e1os",  0x240E,  false }, // 162
  { "vmalls12e1osnxs",  0x248E,  false }, // 163
};

const TLBI *lookupTLBIByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x408, 156 },
    { 0x409, 120 },
    { 0x40A, 22 },
    { 0x40B, 108 },
    { 0x40D, 138 },
    { 0x40F, 114 },
    { 0x411, 69 },
    { 0x413, 57 },
    { 0x415, 87 },
    { 0x417, 63 },
    { 0x418, 153 },
    { 0x419, 117 },
    { 0x41A, 19 },
    { 0x41B, 105 },
    { 0x41D, 135 },
    { 0x41F, 111 },
    { 0x429, 72 },
    { 0x42B, 60 },
    { 0x42D, 90 },
    { 0x42F, 66 },
    { 0x431, 68 },
    { 0x433, 56 },
    { 0x435, 86 },
    { 0x437, 62 },
    { 0x438, 152 },
    { 0x439, 116 },
    { 0x43A, 18 },
    { 0x43B, 104 },
    { 0x43D, 134 },
    { 0x43F, 110 },
    { 0x488, 157 },
    { 0x489, 121 },
    { 0x48A, 23 },
    { 0x48B, 109 },
    { 0x48D, 139 },
    { 0x48F, 115 },
    { 0x491, 70 },
    { 0x493, 58 },
    { 0x495, 88 },
    { 0x497, 64 },
    { 0x498, 154 },
    { 0x499, 118 },
    { 0x49A, 20 },
    { 0x49B, 106 },
    { 0x49D, 136 },
    { 0x49F, 112 },
    { 0x4A9, 73 },
    { 0x4AB, 61 },
    { 0x4AD, 91 },
    { 0x4AF, 67 },
    { 0x4B1, 71 },
    { 0x4B3, 59 },
    { 0x4B5, 89 },
    { 0x4B7, 65 },
    { 0x4B8, 155 },
    { 0x4B9, 119 },
    { 0x4BA, 21 },
    { 0x4BB, 107 },
    { 0x4BD, 137 },
    { 0x4BF, 113 },
    { 0x2401, 25 },
    { 0x2402, 41 },
    { 0x2405, 31 },
    { 0x2406, 47 },
    { 0x2408, 10 },
    { 0x2409, 126 },
    { 0x240C, 4 },
    { 0x240D, 144 },
    { 0x240E, 162 },
    { 0x2411, 75 },
    { 0x2415, 93 },
    { 0x2418, 7 },
    { 0x2419, 123 },
    { 0x241C, 1 },
    { 0x241D, 141 },
    { 0x241E, 159 },
    { 0x2420, 28 },
    { 0x2421, 24 },
    { 0x2422, 40 },
    { 0x2423, 44 },
    { 0x2424, 34 },
    { 0x2425, 30 },
    { 0x2426, 46 },
    { 0x2427, 50 },
    { 0x2429, 78 },
    { 0x242D, 96 },
    { 0x2431, 74 },
    { 0x2435, 92 },
    { 0x2438, 6 },
    { 0x2439, 122 },
    { 0x243C, 0 },
    { 0x243D, 140 },
    { 0x243E, 158 },
    { 0x2481, 26 },
    { 0x2482, 42 },
    { 0x2485, 32 },
    { 0x2486, 48 },
    { 0x2488, 11 },
    { 0x2489, 127 },
    { 0x248C, 5 },
    { 0x248D, 145 },
    { 0x248E, 163 },
    { 0x2491, 76 },
    { 0x2495, 94 },
    { 0x2498, 8 },
    { 0x2499, 124 },
    { 0x249C, 2 },
    { 0x249D, 142 },
    { 0x249E, 160 },
    { 0x24A0, 29 },
    { 0x24A1, 27 },
    { 0x24A2, 43 },
    { 0x24A3, 45 },
    { 0x24A4, 35 },
    { 0x24A5, 33 },
    { 0x24A6, 49 },
    { 0x24A7, 51 },
    { 0x24A9, 79 },
    { 0x24AD, 97 },
    { 0x24B1, 77 },
    { 0x24B5, 95 },
    { 0x24B8, 9 },
    { 0x24B9, 125 },
    { 0x24BC, 3 },
    { 0x24BD, 143 },
    { 0x24BE, 161 },
    { 0x3408, 16 },
    { 0x3409, 132 },
    { 0x340C, 38 },
    { 0x340D, 150 },
    { 0x3411, 81 },
    { 0x3415, 99 },
    { 0x3418, 13 },
    { 0x3419, 129 },
    { 0x341D, 147 },
    { 0x3423, 54 },
    { 0x3427, 52 },
    { 0x3429, 84 },
    { 0x342D, 102 },
    { 0x3431, 80 },
    { 0x3435, 98 },
    { 0x3438, 12 },
    { 0x3439, 128 },
    { 0x343C, 36 },
    { 0x343D, 146 },
    { 0x3488, 17 },
    { 0x3489, 133 },
    { 0x348C, 39 },
    { 0x348D, 151 },
    { 0x3491, 82 },
    { 0x3495, 100 },
    { 0x3498, 14 },
    { 0x3499, 130 },
    { 0x349D, 148 },
    { 0x34A3, 55 },
    { 0x34A7, 53 },
    { 0x34A9, 85 },
    { 0x34AD, 103 },
    { 0x34B1, 83 },
    { 0x34B5, 101 },
    { 0x34B8, 15 },
    { 0x34B9, 131 },
    { 0x34BC, 37 },
    { 0x34BD, 149 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &TLBIsList[Index[i].index];
}

static const SVEPRFM SVEPRFMsList[] = {
  { "pldl1keep",  0x0 }, // 0
  { "pldl1strm",  0x1 }, // 1
  { "pldl2keep",  0x2 }, // 2
  { "pldl2strm",  0x3 }, // 3
  { "pldl3keep",  0x4 }, // 4
  { "pldl3strm",  0x5 }, // 5
  { "pstl1keep",  0x8 }, // 6
  { "pstl1strm",  0x9 }, // 7
  { "pstl2keep",  0xA }, // 8
  { "pstl2strm",  0xB }, // 9
  { "pstl3keep",  0xC }, // 10
  { "pstl3strm",  0xD }, // 11
};

const SVEPRFM *lookupSVEPRFMByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x0, 0 },
    { 0x1, 1 },
    { 0x2, 2 },
    { 0x3, 3 },
    { 0x4, 4 },
    { 0x5, 5 },
    { 0x8, 6 },
    { 0x9, 7 },
    { 0xA, 8 },
    { 0xB, 9 },
    { 0xC, 10 },
    { 0xD, 11 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &SVEPRFMsList[Index[i].index];
}

static const PRFM PRFMsList[] = {
  { "pldl1keep", 0x0 }, // 0
  { "pldl1strm", 0x1 }, // 1
  { "pldl2keep", 0x2 }, // 2
  { "pldl2strm", 0x3 }, // 3
  { "pldl3keep", 0x4 }, // 4
  { "pldl3strm", 0x5 }, // 5
  { "plil1keep", 0x8 }, // 6
  { "plil1strm", 0x9 }, // 7
  { "plil2keep", 0xa }, // 8
  { "plil2strm", 0xb }, // 9
  { "plil3keep", 0xc }, // 10
  { "plil3strm", 0xd }, // 11
  { "pstl1keep", 0x10 }, // 12
  { "pstl1strm", 0x11 }, // 13
  { "pstl2keep", 0x12 }, // 14
  { "pstl2strm", 0x13 }, // 15
  { "pstl3keep", 0x14 }, // 16
  { "pstl3strm", 0x15 }, // 17
};

const PRFM *lookupPRFMByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x0, 0 },
    { 0x1, 1 },
    { 0x2, 2 },
    { 0x3, 3 },
    { 0x4, 4 },
    { 0x5, 5 },
    { 0x8, 6 },
    { 0x9, 7 },
    { 0xA, 8 },
    { 0xB, 9 },
    { 0xC, 10 },
    { 0xD, 11 },
    { 0x10, 12 },
    { 0x11, 13 },
    { 0x12, 14 },
    { 0x13, 15 },
    { 0x14, 16 },
    { 0x15, 17 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &PRFMsList[Index[i].index];
}

static const PSB PSBsList[] = {
  { "csync", 0x11 }, // 0
};

const PSB *lookupPSBByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x11, 0 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &PSBsList[Index[i].index];
}

static const ISB ISBsList[] = {
  { "sy", 0xf }, // 0
};

const ISB *lookupISBByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0xF, 0 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &ISBsList[Index[i].index];
}

static const TSB TSBsList[] = {
  { "csync",  0x0 }, // 0
};

const TSB *lookupTSBByEncoding(uint16_t Encoding)
{
  static const struct IndexType Index[] = {
    { 0x0, 0 },
  };

  if (Encoding >= ARR_SIZE(TSBsList))
    return NULL;
  else
    return &TSBsList[Index[Encoding].index];
}

static const SysReg SysRegsList[] = {
  { "accdata_el1",  0xC685,  true,  true }, // 0
  { "actlr_el1",  0xC081,  true,  true }, // 1
  { "actlr_el2",  0xE081,  true,  true }, // 2
  { "actlr_el3",  0xF081,  true,  true }, // 3
  { "afsr0_el1",  0xC288,  true,  true }, // 4
  { "afsr0_el12",  0xEA88,  true,  true }, // 5
  { "afsr0_el2",  0xE288,  true,  true }, // 6
  { "afsr0_el3",  0xF288,  true,  true }, // 7
  { "afsr1_el1",  0xC289,  true,  true }, // 8
  { "afsr1_el12",  0xEA89,  true,  true }, // 9
  { "afsr1_el2",  0xE289,  true,  true }, // 10
  { "afsr1_el3",  0xF289,  true,  true }, // 11
  { "aidr_el1",  0xC807,  true,  false }, // 12
  { "amair_el1",  0xC518,  true,  true }, // 13
  { "amair_el12",  0xED18,  true,  true }, // 14
  { "amair_el2",  0xE518,  true,  true }, // 15
  { "amair_el3",  0xF518,  true,  true }, // 16
  { "amcfgr_el0",  0xDE91,  true,  false }, // 17
  { "amcgcr_el0",  0xDE92,  true,  false }, // 18
  { "amcntenclr0_el0",  0xDE94,  true,  true }, // 19
  { "amcntenclr1_el0",  0xDE98,  true,  true }, // 20
  { "amcntenset0_el0",  0xDE95,  true,  true }, // 21
  { "amcntenset1_el0",  0xDE99,  true,  true }, // 22
  { "amcr_el0",  0xDE90,  true,  true }, // 23
  { "amevcntr00_el0",  0xDEA0,  true,  true }, // 24
  { "amevcntr01_el0",  0xDEA1,  true,  true }, // 25
  { "amevcntr02_el0",  0xDEA2,  true,  true }, // 26
  { "amevcntr03_el0",  0xDEA3,  true,  true }, // 27
  { "amevcntr10_el0",  0xDEE0,  true,  true }, // 28
  { "amevcntr110_el0",  0xDEEA,  true,  true }, // 29
  { "amevcntr111_el0",  0xDEEB,  true,  true }, // 30
  { "amevcntr112_el0",  0xDEEC,  true,  true }, // 31
  { "amevcntr113_el0",  0xDEED,  true,  true }, // 32
  { "amevcntr114_el0",  0xDEEE,  true,  true }, // 33
  { "amevcntr115_el0",  0xDEEF,  true,  true }, // 34
  { "amevcntr11_el0",  0xDEE1,  true,  true }, // 35
  { "amevcntr12_el0",  0xDEE2,  true,  true }, // 36
  { "amevcntr13_el0",  0xDEE3,  true,  true }, // 37
  { "amevcntr14_el0",  0xDEE4,  true,  true }, // 38
  { "amevcntr15_el0",  0xDEE5,  true,  true }, // 39
  { "amevcntr16_el0",  0xDEE6,  true,  true }, // 40
  { "amevcntr17_el0",  0xDEE7,  true,  true }, // 41
  { "amevcntr18_el0",  0xDEE8,  true,  true }, // 42
  { "amevcntr19_el0",  0xDEE9,  true,  true }, // 43
  { "amevcntvoff00_el2",  0xE6C0,  true,  true }, // 44
  { "amevcntvoff010_el2",  0xE6CA,  true,  true }, // 45
  { "amevcntvoff011_el2",  0xE6CB,  true,  true }, // 46
  { "amevcntvoff012_el2",  0xE6CC,  true,  true }, // 47
  { "amevcntvoff013_el2",  0xE6CD,  true,  true }, // 48
  { "amevcntvoff014_el2",  0xE6CE,  true,  true }, // 49
  { "amevcntvoff015_el2",  0xE6CF,  true,  true }, // 50
  { "amevcntvoff01_el2",  0xE6C1,  true,  true }, // 51
  { "amevcntvoff02_el2",  0xE6C2,  true,  true }, // 52
  { "amevcntvoff03_el2",  0xE6C3,  true,  true }, // 53
  { "amevcntvoff04_el2",  0xE6C4,  true,  true }, // 54
  { "amevcntvoff05_el2",  0xE6C5,  true,  true }, // 55
  { "amevcntvoff06_el2",  0xE6C6,  true,  true }, // 56
  { "amevcntvoff07_el2",  0xE6C7,  true,  true }, // 57
  { "amevcntvoff08_el2",  0xE6C8,  true,  true }, // 58
  { "amevcntvoff09_el2",  0xE6C9,  true,  true }, // 59
  { "amevcntvoff10_el2",  0xE6D0,  true,  true }, // 60
  { "amevcntvoff110_el2",  0xE6DA,  true,  true }, // 61
  { "amevcntvoff111_el2",  0xE6DB,  true,  true }, // 62
  { "amevcntvoff112_el2",  0xE6DC,  true,  true }, // 63
  { "amevcntvoff113_el2",  0xE6DD,  true,  true }, // 64
  { "amevcntvoff114_el2",  0xE6DE,  true,  true }, // 65
  { "amevcntvoff115_el2",  0xE6DF,  true,  true }, // 66
  { "amevcntvoff11_el2",  0xE6D1,  true,  true }, // 67
  { "amevcntvoff12_el2",  0xE6D2,  true,  true }, // 68
  { "amevcntvoff13_el2",  0xE6D3,  true,  true }, // 69
  { "amevcntvoff14_el2",  0xE6D4,  true,  true }, // 70
  { "amevcntvoff15_el2",  0xE6D5,  true,  true }, // 71
  { "amevcntvoff16_el2",  0xE6D6,  true,  true }, // 72
  { "amevcntvoff17_el2",  0xE6D7,  true,  true }, // 73
  { "amevcntvoff18_el2",  0xE6D8,  true,  true }, // 74
  { "amevcntvoff19_el2",  0xE6D9,  true,  true }, // 75
  { "amevtyper00_el0",  0xDEB0,  true,  false }, // 76
  { "amevtyper01_el0",  0xDEB1,  true,  false }, // 77
  { "amevtyper02_el0",  0xDEB2,  true,  false }, // 78
  { "amevtyper03_el0",  0xDEB3,  true,  false }, // 79
  { "amevtyper10_el0",  0xDEF0,  true,  true }, // 80
  { "amevtyper110_el0",  0xDEFA,  true,  true }, // 81
  { "amevtyper111_el0",  0xDEFB,  true,  true }, // 82
  { "amevtyper112_el0",  0xDEFC,  true,  true }, // 83
  { "amevtyper113_el0",  0xDEFD,  true,  true }, // 84
  { "amevtyper114_el0",  0xDEFE,  true,  true }, // 85
  { "amevtyper115_el0",  0xDEFF,  true,  true }, // 86
  { "amevtyper11_el0",  0xDEF1,  true,  true }, // 87
  { "amevtyper12_el0",  0xDEF2,  true,  true }, // 88
  { "amevtyper13_el0",  0xDEF3,  true,  true }, // 89
  { "amevtyper14_el0",  0xDEF4,  true,  true }, // 90
  { "amevtyper15_el0",  0xDEF5,  true,  true }, // 91
  { "amevtyper16_el0",  0xDEF6,  true,  true }, // 92
  { "amevtyper17_el0",  0xDEF7,  true,  true }, // 93
  { "amevtyper18_el0",  0xDEF8,  true,  true }, // 94
  { "amevtyper19_el0",  0xDEF9,  true,  true }, // 95
  { "amuserenr_el0",  0xDE93,  true,  true }, // 96
  { "apdakeyhi_el1",  0xC111,  true,  true }, // 97
  { "apdakeylo_el1",  0xC110,  true,  true }, // 98
  { "apdbkeyhi_el1",  0xC113,  true,  true }, // 99
  { "apdbkeylo_el1",  0xC112,  true,  true }, // 100
  { "apgakeyhi_el1",  0xC119,  true,  true }, // 101
  { "apgakeylo_el1",  0xC118,  true,  true }, // 102
  { "apiakeyhi_el1",  0xC109,  true,  true }, // 103
  { "apiakeylo_el1",  0xC108,  true,  true }, // 104
  { "apibkeyhi_el1",  0xC10B,  true,  true }, // 105
  { "apibkeylo_el1",  0xC10A,  true,  true }, // 106
  { "brbcr_el1",  0x8C80,  true,  true }, // 107
  { "brbcr_el12",  0xAC80,  true,  true }, // 108
  { "brbcr_el2",  0xA480,  true,  true }, // 109
  { "brbfcr_el1",  0x8C81,  true,  true }, // 110
  { "brbidr0_el1",  0x8C90,  true,  false }, // 111
  { "brbinf0_el1",  0x8C00,  true,  false }, // 112
  { "brbinf10_el1",  0x8C50,  true,  false }, // 113
  { "brbinf11_el1",  0x8C58,  true,  false }, // 114
  { "brbinf12_el1",  0x8C60,  true,  false }, // 115
  { "brbinf13_el1",  0x8C68,  true,  false }, // 116
  { "brbinf14_el1",  0x8C70,  true,  false }, // 117
  { "brbinf15_el1",  0x8C78,  true,  false }, // 118
  { "brbinf16_el1",  0x8C04,  true,  false }, // 119
  { "brbinf17_el1",  0x8C0C,  true,  false }, // 120
  { "brbinf18_el1",  0x8C14,  true,  false }, // 121
  { "brbinf19_el1",  0x8C1C,  true,  false }, // 122
  { "brbinf1_el1",  0x8C08,  true,  false }, // 123
  { "brbinf20_el1",  0x8C24,  true,  false }, // 124
  { "brbinf21_el1",  0x8C2C,  true,  false }, // 125
  { "brbinf22_el1",  0x8C34,  true,  false }, // 126
  { "brbinf23_el1",  0x8C3C,  true,  false }, // 127
  { "brbinf24_el1",  0x8C44,  true,  false }, // 128
  { "brbinf25_el1",  0x8C4C,  true,  false }, // 129
  { "brbinf26_el1",  0x8C54,  true,  false }, // 130
  { "brbinf27_el1",  0x8C5C,  true,  false }, // 131
  { "brbinf28_el1",  0x8C64,  true,  false }, // 132
  { "brbinf29_el1",  0x8C6C,  true,  false }, // 133
  { "brbinf2_el1",  0x8C10,  true,  false }, // 134
  { "brbinf30_el1",  0x8C74,  true,  false }, // 135
  { "brbinf31_el1",  0x8C7C,  true,  false }, // 136
  { "brbinf3_el1",  0x8C18,  true,  false }, // 137
  { "brbinf4_el1",  0x8C20,  true,  false }, // 138
  { "brbinf5_el1",  0x8C28,  true,  false }, // 139
  { "brbinf6_el1",  0x8C30,  true,  false }, // 140
  { "brbinf7_el1",  0x8C38,  true,  false }, // 141
  { "brbinf8_el1",  0x8C40,  true,  false }, // 142
  { "brbinf9_el1",  0x8C48,  true,  false }, // 143
  { "brbinfinj_el1",  0x8C88,  true,  true }, // 144
  { "brbsrc0_el1",  0x8C01,  true,  false }, // 145
  { "brbsrc10_el1",  0x8C51,  true,  false }, // 146
  { "brbsrc11_el1",  0x8C59,  true,  false }, // 147
  { "brbsrc12_el1",  0x8C61,  true,  false }, // 148
  { "brbsrc13_el1",  0x8C69,  true,  false }, // 149
  { "brbsrc14_el1",  0x8C71,  true,  false }, // 150
  { "brbsrc15_el1",  0x8C79,  true,  false }, // 151
  { "brbsrc16_el1",  0x8C05,  true,  false }, // 152
  { "brbsrc17_el1",  0x8C0D,  true,  false }, // 153
  { "brbsrc18_el1",  0x8C15,  true,  false }, // 154
  { "brbsrc19_el1",  0x8C1D,  true,  false }, // 155
  { "brbsrc1_el1",  0x8C09,  true,  false }, // 156
  { "brbsrc20_el1",  0x8C25,  true,  false }, // 157
  { "brbsrc21_el1",  0x8C2D,  true,  false }, // 158
  { "brbsrc22_el1",  0x8C35,  true,  false }, // 159
  { "brbsrc23_el1",  0x8C3D,  true,  false }, // 160
  { "brbsrc24_el1",  0x8C45,  true,  false }, // 161
  { "brbsrc25_el1",  0x8C4D,  true,  false }, // 162
  { "brbsrc26_el1",  0x8C55,  true,  false }, // 163
  { "brbsrc27_el1",  0x8C5D,  true,  false }, // 164
  { "brbsrc28_el1",  0x8C65,  true,  false }, // 165
  { "brbsrc29_el1",  0x8C6D,  true,  false }, // 166
  { "brbsrc2_el1",  0x8C11,  true,  false }, // 167
  { "brbsrc30_el1",  0x8C75,  true,  false }, // 168
  { "brbsrc31_el1",  0x8C7D,  true,  false }, // 169
  { "brbsrc3_el1",  0x8C19,  true,  false }, // 170
  { "brbsrc4_el1",  0x8C21,  true,  false }, // 171
  { "brbsrc5_el1",  0x8C29,  true,  false }, // 172
  { "brbsrc6_el1",  0x8C31,  true,  false }, // 173
  { "brbsrc7_el1",  0x8C39,  true,  false }, // 174
  { "brbsrc8_el1",  0x8C41,  true,  false }, // 175
  { "brbsrc9_el1",  0x8C49,  true,  false }, // 176
  { "brbsrcinj_el1",  0x8C89,  true,  true }, // 177
  { "brbtgt0_el1",  0x8C02,  true,  false }, // 178
  { "brbtgt10_el1",  0x8C52,  true,  false }, // 179
  { "brbtgt11_el1",  0x8C5A,  true,  false }, // 180
  { "brbtgt12_el1",  0x8C62,  true,  false }, // 181
  { "brbtgt13_el1",  0x8C6A,  true,  false }, // 182
  { "brbtgt14_el1",  0x8C72,  true,  false }, // 183
  { "brbtgt15_el1",  0x8C7A,  true,  false }, // 184
  { "brbtgt16_el1",  0x8C06,  true,  false }, // 185
  { "brbtgt17_el1",  0x8C0E,  true,  false }, // 186
  { "brbtgt18_el1",  0x8C16,  true,  false }, // 187
  { "brbtgt19_el1",  0x8C1E,  true,  false }, // 188
  { "brbtgt1_el1",  0x8C0A,  true,  false }, // 189
  { "brbtgt20_el1",  0x8C26,  true,  false }, // 190
  { "brbtgt21_el1",  0x8C2E,  true,  false }, // 191
  { "brbtgt22_el1",  0x8C36,  true,  false }, // 192
  { "brbtgt23_el1",  0x8C3E,  true,  false }, // 193
  { "brbtgt24_el1",  0x8C46,  true,  false }, // 194
  { "brbtgt25_el1",  0x8C4E,  true,  false }, // 195
  { "brbtgt26_el1",  0x8C56,  true,  false }, // 196
  { "brbtgt27_el1",  0x8C5E,  true,  false }, // 197
  { "brbtgt28_el1",  0x8C66,  true,  false }, // 198
  { "brbtgt29_el1",  0x8C6E,  true,  false }, // 199
  { "brbtgt2_el1",  0x8C12,  true,  false }, // 200
  { "brbtgt30_el1",  0x8C76,  true,  false }, // 201
  { "brbtgt31_el1",  0x8C7E,  true,  false }, // 202
  { "brbtgt3_el1",  0x8C1A,  true,  false }, // 203
  { "brbtgt4_el1",  0x8C22,  true,  false }, // 204
  { "brbtgt5_el1",  0x8C2A,  true,  false }, // 205
  { "brbtgt6_el1",  0x8C32,  true,  false }, // 206
  { "brbtgt7_el1",  0x8C3A,  true,  false }, // 207
  { "brbtgt8_el1",  0x8C42,  true,  false }, // 208
  { "brbtgt9_el1",  0x8C4A,  true,  false }, // 209
  { "brbtgtinj_el1",  0x8C8A,  true,  true }, // 210
  { "brbts_el1",  0x8C82,  true,  true }, // 211
  { "ccsidr2_el1",  0xC802,  true,  false }, // 212
  { "ccsidr_el1",  0xC800,  true,  false }, // 213
  { "clidr_el1",  0xC801,  true,  false }, // 214
  { "cntfrq_el0",  0xDF00,  true,  true }, // 215
  { "cnthctl_el2",  0xE708,  true,  true }, // 216
  { "cnthps_ctl_el2",  0xE729,  true,  true }, // 217
  { "cnthps_cval_el2",  0xE72A,  true,  true }, // 218
  { "cnthps_tval_el2",  0xE728,  true,  true }, // 219
  { "cnthp_ctl_el2",  0xE711,  true,  true }, // 220
  { "cnthp_cval_el2",  0xE712,  true,  true }, // 221
  { "cnthp_tval_el2",  0xE710,  true,  true }, // 222
  { "cnthvs_ctl_el2",  0xE721,  true,  true }, // 223
  { "cnthvs_cval_el2",  0xE722,  true,  true }, // 224
  { "cnthvs_tval_el2",  0xE720,  true,  true }, // 225
  { "cnthv_ctl_el2",  0xE719,  true,  true }, // 226
  { "cnthv_cval_el2",  0xE71A,  true,  true }, // 227
  { "cnthv_tval_el2",  0xE718,  true,  true }, // 228
  { "cntiscale_el2",  0xE705,  true,  true }, // 229
  { "cntkctl_el1",  0xC708,  true,  true }, // 230
  { "cntkctl_el12",  0xEF08,  true,  true }, // 231
  { "cntpctss_el0",  0xDF05,  true,  true }, // 232
  { "cntpct_el0",  0xDF01,  true,  false }, // 233
  { "cntpoff_el2",  0xE706,  true,  true }, // 234
  { "cntps_ctl_el1",  0xFF11,  true,  true }, // 235
  { "cntps_cval_el1",  0xFF12,  true,  true }, // 236
  { "cntps_tval_el1",  0xFF10,  true,  true }, // 237
  { "cntp_ctl_el0",  0xDF11,  true,  true }, // 238
  { "cntp_ctl_el02",  0xEF11,  true,  true }, // 239
  { "cntp_cval_el0",  0xDF12,  true,  true }, // 240
  { "cntp_cval_el02",  0xEF12,  true,  true }, // 241
  { "cntp_tval_el0",  0xDF10,  true,  true }, // 242
  { "cntp_tval_el02",  0xEF10,  true,  true }, // 243
  { "cntscale_el2",  0xE704,  true,  true }, // 244
  { "cntvctss_el0",  0xDF06,  true,  true }, // 245
  { "cntvct_el0",  0xDF02,  true,  false }, // 246
  { "cntvfrq_el2",  0xE707,  true,  true }, // 247
  { "cntvoff_el2",  0xE703,  true,  true }, // 248
  { "cntv_ctl_el0",  0xDF19,  true,  true }, // 249
  { "cntv_ctl_el02",  0xEF19,  true,  true }, // 250
  { "cntv_cval_el0",  0xDF1A,  true,  true }, // 251
  { "cntv_cval_el02",  0xEF1A,  true,  true }, // 252
  { "cntv_tval_el0",  0xDF18,  true,  true }, // 253
  { "cntv_tval_el02",  0xEF18,  true,  true }, // 254
  { "contextidr_el1",  0xC681,  true,  true }, // 255
  { "contextidr_el12",  0xEE81,  true,  true }, // 256
  { "contextidr_el2",  0xE681,  true,  true }, // 257
  { "cpacr_el1",  0xC082,  true,  true }, // 258
  { "cpacr_el12",  0xE882,  true,  true }, // 259
  { "cpm_ioacc_ctl_el3",  0xFF90,  true,  true }, // 260
  { "cptr_el2",  0xE08A,  true,  true }, // 261
  { "cptr_el3",  0xF08A,  true,  true }, // 262
  { "csselr_el1",  0xD000,  true,  true }, // 263
  { "ctr_el0",  0xD801,  true,  false }, // 264
  { "currentel",  0xC212,  true,  false }, // 265
  { "dacr32_el2",  0xE180,  true,  true }, // 266
  { "daif",  0xDA11,  true,  true }, // 267
  { "dbgauthstatus_el1",  0x83F6,  true,  false }, // 268
  { "dbgbcr0_el1",  0x8005,  true,  true }, // 269
  { "dbgbcr10_el1",  0x8055,  true,  true }, // 270
  { "dbgbcr11_el1",  0x805D,  true,  true }, // 271
  { "dbgbcr12_el1",  0x8065,  true,  true }, // 272
  { "dbgbcr13_el1",  0x806D,  true,  true }, // 273
  { "dbgbcr14_el1",  0x8075,  true,  true }, // 274
  { "dbgbcr15_el1",  0x807D,  true,  true }, // 275
  { "dbgbcr1_el1",  0x800D,  true,  true }, // 276
  { "dbgbcr2_el1",  0x8015,  true,  true }, // 277
  { "dbgbcr3_el1",  0x801D,  true,  true }, // 278
  { "dbgbcr4_el1",  0x8025,  true,  true }, // 279
  { "dbgbcr5_el1",  0x802D,  true,  true }, // 280
  { "dbgbcr6_el1",  0x8035,  true,  true }, // 281
  { "dbgbcr7_el1",  0x803D,  true,  true }, // 282
  { "dbgbcr8_el1",  0x8045,  true,  true }, // 283
  { "dbgbcr9_el1",  0x804D,  true,  true }, // 284
  { "dbgbvr0_el1",  0x8004,  true,  true }, // 285
  { "dbgbvr10_el1",  0x8054,  true,  true }, // 286
  { "dbgbvr11_el1",  0x805C,  true,  true }, // 287
  { "dbgbvr12_el1",  0x8064,  true,  true }, // 288
  { "dbgbvr13_el1",  0x806C,  true,  true }, // 289
  { "dbgbvr14_el1",  0x8074,  true,  true }, // 290
  { "dbgbvr15_el1",  0x807C,  true,  true }, // 291
  { "dbgbvr1_el1",  0x800C,  true,  true }, // 292
  { "dbgbvr2_el1",  0x8014,  true,  true }, // 293
  { "dbgbvr3_el1",  0x801C,  true,  true }, // 294
  { "dbgbvr4_el1",  0x8024,  true,  true }, // 295
  { "dbgbvr5_el1",  0x802C,  true,  true }, // 296
  { "dbgbvr6_el1",  0x8034,  true,  true }, // 297
  { "dbgbvr7_el1",  0x803C,  true,  true }, // 298
  { "dbgbvr8_el1",  0x8044,  true,  true }, // 299
  { "dbgbvr9_el1",  0x804C,  true,  true }, // 300
  { "dbgclaimclr_el1",  0x83CE,  true,  true }, // 301
  { "dbgclaimset_el1",  0x83C6,  true,  true }, // 302
  { "dbgdtrrx_el0",  0x9828,  true,  false }, // 303
  { "dbgdtrtx_el0",  0x9828,  false,  true }, // 304
  { "dbgdtr_el0",  0x9820,  true,  true }, // 305
  { "dbgprcr_el1",  0x80A4,  true,  true }, // 306
  { "dbgvcr32_el2",  0xA038,  true,  true }, // 307
  { "dbgwcr0_el1",  0x8007,  true,  true }, // 308
  { "dbgwcr10_el1",  0x8057,  true,  true }, // 309
  { "dbgwcr11_el1",  0x805F,  true,  true }, // 310
  { "dbgwcr12_el1",  0x8067,  true,  true }, // 311
  { "dbgwcr13_el1",  0x806F,  true,  true }, // 312
  { "dbgwcr14_el1",  0x8077,  true,  true }, // 313
  { "dbgwcr15_el1",  0x807F,  true,  true }, // 314
  { "dbgwcr1_el1",  0x800F,  true,  true }, // 315
  { "dbgwcr2_el1",  0x8017,  true,  true }, // 316
  { "dbgwcr3_el1",  0x801F,  true,  true }, // 317
  { "dbgwcr4_el1",  0x8027,  true,  true }, // 318
  { "dbgwcr5_el1",  0x802F,  true,  true }, // 319
  { "dbgwcr6_el1",  0x8037,  true,  true }, // 320
  { "dbgwcr7_el1",  0x803F,  true,  true }, // 321
  { "dbgwcr8_el1",  0x8047,  true,  true }, // 322
  { "dbgwcr9_el1",  0x804F,  true,  true }, // 323
  { "dbgwvr0_el1",  0x8006,  true,  true }, // 324
  { "dbgwvr10_el1",  0x8056,  true,  true }, // 325
  { "dbgwvr11_el1",  0x805E,  true,  true }, // 326
  { "dbgwvr12_el1",  0x8066,  true,  true }, // 327
  { "dbgwvr13_el1",  0x806E,  true,  true }, // 328
  { "dbgwvr14_el1",  0x8076,  true,  true }, // 329
  { "dbgwvr15_el1",  0x807E,  true,  true }, // 330
  { "dbgwvr1_el1",  0x800E,  true,  true }, // 331
  { "dbgwvr2_el1",  0x8016,  true,  true }, // 332
  { "dbgwvr3_el1",  0x801E,  true,  true }, // 333
  { "dbgwvr4_el1",  0x8026,  true,  true }, // 334
  { "dbgwvr5_el1",  0x802E,  true,  true }, // 335
  { "dbgwvr6_el1",  0x8036,  true,  true }, // 336
  { "dbgwvr7_el1",  0x803E,  true,  true }, // 337
  { "dbgwvr8_el1",  0x8046,  true,  true }, // 338
  { "dbgwvr9_el1",  0x804E,  true,  true }, // 339
  { "dczid_el0",  0xD807,  true,  false }, // 340
  { "disr_el1",  0xC609,  true,  true }, // 341
  { "dit",  0xDA15,  true,  true }, // 342
  { "dlr_el0",  0xDA29,  true,  true }, // 343
  { "dspsr_el0",  0xDA28,  true,  true }, // 344
  { "elr_el1",  0xC201,  true,  true }, // 345
  { "elr_el12",  0xEA01,  true,  true }, // 346
  { "elr_el2",  0xE201,  true,  true }, // 347
  { "elr_el3",  0xF201,  true,  true }, // 348
  { "erridr_el1",  0xC298,  true,  false }, // 349
  { "errselr_el1",  0xC299,  true,  true }, // 350
  { "erxaddr_el1",  0xC2A3,  true,  true }, // 351
  { "erxctlr_el1",  0xC2A1,  true,  true }, // 352
  { "erxfr_el1",  0xC2A0,  true,  false }, // 353
  { "erxmisc0_el1",  0xC2A8,  true,  true }, // 354
  { "erxmisc1_el1",  0xC2A9,  true,  true }, // 355
  { "erxmisc2_el1",  0xC2AA,  true,  true }, // 356
  { "erxmisc3_el1",  0xC2AB,  true,  true }, // 357
  { "erxpfgcdn_el1",  0xC2A6,  true,  true }, // 358
  { "erxpfgctl_el1",  0xC2A5,  true,  true }, // 359
  { "erxpfgf_el1",  0xC2A4,  true,  false }, // 360
  { "erxstatus_el1",  0xC2A2,  true,  true }, // 361
  { "esr_el1",  0xC290,  true,  true }, // 362
  { "esr_el12",  0xEA90,  true,  true }, // 363
  { "esr_el2",  0xE290,  true,  true }, // 364
  { "esr_el3",  0xF290,  true,  true }, // 365
  { "far_el1",  0xC300,  true,  true }, // 366
  { "far_el12",  0xEB00,  true,  true }, // 367
  { "far_el2",  0xE300,  true,  true }, // 368
  { "far_el3",  0xF300,  true,  true }, // 369
  { "fpcr",  0xDA20,  true,  true }, // 370
  { "fpexc32_el2",  0xE298,  true,  true }, // 371
  { "fpsr",  0xDA21,  true,  true }, // 372
  { "gcr_el1",  0xC086,  true,  true }, // 373
  { "gmid_el1",  0xC804,  true,  false }, // 374
  { "gpccr_el3",  0xF10E,  true,  true }, // 375
  { "gptbr_el3",  0xF10C,  true,  true }, // 376
  { "hacr_el2",  0xE08F,  true,  true }, // 377
  { "hcrx_el2",  0xE092,  true,  true }, // 378
  { "hcr_el2",  0xE088,  true,  true }, // 379
  { "hdfgrtr_el2",  0xE18C,  true,  true }, // 380
  { "hdfgwtr_el2",  0xE18D,  true,  true }, // 381
  { "hfgitr_el2",  0xE08E,  true,  true }, // 382
  { "hfgrtr_el2",  0xE08C,  true,  true }, // 383
  { "hfgwtr_el2",  0xE08D,  true,  true }, // 384
  { "hpfar_el2",  0xE304,  true,  true }, // 385
  { "hstr_el2",  0xE08B,  true,  true }, // 386
  { "icc_ap0r0_el1",  0xC644,  true,  true }, // 387
  { "icc_ap0r1_el1",  0xC645,  true,  true }, // 388
  { "icc_ap0r2_el1",  0xC646,  true,  true }, // 389
  { "icc_ap0r3_el1",  0xC647,  true,  true }, // 390
  { "icc_ap1r0_el1",  0xC648,  true,  true }, // 391
  { "icc_ap1r1_el1",  0xC649,  true,  true }, // 392
  { "icc_ap1r2_el1",  0xC64A,  true,  true }, // 393
  { "icc_ap1r3_el1",  0xC64B,  true,  true }, // 394
  { "icc_asgi1r_el1",  0xC65E,  false,  true }, // 395
  { "icc_bpr0_el1",  0xC643,  true,  true }, // 396
  { "icc_bpr1_el1",  0xC663,  true,  true }, // 397
  { "icc_ctlr_el1",  0xC664,  true,  true }, // 398
  { "icc_ctlr_el3",  0xF664,  true,  true }, // 399
  { "icc_dir_el1",  0xC659,  false,  true }, // 400
  { "icc_eoir0_el1",  0xC641,  false,  true }, // 401
  { "icc_eoir1_el1",  0xC661,  false,  true }, // 402
  { "icc_hppir0_el1",  0xC642,  true,  false }, // 403
  { "icc_hppir1_el1",  0xC662,  true,  false }, // 404
  { "icc_iar0_el1",  0xC640,  true,  false }, // 405
  { "icc_iar1_el1",  0xC660,  true,  false }, // 406
  { "icc_igrpen0_el1",  0xC666,  true,  true }, // 407
  { "icc_igrpen1_el1",  0xC667,  true,  true }, // 408
  { "icc_igrpen1_el3",  0xF667,  true,  true }, // 409
  { "icc_pmr_el1",  0xC230,  true,  true }, // 410
  { "icc_rpr_el1",  0xC65B,  true,  false }, // 411
  { "icc_sgi0r_el1",  0xC65F,  false,  true }, // 412
  { "icc_sgi1r_el1",  0xC65D,  false,  true }, // 413
  { "icc_sre_el1",  0xC665,  true,  true }, // 414
  { "icc_sre_el2",  0xE64D,  true,  true }, // 415
  { "icc_sre_el3",  0xF665,  true,  true }, // 416
  { "ich_ap0r0_el2",  0xE640,  true,  true }, // 417
  { "ich_ap0r1_el2",  0xE641,  true,  true }, // 418
  { "ich_ap0r2_el2",  0xE642,  true,  true }, // 419
  { "ich_ap0r3_el2",  0xE643,  true,  true }, // 420
  { "ich_ap1r0_el2",  0xE648,  true,  true }, // 421
  { "ich_ap1r1_el2",  0xE649,  true,  true }, // 422
  { "ich_ap1r2_el2",  0xE64A,  true,  true }, // 423
  { "ich_ap1r3_el2",  0xE64B,  true,  true }, // 424
  { "ich_eisr_el2",  0xE65B,  true,  false }, // 425
  { "ich_elrsr_el2",  0xE65D,  true,  false }, // 426
  { "ich_hcr_el2",  0xE658,  true,  true }, // 427
  { "ich_lr0_el2",  0xE660,  true,  true }, // 428
  { "ich_lr10_el2",  0xE66A,  true,  true }, // 429
  { "ich_lr11_el2",  0xE66B,  true,  true }, // 430
  { "ich_lr12_el2",  0xE66C,  true,  true }, // 431
  { "ich_lr13_el2",  0xE66D,  true,  true }, // 432
  { "ich_lr14_el2",  0xE66E,  true,  true }, // 433
  { "ich_lr15_el2",  0xE66F,  true,  true }, // 434
  { "ich_lr1_el2",  0xE661,  true,  true }, // 435
  { "ich_lr2_el2",  0xE662,  true,  true }, // 436
  { "ich_lr3_el2",  0xE663,  true,  true }, // 437
  { "ich_lr4_el2",  0xE664,  true,  true }, // 438
  { "ich_lr5_el2",  0xE665,  true,  true }, // 439
  { "ich_lr6_el2",  0xE666,  true,  true }, // 440
  { "ich_lr7_el2",  0xE667,  true,  true }, // 441
  { "ich_lr8_el2",  0xE668,  true,  true }, // 442
  { "ich_lr9_el2",  0xE669,  true,  true }, // 443
  { "ich_misr_el2",  0xE65A,  true,  false }, // 444
  { "ich_vmcr_el2",  0xE65F,  true,  true }, // 445
  { "ich_vtr_el2",  0xE659,  true,  false }, // 446
  { "id_aa64afr0_el1",  0xC02C,  true,  false }, // 447
  { "id_aa64afr1_el1",  0xC02D,  true,  false }, // 448
  { "id_aa64dfr0_el1",  0xC028,  true,  false }, // 449
  { "id_aa64dfr1_el1",  0xC029,  true,  false }, // 450
  { "id_aa64isar0_el1",  0xC030,  true,  false }, // 451
  { "id_aa64isar1_el1",  0xC031,  true,  false }, // 452
  { "id_aa64isar2_el1",  0xC032,  true,  false }, // 453
  { "id_aa64mmfr0_el1",  0xC038,  true,  false }, // 454
  { "id_aa64mmfr1_el1",  0xC039,  true,  false }, // 455
  { "id_aa64mmfr2_el1",  0xC03A,  true,  false }, // 456
  { "id_aa64pfr0_el1",  0xC020,  true,  false }, // 457
  { "id_aa64pfr1_el1",  0xC021,  true,  false }, // 458
  { "id_aa64smfr0_el1",  0xC025,  true,  false }, // 459
  { "id_aa64zfr0_el1",  0xC024,  true,  false }, // 460
  { "id_afr0_el1",  0xC00B,  true,  false }, // 461
  { "id_dfr0_el1",  0xC00A,  true,  false }, // 462
  { "id_isar0_el1",  0xC010,  true,  false }, // 463
  { "id_isar1_el1",  0xC011,  true,  false }, // 464
  { "id_isar2_el1",  0xC012,  true,  false }, // 465
  { "id_isar3_el1",  0xC013,  true,  false }, // 466
  { "id_isar4_el1",  0xC014,  true,  false }, // 467
  { "id_isar5_el1",  0xC015,  true,  false }, // 468
  { "id_isar6_el1",  0xC017,  true,  false }, // 469
  { "id_mmfr0_el1",  0xC00C,  true,  false }, // 470
  { "id_mmfr1_el1",  0xC00D,  true,  false }, // 471
  { "id_mmfr2_el1",  0xC00E,  true,  false }, // 472
  { "id_mmfr3_el1",  0xC00F,  true,  false }, // 473
  { "id_mmfr4_el1",  0xC016,  true,  false }, // 474
  { "id_mmfr5_el1",  0xC01E,  true,  false }, // 475
  { "id_pfr0_el1",  0xC008,  true,  false }, // 476
  { "id_pfr1_el1",  0xC009,  true,  false }, // 477
  { "id_pfr2_el1",  0xC01C,  true,  false }, // 478
  { "ifsr32_el2",  0xE281,  true,  true }, // 479
  { "isr_el1",  0xC608,  true,  false }, // 480
  { "lorc_el1",  0xC523,  true,  true }, // 481
  { "lorea_el1",  0xC521,  true,  true }, // 482
  { "lorid_el1",  0xC527,  true,  false }, // 483
  { "lorn_el1",  0xC522,  true,  true }, // 484
  { "lorsa_el1",  0xC520,  true,  true }, // 485
  { "mair_el1",  0xC510,  true,  true }, // 486
  { "mair_el12",  0xED10,  true,  true }, // 487
  { "mair_el2",  0xE510,  true,  true }, // 488
  { "mair_el3",  0xF510,  true,  true }, // 489
  { "mdccint_el1",  0x8010,  true,  true }, // 490
  { "mdccsr_el0",  0x9808,  true,  false }, // 491
  { "mdcr_el2",  0xE089,  true,  true }, // 492
  { "mdcr_el3",  0xF099,  true,  true }, // 493
  { "mdrar_el1",  0x8080,  true,  false }, // 494
  { "mdscr_el1",  0x8012,  true,  true }, // 495
  { "mfar_el3",  0xF305,  true,  true }, // 496
  { "midr_el1",  0xC000,  true,  false }, // 497
  { "mpam0_el1",  0xC529,  true,  true }, // 498
  { "mpam1_el1",  0xC528,  true,  true }, // 499
  { "mpam1_el12",  0xED28,  true,  true }, // 500
  { "mpam2_el2",  0xE528,  true,  true }, // 501
  { "mpam3_el3",  0xF528,  true,  true }, // 502
  { "mpamhcr_el2",  0xE520,  true,  true }, // 503
  { "mpamidr_el1",  0xC524,  true,  false }, // 504
  { "mpamsm_el1",  0xC52B,  true,  true }, // 505
  { "mpamvpm0_el2",  0xE530,  true,  true }, // 506
  { "mpamvpm1_el2",  0xE531,  true,  true }, // 507
  { "mpamvpm2_el2",  0xE532,  true,  true }, // 508
  { "mpamvpm3_el2",  0xE533,  true,  true }, // 509
  { "mpamvpm4_el2",  0xE534,  true,  true }, // 510
  { "mpamvpm5_el2",  0xE535,  true,  true }, // 511
  { "mpamvpm6_el2",  0xE536,  true,  true }, // 512
  { "mpamvpm7_el2",  0xE537,  true,  true }, // 513
  { "mpamvpmv_el2",  0xE521,  true,  true }, // 514
  { "mpidr_el1",  0xC005,  true,  false }, // 515
  { "mpuir_el1",  0xC004,  true,  true }, // 516
  { "mpuir_el2",  0xE004,  true,  true }, // 517
  { "mvfr0_el1",  0xC018,  true,  false }, // 518
  { "mvfr1_el1",  0xC019,  true,  false }, // 519
  { "mvfr2_el1",  0xC01A,  true,  false }, // 520
  { "nzcv",  0xDA10,  true,  true }, // 521
  { "osdlr_el1",  0x809C,  true,  true }, // 522
  { "osdtrrx_el1",  0x8002,  true,  true }, // 523
  { "osdtrtx_el1",  0x801A,  true,  true }, // 524
  { "oseccr_el1",  0x8032,  true,  true }, // 525
  { "oslar_el1",  0x8084,  false,  true }, // 526
  { "oslsr_el1",  0x808C,  true,  false }, // 527
  { "pan",  0xC213,  true,  true }, // 528
  { "par_el1",  0xC3A0,  true,  true }, // 529
  { "pmbidr_el1",  0xC4D7,  true,  false }, // 530
  { "pmblimitr_el1",  0xC4D0,  true,  true }, // 531
  { "pmbptr_el1",  0xC4D1,  true,  true }, // 532
  { "pmbsr_el1",  0xC4D3,  true,  true }, // 533
  { "pmccfiltr_el0",  0xDF7F,  true,  true }, // 534
  { "pmccntr_el0",  0xDCE8,  true,  true }, // 535
  { "pmceid0_el0",  0xDCE6,  true,  false }, // 536
  { "pmceid1_el0",  0xDCE7,  true,  false }, // 537
  { "pmcntenclr_el0",  0xDCE2,  true,  true }, // 538
  { "pmcntenset_el0",  0xDCE1,  true,  true }, // 539
  { "pmcr_el0",  0xDCE0,  true,  true }, // 540
  { "pmevcntr0_el0",  0xDF40,  true,  true }, // 541
  { "pmevcntr10_el0",  0xDF4A,  true,  true }, // 542
  { "pmevcntr11_el0",  0xDF4B,  true,  true }, // 543
  { "pmevcntr12_el0",  0xDF4C,  true,  true }, // 544
  { "pmevcntr13_el0",  0xDF4D,  true,  true }, // 545
  { "pmevcntr14_el0",  0xDF4E,  true,  true }, // 546
  { "pmevcntr15_el0",  0xDF4F,  true,  true }, // 547
  { "pmevcntr16_el0",  0xDF50,  true,  true }, // 548
  { "pmevcntr17_el0",  0xDF51,  true,  true }, // 549
  { "pmevcntr18_el0",  0xDF52,  true,  true }, // 550
  { "pmevcntr19_el0",  0xDF53,  true,  true }, // 551
  { "pmevcntr1_el0",  0xDF41,  true,  true }, // 552
  { "pmevcntr20_el0",  0xDF54,  true,  true }, // 553
  { "pmevcntr21_el0",  0xDF55,  true,  true }, // 554
  { "pmevcntr22_el0",  0xDF56,  true,  true }, // 555
  { "pmevcntr23_el0",  0xDF57,  true,  true }, // 556
  { "pmevcntr24_el0",  0xDF58,  true,  true }, // 557
  { "pmevcntr25_el0",  0xDF59,  true,  true }, // 558
  { "pmevcntr26_el0",  0xDF5A,  true,  true }, // 559
  { "pmevcntr27_el0",  0xDF5B,  true,  true }, // 560
  { "pmevcntr28_el0",  0xDF5C,  true,  true }, // 561
  { "pmevcntr29_el0",  0xDF5D,  true,  true }, // 562
  { "pmevcntr2_el0",  0xDF42,  true,  true }, // 563
  { "pmevcntr30_el0",  0xDF5E,  true,  true }, // 564
  { "pmevcntr3_el0",  0xDF43,  true,  true }, // 565
  { "pmevcntr4_el0",  0xDF44,  true,  true }, // 566
  { "pmevcntr5_el0",  0xDF45,  true,  true }, // 567
  { "pmevcntr6_el0",  0xDF46,  true,  true }, // 568
  { "pmevcntr7_el0",  0xDF47,  true,  true }, // 569
  { "pmevcntr8_el0",  0xDF48,  true,  true }, // 570
  { "pmevcntr9_el0",  0xDF49,  true,  true }, // 571
  { "pmevtyper0_el0",  0xDF60,  true,  true }, // 572
  { "pmevtyper10_el0",  0xDF6A,  true,  true }, // 573
  { "pmevtyper11_el0",  0xDF6B,  true,  true }, // 574
  { "pmevtyper12_el0",  0xDF6C,  true,  true }, // 575
  { "pmevtyper13_el0",  0xDF6D,  true,  true }, // 576
  { "pmevtyper14_el0",  0xDF6E,  true,  true }, // 577
  { "pmevtyper15_el0",  0xDF6F,  true,  true }, // 578
  { "pmevtyper16_el0",  0xDF70,  true,  true }, // 579
  { "pmevtyper17_el0",  0xDF71,  true,  true }, // 580
  { "pmevtyper18_el0",  0xDF72,  true,  true }, // 581
  { "pmevtyper19_el0",  0xDF73,  true,  true }, // 582
  { "pmevtyper1_el0",  0xDF61,  true,  true }, // 583
  { "pmevtyper20_el0",  0xDF74,  true,  true }, // 584
  { "pmevtyper21_el0",  0xDF75,  true,  true }, // 585
  { "pmevtyper22_el0",  0xDF76,  true,  true }, // 586
  { "pmevtyper23_el0",  0xDF77,  true,  true }, // 587
  { "pmevtyper24_el0",  0xDF78,  true,  true }, // 588
  { "pmevtyper25_el0",  0xDF79,  true,  true }, // 589
  { "pmevtyper26_el0",  0xDF7A,  true,  true }, // 590
  { "pmevtyper27_el0",  0xDF7B,  true,  true }, // 591
  { "pmevtyper28_el0",  0xDF7C,  true,  true }, // 592
  { "pmevtyper29_el0",  0xDF7D,  true,  true }, // 593
  { "pmevtyper2_el0",  0xDF62,  true,  true }, // 594
  { "pmevtyper30_el0",  0xDF7E,  true,  true }, // 595
  { "pmevtyper3_el0",  0xDF63,  true,  true }, // 596
  { "pmevtyper4_el0",  0xDF64,  true,  true }, // 597
  { "pmevtyper5_el0",  0xDF65,  true,  true }, // 598
  { "pmevtyper6_el0",  0xDF66,  true,  true }, // 599
  { "pmevtyper7_el0",  0xDF67,  true,  true }, // 600
  { "pmevtyper8_el0",  0xDF68,  true,  true }, // 601
  { "pmevtyper9_el0",  0xDF69,  true,  true }, // 602
  { "pmintenclr_el1",  0xC4F2,  true,  true }, // 603
  { "pmintenset_el1",  0xC4F1,  true,  true }, // 604
  { "pmmir_el1",  0xC4F6,  true,  true }, // 605
  { "pmovsclr_el0",  0xDCE3,  true,  true }, // 606
  { "pmovsset_el0",  0xDCF3,  true,  true }, // 607
  { "pmscr_el1",  0xC4C8,  true,  true }, // 608
  { "pmscr_el12",  0xECC8,  true,  true }, // 609
  { "pmscr_el2",  0xE4C8,  true,  true }, // 610
  { "pmselr_el0",  0xDCE5,  true,  true }, // 611
  { "pmsevfr_el1",  0xC4CD,  true,  true }, // 612
  { "pmsfcr_el1",  0xC4CC,  true,  true }, // 613
  { "pmsicr_el1",  0xC4CA,  true,  true }, // 614
  { "pmsidr_el1",  0xC4CF,  true,  false }, // 615
  { "pmsirr_el1",  0xC4CB,  true,  true }, // 616
  { "pmslatfr_el1",  0xC4CE,  true,  true }, // 617
  { "pmsnevfr_el1",  0xC4C9,  true,  true }, // 618
  { "pmswinc_el0",  0xDCE4,  false,  true }, // 619
  { "pmuserenr_el0",  0xDCF0,  true,  true }, // 620
  { "pmxevcntr_el0",  0xDCEA,  true,  true }, // 621
  { "pmxevtyper_el0",  0xDCE9,  true,  true }, // 622
  { "prbar10_el1",  0xC368,  true,  true }, // 623
  { "prbar10_el2",  0xE368,  true,  true }, // 624
  { "prbar11_el1",  0xC36C,  true,  true }, // 625
  { "prbar11_el2",  0xE36C,  true,  true }, // 626
  { "prbar12_el1",  0xC370,  true,  true }, // 627
  { "prbar12_el2",  0xE370,  true,  true }, // 628
  { "prbar13_el1",  0xC374,  true,  true }, // 629
  { "prbar13_el2",  0xE374,  true,  true }, // 630
  { "prbar14_el1",  0xC378,  true,  true }, // 631
  { "prbar14_el2",  0xE378,  true,  true }, // 632
  { "prbar15_el1",  0xC37C,  true,  true }, // 633
  { "prbar15_el2",  0xE37C,  true,  true }, // 634
  { "prbar1_el1",  0xC344,  true,  true }, // 635
  { "prbar1_el2",  0xE344,  true,  true }, // 636
  { "prbar2_el1",  0xC348,  true,  true }, // 637
  { "prbar2_el2",  0xE348,  true,  true }, // 638
  { "prbar3_el1",  0xC34C,  true,  true }, // 639
  { "prbar3_el2",  0xE34C,  true,  true }, // 640
  { "prbar4_el1",  0xC350,  true,  true }, // 641
  { "prbar4_el2",  0xE350,  true,  true }, // 642
  { "prbar5_el1",  0xC354,  true,  true }, // 643
  { "prbar5_el2",  0xE354,  true,  true }, // 644
  { "prbar6_el1",  0xC358,  true,  true }, // 645
  { "prbar6_el2",  0xE358,  true,  true }, // 646
  { "prbar7_el1",  0xC35C,  true,  true }, // 647
  { "prbar7_el2",  0xE35C,  true,  true }, // 648
  { "prbar8_el1",  0xC360,  true,  true }, // 649
  { "prbar8_el2",  0xE360,  true,  true }, // 650
  { "prbar9_el1",  0xC364,  true,  true }, // 651
  { "prbar9_el2",  0xE364,  true,  true }, // 652
  { "prbar_el1",  0xC340,  true,  true }, // 653
  { "prbar_el2",  0xE340,  true,  true }, // 654
  { "prenr_el1",  0xC309,  true,  true }, // 655
  { "prenr_el2",  0xE309,  true,  true }, // 656
  { "prlar10_el1",  0xC369,  true,  true }, // 657
  { "prlar10_el2",  0xE369,  true,  true }, // 658
  { "prlar11_el1",  0xC36D,  true,  true }, // 659
  { "prlar11_el2",  0xE36D,  true,  true }, // 660
  { "prlar12_el1",  0xC371,  true,  true }, // 661
  { "prlar12_el2",  0xE371,  true,  true }, // 662
  { "prlar13_el1",  0xC375,  true,  true }, // 663
  { "prlar13_el2",  0xE375,  true,  true }, // 664
  { "prlar14_el1",  0xC379,  true,  true }, // 665
  { "prlar14_el2",  0xE379,  true,  true }, // 666
  { "prlar15_el1",  0xC37D,  true,  true }, // 667
  { "prlar15_el2",  0xE37D,  true,  true }, // 668
  { "prlar1_el1",  0xC345,  true,  true }, // 669
  { "prlar1_el2",  0xE345,  true,  true }, // 670
  { "prlar2_el1",  0xC349,  true,  true }, // 671
  { "prlar2_el2",  0xE349,  true,  true }, // 672
  { "prlar3_el1",  0xC34D,  true,  true }, // 673
  { "prlar3_el2",  0xE34D,  true,  true }, // 674
  { "prlar4_el1",  0xC351,  true,  true }, // 675
  { "prlar4_el2",  0xE351,  true,  true }, // 676
  { "prlar5_el1",  0xC355,  true,  true }, // 677
  { "prlar5_el2",  0xE355,  true,  true }, // 678
  { "prlar6_el1",  0xC359,  true,  true }, // 679
  { "prlar6_el2",  0xE359,  true,  true }, // 680
  { "prlar7_el1",  0xC35D,  true,  true }, // 681
  { "prlar7_el2",  0xE35D,  true,  true }, // 682
  { "prlar8_el1",  0xC361,  true,  true }, // 683
  { "prlar8_el2",  0xE361,  true,  true }, // 684
  { "prlar9_el1",  0xC365,  true,  true }, // 685
  { "prlar9_el2",  0xE365,  true,  true }, // 686
  { "prlar_el1",  0xC341,  true,  true }, // 687
  { "prlar_el2",  0xE341,  true,  true }, // 688
  { "prselr_el1",  0xC311,  true,  true }, // 689
  { "prselr_el2",  0xE311,  true,  true }, // 690
  { "revidr_el1",  0xC006,  true,  false }, // 691
  { "rgsr_el1",  0xC085,  true,  true }, // 692
  { "rmr_el1",  0xC602,  true,  true }, // 693
  { "rmr_el2",  0xE602,  true,  true }, // 694
  { "rmr_el3",  0xF602,  true,  true }, // 695
  { "rndr",  0xD920,  true,  false }, // 696
  { "rndrrs",  0xD921,  true,  false }, // 697
  { "rvbar_el1",  0xC601,  true,  false }, // 698
  { "rvbar_el2",  0xE601,  true,  false }, // 699
  { "rvbar_el3",  0xF601,  true,  false }, // 700
  { "scr_el3",  0xF088,  true,  true }, // 701
  { "sctlr_el1",  0xC080,  true,  true }, // 702
  { "sctlr_el12",  0xE880,  true,  true }, // 703
  { "sctlr_el2",  0xE080,  true,  true }, // 704
  { "sctlr_el3",  0xF080,  true,  true }, // 705
  { "scxtnum_el0",  0xDE87,  true,  true }, // 706
  { "scxtnum_el1",  0xC687,  true,  true }, // 707
  { "scxtnum_el12",  0xEE87,  true,  true }, // 708
  { "scxtnum_el2",  0xE687,  true,  true }, // 709
  { "scxtnum_el3",  0xF687,  true,  true }, // 710
  { "sder32_el2",  0xE099,  true,  true }, // 711
  { "sder32_el3",  0xF089,  true,  true }, // 712
  { "smcr_el1",  0xC096,  true,  true }, // 713
  { "smcr_el12",  0xE896,  true,  true }, // 714
  { "smcr_el2",  0xE096,  true,  true }, // 715
  { "smcr_el3",  0xF096,  true,  true }, // 716
  { "smidr_el1",  0xC806,  true,  false }, // 717
  { "smprimap_el2",  0xE095,  true,  true }, // 718
  { "smpri_el1",  0xC094,  true,  true }, // 719
  { "spsel",  0xC210,  true,  true }, // 720
  { "spsr_abt",  0xE219,  true,  true }, // 721
  { "spsr_el1",  0xC200,  true,  true }, // 722
  { "spsr_el12",  0xEA00,  true,  true }, // 723
  { "spsr_el2",  0xE200,  true,  true }, // 724
  { "spsr_el3",  0xF200,  true,  true }, // 725
  { "spsr_fiq",  0xE21B,  true,  true }, // 726
  { "spsr_irq",  0xE218,  true,  true }, // 727
  { "spsr_und",  0xE21A,  true,  true }, // 728
  { "sp_el0",  0xC208,  true,  true }, // 729
  { "sp_el1",  0xE208,  true,  true }, // 730
  { "sp_el2",  0xF208,  true,  true }, // 731
  { "ssbs",  0xDA16,  true,  true }, // 732
  { "svcr",  0xDA12,  true,  true }, // 733
  { "tco",  0xDA17,  true,  true }, // 734
  { "tcr_el1",  0xC102,  true,  true }, // 735
  { "tcr_el12",  0xE902,  true,  true }, // 736
  { "tcr_el2",  0xE102,  true,  true }, // 737
  { "tcr_el3",  0xF102,  true,  true }, // 738
  { "teecr32_el1",  0x9000,  true,  true }, // 739
  { "teehbr32_el1",  0x9080,  true,  true }, // 740
  { "tfsre0_el1",  0xC2B1,  true,  true }, // 741
  { "tfsr_el1",  0xC2B0,  true,  true }, // 742
  { "tfsr_el12",  0xEAB0,  true,  true }, // 743
  { "tfsr_el2",  0xE2B0,  true,  true }, // 744
  { "tfsr_el3",  0xF2B0,  true,  true }, // 745
  { "tpidr2_el0",  0xDE85,  true,  true }, // 746
  { "tpidrro_el0",  0xDE83,  true,  true }, // 747
  { "tpidr_el0",  0xDE82,  true,  true }, // 748
  { "tpidr_el1",  0xC684,  true,  true }, // 749
  { "tpidr_el2",  0xE682,  true,  true }, // 750
  { "tpidr_el3",  0xF682,  true,  true }, // 751
  { "trbbaser_el1",  0xC4DA,  true,  true }, // 752
  { "trbidr_el1",  0xC4DF,  true,  false }, // 753
  { "trblimitr_el1",  0xC4D8,  true,  true }, // 754
  { "trbmar_el1",  0xC4DC,  true,  true }, // 755
  { "trbptr_el1",  0xC4D9,  true,  true }, // 756
  { "trbsr_el1",  0xC4DB,  true,  true }, // 757
  { "trbtrg_el1",  0xC4DE,  true,  true }, // 758
  { "trcacatr0",  0x8902,  true,  true }, // 759
  { "trcacatr1",  0x8912,  true,  true }, // 760
  { "trcacatr10",  0x8923,  true,  true }, // 761
  { "trcacatr11",  0x8933,  true,  true }, // 762
  { "trcacatr12",  0x8943,  true,  true }, // 763
  { "trcacatr13",  0x8953,  true,  true }, // 764
  { "trcacatr14",  0x8963,  true,  true }, // 765
  { "trcacatr15",  0x8973,  true,  true }, // 766
  { "trcacatr2",  0x8922,  true,  true }, // 767
  { "trcacatr3",  0x8932,  true,  true }, // 768
  { "trcacatr4",  0x8942,  true,  true }, // 769
  { "trcacatr5",  0x8952,  true,  true }, // 770
  { "trcacatr6",  0x8962,  true,  true }, // 771
  { "trcacatr7",  0x8972,  true,  true }, // 772
  { "trcacatr8",  0x8903,  true,  true }, // 773
  { "trcacatr9",  0x8913,  true,  true }, // 774
  { "trcacvr0",  0x8900,  true,  true }, // 775
  { "trcacvr1",  0x8910,  true,  true }, // 776
  { "trcacvr10",  0x8921,  true,  true }, // 777
  { "trcacvr11",  0x8931,  true,  true }, // 778
  { "trcacvr12",  0x8941,  true,  true }, // 779
  { "trcacvr13",  0x8951,  true,  true }, // 780
  { "trcacvr14",  0x8961,  true,  true }, // 781
  { "trcacvr15",  0x8971,  true,  true }, // 782
  { "trcacvr2",  0x8920,  true,  true }, // 783
  { "trcacvr3",  0x8930,  true,  true }, // 784
  { "trcacvr4",  0x8940,  true,  true }, // 785
  { "trcacvr5",  0x8950,  true,  true }, // 786
  { "trcacvr6",  0x8960,  true,  true }, // 787
  { "trcacvr7",  0x8970,  true,  true }, // 788
  { "trcacvr8",  0x8901,  true,  true }, // 789
  { "trcacvr9",  0x8911,  true,  true }, // 790
  { "trcauthstatus",  0x8BF6,  true,  false }, // 791
  { "trcauxctlr",  0x8830,  true,  true }, // 792
  { "trcbbctlr",  0x8878,  true,  true }, // 793
  { "trcccctlr",  0x8870,  true,  true }, // 794
  { "trccidcctlr0",  0x8982,  true,  true }, // 795
  { "trccidcctlr1",  0x898A,  true,  true }, // 796
  { "trccidcvr0",  0x8980,  true,  true }, // 797
  { "trccidcvr1",  0x8990,  true,  true }, // 798
  { "trccidcvr2",  0x89A0,  true,  true }, // 799
  { "trccidcvr3",  0x89B0,  true,  true }, // 800
  { "trccidcvr4",  0x89C0,  true,  true }, // 801
  { "trccidcvr5",  0x89D0,  true,  true }, // 802
  { "trccidcvr6",  0x89E0,  true,  true }, // 803
  { "trccidcvr7",  0x89F0,  true,  true }, // 804
  { "trccidr0",  0x8BE7,  true,  false }, // 805
  { "trccidr1",  0x8BEF,  true,  false }, // 806
  { "trccidr2",  0x8BF7,  true,  false }, // 807
  { "trccidr3",  0x8BFF,  true,  false }, // 808
  { "trcclaimclr",  0x8BCE,  true,  true }, // 809
  { "trcclaimset",  0x8BC6,  true,  true }, // 810
  { "trccntctlr0",  0x8825,  true,  true }, // 811
  { "trccntctlr1",  0x882D,  true,  true }, // 812
  { "trccntctlr2",  0x8835,  true,  true }, // 813
  { "trccntctlr3",  0x883D,  true,  true }, // 814
  { "trccntrldvr0",  0x8805,  true,  true }, // 815
  { "trccntrldvr1",  0x880D,  true,  true }, // 816
  { "trccntrldvr2",  0x8815,  true,  true }, // 817
  { "trccntrldvr3",  0x881D,  true,  true }, // 818
  { "trccntvr0",  0x8845,  true,  true }, // 819
  { "trccntvr1",  0x884D,  true,  true }, // 820
  { "trccntvr2",  0x8855,  true,  true }, // 821
  { "trccntvr3",  0x885D,  true,  true }, // 822
  { "trcconfigr",  0x8820,  true,  true }, // 823
  { "trcdevaff0",  0x8BD6,  true,  false }, // 824
  { "trcdevaff1",  0x8BDE,  true,  false }, // 825
  { "trcdevarch",  0x8BFE,  true,  false }, // 826
  { "trcdevid",  0x8B97,  true,  false }, // 827
  { "trcdevtype",  0x8B9F,  true,  false }, // 828
  { "trcdvcmr0",  0x8906,  true,  true }, // 829
  { "trcdvcmr1",  0x8926,  true,  true }, // 830
  { "trcdvcmr2",  0x8946,  true,  true }, // 831
  { "trcdvcmr3",  0x8966,  true,  true }, // 832
  { "trcdvcmr4",  0x8907,  true,  true }, // 833
  { "trcdvcmr5",  0x8927,  true,  true }, // 834
  { "trcdvcmr6",  0x8947,  true,  true }, // 835
  { "trcdvcmr7",  0x8967,  true,  true }, // 836
  { "trcdvcvr0",  0x8904,  true,  true }, // 837
  { "trcdvcvr1",  0x8924,  true,  true }, // 838
  { "trcdvcvr2",  0x8944,  true,  true }, // 839
  { "trcdvcvr3",  0x8964,  true,  true }, // 840
  { "trcdvcvr4",  0x8905,  true,  true }, // 841
  { "trcdvcvr5",  0x8925,  true,  true }, // 842
  { "trcdvcvr6",  0x8945,  true,  true }, // 843
  { "trcdvcvr7",  0x8965,  true,  true }, // 844
  { "trceventctl0r",  0x8840,  true,  true }, // 845
  { "trceventctl1r",  0x8848,  true,  true }, // 846
  { "trcextinselr",  0x8844,  true,  true }, // 847
  { "trcextinselr0",  0x8844,  true,  true }, // 848
  { "trcextinselr1",  0x884C,  true,  true }, // 849
  { "trcextinselr2",  0x8854,  true,  true }, // 850
  { "trcextinselr3",  0x885C,  true,  true }, // 851
  { "trcidr0",  0x8847,  true,  false }, // 852
  { "trcidr1",  0x884F,  true,  false }, // 853
  { "trcidr10",  0x8816,  true,  false }, // 854
  { "trcidr11",  0x881E,  true,  false }, // 855
  { "trcidr12",  0x8826,  true,  false }, // 856
  { "trcidr13",  0x882E,  true,  false }, // 857
  { "trcidr2",  0x8857,  true,  false }, // 858
  { "trcidr3",  0x885F,  true,  false }, // 859
  { "trcidr4",  0x8867,  true,  false }, // 860
  { "trcidr5",  0x886F,  true,  false }, // 861
  { "trcidr6",  0x8877,  true,  false }, // 862
  { "trcidr7",  0x887F,  true,  false }, // 863
  { "trcidr8",  0x8806,  true,  false }, // 864
  { "trcidr9",  0x880E,  true,  false }, // 865
  { "trcimspec0",  0x8807,  true,  true }, // 866
  { "trcimspec1",  0x880F,  true,  true }, // 867
  { "trcimspec2",  0x8817,  true,  true }, // 868
  { "trcimspec3",  0x881F,  true,  true }, // 869
  { "trcimspec4",  0x8827,  true,  true }, // 870
  { "trcimspec5",  0x882F,  true,  true }, // 871
  { "trcimspec6",  0x8837,  true,  true }, // 872
  { "trcimspec7",  0x883F,  true,  true }, // 873
  { "trcitctrl",  0x8B84,  true,  true }, // 874
  { "trclar",  0x8BE6,  false,  true }, // 875
  { "trclsr",  0x8BEE,  true,  false }, // 876
  { "trcoslar",  0x8884,  false,  true }, // 877
  { "trcoslsr",  0x888C,  true,  false }, // 878
  { "trcpdcr",  0x88A4,  true,  true }, // 879
  { "trcpdsr",  0x88AC,  true,  false }, // 880
  { "trcpidr0",  0x8BC7,  true,  false }, // 881
  { "trcpidr1",  0x8BCF,  true,  false }, // 882
  { "trcpidr2",  0x8BD7,  true,  false }, // 883
  { "trcpidr3",  0x8BDF,  true,  false }, // 884
  { "trcpidr4",  0x8BA7,  true,  false }, // 885
  { "trcpidr5",  0x8BAF,  true,  false }, // 886
  { "trcpidr6",  0x8BB7,  true,  false }, // 887
  { "trcpidr7",  0x8BBF,  true,  false }, // 888
  { "trcprgctlr",  0x8808,  true,  true }, // 889
  { "trcprocselr",  0x8810,  true,  true }, // 890
  { "trcqctlr",  0x8809,  true,  true }, // 891
  { "trcrsctlr10",  0x88D0,  true,  true }, // 892
  { "trcrsctlr11",  0x88D8,  true,  true }, // 893
  { "trcrsctlr12",  0x88E0,  true,  true }, // 894
  { "trcrsctlr13",  0x88E8,  true,  true }, // 895
  { "trcrsctlr14",  0x88F0,  true,  true }, // 896
  { "trcrsctlr15",  0x88F8,  true,  true }, // 897
  { "trcrsctlr16",  0x8881,  true,  true }, // 898
  { "trcrsctlr17",  0x8889,  true,  true }, // 899
  { "trcrsctlr18",  0x8891,  true,  true }, // 900
  { "trcrsctlr19",  0x8899,  true,  true }, // 901
  { "trcrsctlr2",  0x8890,  true,  true }, // 902
  { "trcrsctlr20",  0x88A1,  true,  true }, // 903
  { "trcrsctlr21",  0x88A9,  true,  true }, // 904
  { "trcrsctlr22",  0x88B1,  true,  true }, // 905
  { "trcrsctlr23",  0x88B9,  true,  true }, // 906
  { "trcrsctlr24",  0x88C1,  true,  true }, // 907
  { "trcrsctlr25",  0x88C9,  true,  true }, // 908
  { "trcrsctlr26",  0x88D1,  true,  true }, // 909
  { "trcrsctlr27",  0x88D9,  true,  true }, // 910
  { "trcrsctlr28",  0x88E1,  true,  true }, // 911
  { "trcrsctlr29",  0x88E9,  true,  true }, // 912
  { "trcrsctlr3",  0x8898,  true,  true }, // 913
  { "trcrsctlr30",  0x88F1,  true,  true }, // 914
  { "trcrsctlr31",  0x88F9,  true,  true }, // 915
  { "trcrsctlr4",  0x88A0,  true,  true }, // 916
  { "trcrsctlr5",  0x88A8,  true,  true }, // 917
  { "trcrsctlr6",  0x88B0,  true,  true }, // 918
  { "trcrsctlr7",  0x88B8,  true,  true }, // 919
  { "trcrsctlr8",  0x88C0,  true,  true }, // 920
  { "trcrsctlr9",  0x88C8,  true,  true }, // 921
  { "trcrsr",  0x8850,  true,  true }, // 922
  { "trcseqevr0",  0x8804,  true,  true }, // 923
  { "trcseqevr1",  0x880C,  true,  true }, // 924
  { "trcseqevr2",  0x8814,  true,  true }, // 925
  { "trcseqrstevr",  0x8834,  true,  true }, // 926
  { "trcseqstr",  0x883C,  true,  true }, // 927
  { "trcssccr0",  0x8882,  true,  true }, // 928
  { "trcssccr1",  0x888A,  true,  true }, // 929
  { "trcssccr2",  0x8892,  true,  true }, // 930
  { "trcssccr3",  0x889A,  true,  true }, // 931
  { "trcssccr4",  0x88A2,  true,  true }, // 932
  { "trcssccr5",  0x88AA,  true,  true }, // 933
  { "trcssccr6",  0x88B2,  true,  true }, // 934
  { "trcssccr7",  0x88BA,  true,  true }, // 935
  { "trcsscsr0",  0x88C2,  true,  true }, // 936
  { "trcsscsr1",  0x88CA,  true,  true }, // 937
  { "trcsscsr2",  0x88D2,  true,  true }, // 938
  { "trcsscsr3",  0x88DA,  true,  true }, // 939
  { "trcsscsr4",  0x88E2,  true,  true }, // 940
  { "trcsscsr5",  0x88EA,  true,  true }, // 941
  { "trcsscsr6",  0x88F2,  true,  true }, // 942
  { "trcsscsr7",  0x88FA,  true,  true }, // 943
  { "trcsspcicr0",  0x8883,  true,  true }, // 944
  { "trcsspcicr1",  0x888B,  true,  true }, // 945
  { "trcsspcicr2",  0x8893,  true,  true }, // 946
  { "trcsspcicr3",  0x889B,  true,  true }, // 947
  { "trcsspcicr4",  0x88A3,  true,  true }, // 948
  { "trcsspcicr5",  0x88AB,  true,  true }, // 949
  { "trcsspcicr6",  0x88B3,  true,  true }, // 950
  { "trcsspcicr7",  0x88BB,  true,  true }, // 951
  { "trcstallctlr",  0x8858,  true,  true }, // 952
  { "trcstatr",  0x8818,  true,  false }, // 953
  { "trcsyncpr",  0x8868,  true,  true }, // 954
  { "trctraceidr",  0x8801,  true,  true }, // 955
  { "trctsctlr",  0x8860,  true,  true }, // 956
  { "trcvdarcctlr",  0x8852,  true,  true }, // 957
  { "trcvdctlr",  0x8842,  true,  true }, // 958
  { "trcvdsacctlr",  0x884A,  true,  true }, // 959
  { "trcvictlr",  0x8802,  true,  true }, // 960
  { "trcviiectlr",  0x880A,  true,  true }, // 961
  { "trcvipcssctlr",  0x881A,  true,  true }, // 962
  { "trcvissctlr",  0x8812,  true,  true }, // 963
  { "trcvmidcctlr0",  0x8992,  true,  true }, // 964
  { "trcvmidcctlr1",  0x899A,  true,  true }, // 965
  { "trcvmidcvr0",  0x8981,  true,  true }, // 966
  { "trcvmidcvr1",  0x8991,  true,  true }, // 967
  { "trcvmidcvr2",  0x89A1,  true,  true }, // 968
  { "trcvmidcvr3",  0x89B1,  true,  true }, // 969
  { "trcvmidcvr4",  0x89C1,  true,  true }, // 970
  { "trcvmidcvr5",  0x89D1,  true,  true }, // 971
  { "trcvmidcvr6",  0x89E1,  true,  true }, // 972
  { "trcvmidcvr7",  0x89F1,  true,  true }, // 973
  { "trfcr_el1",  0xC091,  true,  true }, // 974
  { "trfcr_el12",  0xE891,  true,  true }, // 975
  { "trfcr_el2",  0xE091,  true,  true }, // 976
  { "ttbr0_el1",  0xC100,  true,  true }, // 977
  { "ttbr0_el12",  0xE900,  true,  true }, // 978
  { "ttbr0_el2",  0xE100,  true,  true }, // 979
  { "ttbr0_el3",  0xF100,  true,  true }, // 980
  { "ttbr1_el1",  0xC101,  true,  true }, // 981
  { "ttbr1_el12",  0xE901,  true,  true }, // 982
  { "ttbr1_el2",  0xE101,  true,  true }, // 983
  { "uao",  0xC214,  true,  true }, // 984
  { "vbar_el1",  0xC600,  true,  true }, // 985
  { "vbar_el12",  0xEE00,  true,  true }, // 986
  { "vbar_el2",  0xE600,  true,  true }, // 987
  { "vbar_el3",  0xF600,  true,  true }, // 988
  { "vdisr_el2",  0xE609,  true,  true }, // 989
  { "vmpidr_el2",  0xE005,  true,  true }, // 990
  { "vncr_el2",  0xE110,  true,  true }, // 991
  { "vpidr_el2",  0xE000,  true,  true }, // 992
  { "vsctlr_el2",  0xE100,  true,  true }, // 993
  { "vsesr_el2",  0xE293,  true,  true }, // 994
  { "vstcr_el2",  0xE132,  true,  true }, // 995
  { "vsttbr_el2",  0xE130,  true,  true }, // 996
  { "vtcr_el2",  0xE10A,  true,  true }, // 997
  { "vttbr_el2",  0xE108,  true,  true }, // 998
  { "zcr_el1",  0xC090,  true,  true }, // 999
  { "zcr_el12",  0xE890,  true,  true }, // 1000
  { "zcr_el2",  0xE090,  true,  true }, // 1001
  { "zcr_el3",  0xF090,  true,  true }, // 1002
};

const SysReg *lookupSysRegByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x8002, 523 },
    { 0x8004, 285 },
    { 0x8005, 269 },
    { 0x8006, 324 },
    { 0x8007, 308 },
    { 0x800C, 292 },
    { 0x800D, 276 },
    { 0x800E, 331 },
    { 0x800F, 315 },
    { 0x8010, 490 },
    { 0x8012, 495 },
    { 0x8014, 293 },
    { 0x8015, 277 },
    { 0x8016, 332 },
    { 0x8017, 316 },
    { 0x801A, 524 },
    { 0x801C, 294 },
    { 0x801D, 278 },
    { 0x801E, 333 },
    { 0x801F, 317 },
    { 0x8024, 295 },
    { 0x8025, 279 },
    { 0x8026, 334 },
    { 0x8027, 318 },
    { 0x802C, 296 },
    { 0x802D, 280 },
    { 0x802E, 335 },
    { 0x802F, 319 },
    { 0x8032, 525 },
    { 0x8034, 297 },
    { 0x8035, 281 },
    { 0x8036, 336 },
    { 0x8037, 320 },
    { 0x803C, 298 },
    { 0x803D, 282 },
    { 0x803E, 337 },
    { 0x803F, 321 },
    { 0x8044, 299 },
    { 0x8045, 283 },
    { 0x8046, 338 },
    { 0x8047, 322 },
    { 0x804C, 300 },
    { 0x804D, 284 },
    { 0x804E, 339 },
    { 0x804F, 323 },
    { 0x8054, 286 },
    { 0x8055, 270 },
    { 0x8056, 325 },
    { 0x8057, 309 },
    { 0x805C, 287 },
    { 0x805D, 271 },
    { 0x805E, 326 },
    { 0x805F, 310 },
    { 0x8064, 288 },
    { 0x8065, 272 },
    { 0x8066, 327 },
    { 0x8067, 311 },
    { 0x806C, 289 },
    { 0x806D, 273 },
    { 0x806E, 328 },
    { 0x806F, 312 },
    { 0x8074, 290 },
    { 0x8075, 274 },
    { 0x8076, 329 },
    { 0x8077, 313 },
    { 0x807C, 291 },
    { 0x807D, 275 },
    { 0x807E, 330 },
    { 0x807F, 314 },
    { 0x8080, 494 },
    { 0x8084, 526 },
    { 0x808C, 527 },
    { 0x809C, 522 },
    { 0x80A4, 306 },
    { 0x83C6, 302 },
    { 0x83CE, 301 },
    { 0x83F6, 268 },
    { 0x8801, 955 },
    { 0x8802, 960 },
    { 0x8804, 923 },
    { 0x8805, 815 },
    { 0x8806, 864 },
    { 0x8807, 866 },
    { 0x8808, 889 },
    { 0x8809, 891 },
    { 0x880A, 961 },
    { 0x880C, 924 },
    { 0x880D, 816 },
    { 0x880E, 865 },
    { 0x880F, 867 },
    { 0x8810, 890 },
    { 0x8812, 963 },
    { 0x8814, 925 },
    { 0x8815, 817 },
    { 0x8816, 854 },
    { 0x8817, 868 },
    { 0x8818, 953 },
    { 0x881A, 962 },
    { 0x881D, 818 },
    { 0x881E, 855 },
    { 0x881F, 869 },
    { 0x8820, 823 },
    { 0x8825, 811 },
    { 0x8826, 856 },
    { 0x8827, 870 },
    { 0x882D, 812 },
    { 0x882E, 857 },
    { 0x882F, 871 },
    { 0x8830, 792 },
    { 0x8834, 926 },
    { 0x8835, 813 },
    { 0x8837, 872 },
    { 0x883C, 927 },
    { 0x883D, 814 },
    { 0x883F, 873 },
    { 0x8840, 845 },
    { 0x8842, 958 },
    { 0x8844, 847 },
    { 0x8844, 848 },
    { 0x8845, 819 },
    { 0x8847, 852 },
    { 0x8848, 846 },
    { 0x884A, 959 },
    { 0x884C, 849 },
    { 0x884D, 820 },
    { 0x884F, 853 },
    { 0x8850, 922 },
    { 0x8852, 957 },
    { 0x8854, 850 },
    { 0x8855, 821 },
    { 0x8857, 858 },
    { 0x8858, 952 },
    { 0x885C, 851 },
    { 0x885D, 822 },
    { 0x885F, 859 },
    { 0x8860, 956 },
    { 0x8867, 860 },
    { 0x8868, 954 },
    { 0x886F, 861 },
    { 0x8870, 794 },
    { 0x8877, 862 },
    { 0x8878, 793 },
    { 0x887F, 863 },
    { 0x8881, 898 },
    { 0x8882, 928 },
    { 0x8883, 944 },
    { 0x8884, 877 },
    { 0x8889, 899 },
    { 0x888A, 929 },
    { 0x888B, 945 },
    { 0x888C, 878 },
    { 0x8890, 902 },
    { 0x8891, 900 },
    { 0x8892, 930 },
    { 0x8893, 946 },
    { 0x8898, 913 },
    { 0x8899, 901 },
    { 0x889A, 931 },
    { 0x889B, 947 },
    { 0x88A0, 916 },
    { 0x88A1, 903 },
    { 0x88A2, 932 },
    { 0x88A3, 948 },
    { 0x88A4, 879 },
    { 0x88A8, 917 },
    { 0x88A9, 904 },
    { 0x88AA, 933 },
    { 0x88AB, 949 },
    { 0x88AC, 880 },
    { 0x88B0, 918 },
    { 0x88B1, 905 },
    { 0x88B2, 934 },
    { 0x88B3, 950 },
    { 0x88B8, 919 },
    { 0x88B9, 906 },
    { 0x88BA, 935 },
    { 0x88BB, 951 },
    { 0x88C0, 920 },
    { 0x88C1, 907 },
    { 0x88C2, 936 },
    { 0x88C8, 921 },
    { 0x88C9, 908 },
    { 0x88CA, 937 },
    { 0x88D0, 892 },
    { 0x88D1, 909 },
    { 0x88D2, 938 },
    { 0x88D8, 893 },
    { 0x88D9, 910 },
    { 0x88DA, 939 },
    { 0x88E0, 894 },
    { 0x88E1, 911 },
    { 0x88E2, 940 },
    { 0x88E8, 895 },
    { 0x88E9, 912 },
    { 0x88EA, 941 },
    { 0x88F0, 896 },
    { 0x88F1, 914 },
    { 0x88F2, 942 },
    { 0x88F8, 897 },
    { 0x88F9, 915 },
    { 0x88FA, 943 },
    { 0x8900, 775 },
    { 0x8901, 789 },
    { 0x8902, 759 },
    { 0x8903, 773 },
    { 0x8904, 837 },
    { 0x8905, 841 },
    { 0x8906, 829 },
    { 0x8907, 833 },
    { 0x8910, 776 },
    { 0x8911, 790 },
    { 0x8912, 760 },
    { 0x8913, 774 },
    { 0x8920, 783 },
    { 0x8921, 777 },
    { 0x8922, 767 },
    { 0x8923, 761 },
    { 0x8924, 838 },
    { 0x8925, 842 },
    { 0x8926, 830 },
    { 0x8927, 834 },
    { 0x8930, 784 },
    { 0x8931, 778 },
    { 0x8932, 768 },
    { 0x8933, 762 },
    { 0x8940, 785 },
    { 0x8941, 779 },
    { 0x8942, 769 },
    { 0x8943, 763 },
    { 0x8944, 839 },
    { 0x8945, 843 },
    { 0x8946, 831 },
    { 0x8947, 835 },
    { 0x8950, 786 },
    { 0x8951, 780 },
    { 0x8952, 770 },
    { 0x8953, 764 },
    { 0x8960, 787 },
    { 0x8961, 781 },
    { 0x8962, 771 },
    { 0x8963, 765 },
    { 0x8964, 840 },
    { 0x8965, 844 },
    { 0x8966, 832 },
    { 0x8967, 836 },
    { 0x8970, 788 },
    { 0x8971, 782 },
    { 0x8972, 772 },
    { 0x8973, 766 },
    { 0x8980, 797 },
    { 0x8981, 966 },
    { 0x8982, 795 },
    { 0x898A, 796 },
    { 0x8990, 798 },
    { 0x8991, 967 },
    { 0x8992, 964 },
    { 0x899A, 965 },
    { 0x89A0, 799 },
    { 0x89A1, 968 },
    { 0x89B0, 800 },
    { 0x89B1, 969 },
    { 0x89C0, 801 },
    { 0x89C1, 970 },
    { 0x89D0, 802 },
    { 0x89D1, 971 },
    { 0x89E0, 803 },
    { 0x89E1, 972 },
    { 0x89F0, 804 },
    { 0x89F1, 973 },
    { 0x8B84, 874 },
    { 0x8B97, 827 },
    { 0x8B9F, 828 },
    { 0x8BA7, 885 },
    { 0x8BAF, 886 },
    { 0x8BB7, 887 },
    { 0x8BBF, 888 },
    { 0x8BC6, 810 },
    { 0x8BC7, 881 },
    { 0x8BCE, 809 },
    { 0x8BCF, 882 },
    { 0x8BD6, 824 },
    { 0x8BD7, 883 },
    { 0x8BDE, 825 },
    { 0x8BDF, 884 },
    { 0x8BE6, 875 },
    { 0x8BE7, 805 },
    { 0x8BEE, 876 },
    { 0x8BEF, 806 },
    { 0x8BF6, 791 },
    { 0x8BF7, 807 },
    { 0x8BFE, 826 },
    { 0x8BFF, 808 },
    { 0x8C00, 112 },
    { 0x8C01, 145 },
    { 0x8C02, 178 },
    { 0x8C04, 119 },
    { 0x8C05, 152 },
    { 0x8C06, 185 },
    { 0x8C08, 123 },
    { 0x8C09, 156 },
    { 0x8C0A, 189 },
    { 0x8C0C, 120 },
    { 0x8C0D, 153 },
    { 0x8C0E, 186 },
    { 0x8C10, 134 },
    { 0x8C11, 167 },
    { 0x8C12, 200 },
    { 0x8C14, 121 },
    { 0x8C15, 154 },
    { 0x8C16, 187 },
    { 0x8C18, 137 },
    { 0x8C19, 170 },
    { 0x8C1A, 203 },
    { 0x8C1C, 122 },
    { 0x8C1D, 155 },
    { 0x8C1E, 188 },
    { 0x8C20, 138 },
    { 0x8C21, 171 },
    { 0x8C22, 204 },
    { 0x8C24, 124 },
    { 0x8C25, 157 },
    { 0x8C26, 190 },
    { 0x8C28, 139 },
    { 0x8C29, 172 },
    { 0x8C2A, 205 },
    { 0x8C2C, 125 },
    { 0x8C2D, 158 },
    { 0x8C2E, 191 },
    { 0x8C30, 140 },
    { 0x8C31, 173 },
    { 0x8C32, 206 },
    { 0x8C34, 126 },
    { 0x8C35, 159 },
    { 0x8C36, 192 },
    { 0x8C38, 141 },
    { 0x8C39, 174 },
    { 0x8C3A, 207 },
    { 0x8C3C, 127 },
    { 0x8C3D, 160 },
    { 0x8C3E, 193 },
    { 0x8C40, 142 },
    { 0x8C41, 175 },
    { 0x8C42, 208 },
    { 0x8C44, 128 },
    { 0x8C45, 161 },
    { 0x8C46, 194 },
    { 0x8C48, 143 },
    { 0x8C49, 176 },
    { 0x8C4A, 209 },
    { 0x8C4C, 129 },
    { 0x8C4D, 162 },
    { 0x8C4E, 195 },
    { 0x8C50, 113 },
    { 0x8C51, 146 },
    { 0x8C52, 179 },
    { 0x8C54, 130 },
    { 0x8C55, 163 },
    { 0x8C56, 196 },
    { 0x8C58, 114 },
    { 0x8C59, 147 },
    { 0x8C5A, 180 },
    { 0x8C5C, 131 },
    { 0x8C5D, 164 },
    { 0x8C5E, 197 },
    { 0x8C60, 115 },
    { 0x8C61, 148 },
    { 0x8C62, 181 },
    { 0x8C64, 132 },
    { 0x8C65, 165 },
    { 0x8C66, 198 },
    { 0x8C68, 116 },
    { 0x8C69, 149 },
    { 0x8C6A, 182 },
    { 0x8C6C, 133 },
    { 0x8C6D, 166 },
    { 0x8C6E, 199 },
    { 0x8C70, 117 },
    { 0x8C71, 150 },
    { 0x8C72, 183 },
    { 0x8C74, 135 },
    { 0x8C75, 168 },
    { 0x8C76, 201 },
    { 0x8C78, 118 },
    { 0x8C79, 151 },
    { 0x8C7A, 184 },
    { 0x8C7C, 136 },
    { 0x8C7D, 169 },
    { 0x8C7E, 202 },
    { 0x8C80, 107 },
    { 0x8C81, 110 },
    { 0x8C82, 211 },
    { 0x8C88, 144 },
    { 0x8C89, 177 },
    { 0x8C8A, 210 },
    { 0x8C90, 111 },
    { 0x9000, 739 },
    { 0x9080, 740 },
    { 0x9808, 491 },
    { 0x9820, 305 },
    { 0x9828, 303 },
    { 0x9828, 304 },
    { 0xA038, 307 },
    { 0xA480, 109 },
    { 0xAC80, 108 },
    { 0xC000, 497 },
    { 0xC004, 516 },
    { 0xC005, 515 },
    { 0xC006, 691 },
    { 0xC008, 476 },
    { 0xC009, 477 },
    { 0xC00A, 462 },
    { 0xC00B, 461 },
    { 0xC00C, 470 },
    { 0xC00D, 471 },
    { 0xC00E, 472 },
    { 0xC00F, 473 },
    { 0xC010, 463 },
    { 0xC011, 464 },
    { 0xC012, 465 },
    { 0xC013, 466 },
    { 0xC014, 467 },
    { 0xC015, 468 },
    { 0xC016, 474 },
    { 0xC017, 469 },
    { 0xC018, 518 },
    { 0xC019, 519 },
    { 0xC01A, 520 },
    { 0xC01C, 478 },
    { 0xC01E, 475 },
    { 0xC020, 457 },
    { 0xC021, 458 },
    { 0xC024, 460 },
    { 0xC025, 459 },
    { 0xC028, 449 },
    { 0xC029, 450 },
    { 0xC02C, 447 },
    { 0xC02D, 448 },
    { 0xC030, 451 },
    { 0xC031, 452 },
    { 0xC032, 453 },
    { 0xC038, 454 },
    { 0xC039, 455 },
    { 0xC03A, 456 },
    { 0xC080, 702 },
    { 0xC081, 1 },
    { 0xC082, 258 },
    { 0xC085, 692 },
    { 0xC086, 373 },
    { 0xC090, 999 },
    { 0xC091, 974 },
    { 0xC094, 719 },
    { 0xC096, 713 },
    { 0xC100, 977 },
    { 0xC101, 981 },
    { 0xC102, 735 },
    { 0xC108, 104 },
    { 0xC109, 103 },
    { 0xC10A, 106 },
    { 0xC10B, 105 },
    { 0xC110, 98 },
    { 0xC111, 97 },
    { 0xC112, 100 },
    { 0xC113, 99 },
    { 0xC118, 102 },
    { 0xC119, 101 },
    { 0xC200, 722 },
    { 0xC201, 345 },
    { 0xC208, 729 },
    { 0xC210, 720 },
    { 0xC212, 265 },
    { 0xC213, 528 },
    { 0xC214, 984 },
    { 0xC230, 410 },
    { 0xC288, 4 },
    { 0xC289, 8 },
    { 0xC290, 362 },
    { 0xC298, 349 },
    { 0xC299, 350 },
    { 0xC2A0, 353 },
    { 0xC2A1, 352 },
    { 0xC2A2, 361 },
    { 0xC2A3, 351 },
    { 0xC2A4, 360 },
    { 0xC2A5, 359 },
    { 0xC2A6, 358 },
    { 0xC2A8, 354 },
    { 0xC2A9, 355 },
    { 0xC2AA, 356 },
    { 0xC2AB, 357 },
    { 0xC2B0, 742 },
    { 0xC2B1, 741 },
    { 0xC300, 366 },
    { 0xC309, 655 },
    { 0xC311, 689 },
    { 0xC340, 653 },
    { 0xC341, 687 },
    { 0xC344, 635 },
    { 0xC345, 669 },
    { 0xC348, 637 },
    { 0xC349, 671 },
    { 0xC34C, 639 },
    { 0xC34D, 673 },
    { 0xC350, 641 },
    { 0xC351, 675 },
    { 0xC354, 643 },
    { 0xC355, 677 },
    { 0xC358, 645 },
    { 0xC359, 679 },
    { 0xC35C, 647 },
    { 0xC35D, 681 },
    { 0xC360, 649 },
    { 0xC361, 683 },
    { 0xC364, 651 },
    { 0xC365, 685 },
    { 0xC368, 623 },
    { 0xC369, 657 },
    { 0xC36C, 625 },
    { 0xC36D, 659 },
    { 0xC370, 627 },
    { 0xC371, 661 },
    { 0xC374, 629 },
    { 0xC375, 663 },
    { 0xC378, 631 },
    { 0xC379, 665 },
    { 0xC37C, 633 },
    { 0xC37D, 667 },
    { 0xC3A0, 529 },
    { 0xC4C8, 608 },
    { 0xC4C9, 618 },
    { 0xC4CA, 614 },
    { 0xC4CB, 616 },
    { 0xC4CC, 613 },
    { 0xC4CD, 612 },
    { 0xC4CE, 617 },
    { 0xC4CF, 615 },
    { 0xC4D0, 531 },
    { 0xC4D1, 532 },
    { 0xC4D3, 533 },
    { 0xC4D7, 530 },
    { 0xC4D8, 754 },
    { 0xC4D9, 756 },
    { 0xC4DA, 752 },
    { 0xC4DB, 757 },
    { 0xC4DC, 755 },
    { 0xC4DE, 758 },
    { 0xC4DF, 753 },
    { 0xC4F1, 604 },
    { 0xC4F2, 603 },
    { 0xC4F6, 605 },
    { 0xC510, 486 },
    { 0xC518, 13 },
    { 0xC520, 485 },
    { 0xC521, 482 },
    { 0xC522, 484 },
    { 0xC523, 481 },
    { 0xC524, 504 },
    { 0xC527, 483 },
    { 0xC528, 499 },
    { 0xC529, 498 },
    { 0xC52B, 505 },
    { 0xC600, 985 },
    { 0xC601, 698 },
    { 0xC602, 693 },
    { 0xC608, 480 },
    { 0xC609, 341 },
    { 0xC640, 405 },
    { 0xC641, 401 },
    { 0xC642, 403 },
    { 0xC643, 396 },
    { 0xC644, 387 },
    { 0xC645, 388 },
    { 0xC646, 389 },
    { 0xC647, 390 },
    { 0xC648, 391 },
    { 0xC649, 392 },
    { 0xC64A, 393 },
    { 0xC64B, 394 },
    { 0xC659, 400 },
    { 0xC65B, 411 },
    { 0xC65D, 413 },
    { 0xC65E, 395 },
    { 0xC65F, 412 },
    { 0xC660, 406 },
    { 0xC661, 402 },
    { 0xC662, 404 },
    { 0xC663, 397 },
    { 0xC664, 398 },
    { 0xC665, 414 },
    { 0xC666, 407 },
    { 0xC667, 408 },
    { 0xC681, 255 },
    { 0xC684, 749 },
    { 0xC685, 0 },
    { 0xC687, 707 },
    { 0xC708, 230 },
    { 0xC800, 213 },
    { 0xC801, 214 },
    { 0xC802, 212 },
    { 0xC804, 374 },
    { 0xC806, 717 },
    { 0xC807, 12 },
    { 0xD000, 263 },
    { 0xD801, 264 },
    { 0xD807, 340 },
    { 0xD920, 696 },
    { 0xD921, 697 },
    { 0xDA10, 521 },
    { 0xDA11, 267 },
    { 0xDA12, 733 },
    { 0xDA15, 342 },
    { 0xDA16, 732 },
    { 0xDA17, 734 },
    { 0xDA20, 370 },
    { 0xDA21, 372 },
    { 0xDA28, 344 },
    { 0xDA29, 343 },
    { 0xDCE0, 540 },
    { 0xDCE1, 539 },
    { 0xDCE2, 538 },
    { 0xDCE3, 606 },
    { 0xDCE4, 619 },
    { 0xDCE5, 611 },
    { 0xDCE6, 536 },
    { 0xDCE7, 537 },
    { 0xDCE8, 535 },
    { 0xDCE9, 622 },
    { 0xDCEA, 621 },
    { 0xDCF0, 620 },
    { 0xDCF3, 607 },
    { 0xDE82, 748 },
    { 0xDE83, 747 },
    { 0xDE85, 746 },
    { 0xDE87, 706 },
    { 0xDE90, 23 },
    { 0xDE91, 17 },
    { 0xDE92, 18 },
    { 0xDE93, 96 },
    { 0xDE94, 19 },
    { 0xDE95, 21 },
    { 0xDE98, 20 },
    { 0xDE99, 22 },
    { 0xDEA0, 24 },
    { 0xDEA1, 25 },
    { 0xDEA2, 26 },
    { 0xDEA3, 27 },
    { 0xDEB0, 76 },
    { 0xDEB1, 77 },
    { 0xDEB2, 78 },
    { 0xDEB3, 79 },
    { 0xDEE0, 28 },
    { 0xDEE1, 35 },
    { 0xDEE2, 36 },
    { 0xDEE3, 37 },
    { 0xDEE4, 38 },
    { 0xDEE5, 39 },
    { 0xDEE6, 40 },
    { 0xDEE7, 41 },
    { 0xDEE8, 42 },
    { 0xDEE9, 43 },
    { 0xDEEA, 29 },
    { 0xDEEB, 30 },
    { 0xDEEC, 31 },
    { 0xDEED, 32 },
    { 0xDEEE, 33 },
    { 0xDEEF, 34 },
    { 0xDEF0, 80 },
    { 0xDEF1, 87 },
    { 0xDEF2, 88 },
    { 0xDEF3, 89 },
    { 0xDEF4, 90 },
    { 0xDEF5, 91 },
    { 0xDEF6, 92 },
    { 0xDEF7, 93 },
    { 0xDEF8, 94 },
    { 0xDEF9, 95 },
    { 0xDEFA, 81 },
    { 0xDEFB, 82 },
    { 0xDEFC, 83 },
    { 0xDEFD, 84 },
    { 0xDEFE, 85 },
    { 0xDEFF, 86 },
    { 0xDF00, 215 },
    { 0xDF01, 233 },
    { 0xDF02, 246 },
    { 0xDF05, 232 },
    { 0xDF06, 245 },
    { 0xDF10, 242 },
    { 0xDF11, 238 },
    { 0xDF12, 240 },
    { 0xDF18, 253 },
    { 0xDF19, 249 },
    { 0xDF1A, 251 },
    { 0xDF40, 541 },
    { 0xDF41, 552 },
    { 0xDF42, 563 },
    { 0xDF43, 565 },
    { 0xDF44, 566 },
    { 0xDF45, 567 },
    { 0xDF46, 568 },
    { 0xDF47, 569 },
    { 0xDF48, 570 },
    { 0xDF49, 571 },
    { 0xDF4A, 542 },
    { 0xDF4B, 543 },
    { 0xDF4C, 544 },
    { 0xDF4D, 545 },
    { 0xDF4E, 546 },
    { 0xDF4F, 547 },
    { 0xDF50, 548 },
    { 0xDF51, 549 },
    { 0xDF52, 550 },
    { 0xDF53, 551 },
    { 0xDF54, 553 },
    { 0xDF55, 554 },
    { 0xDF56, 555 },
    { 0xDF57, 556 },
    { 0xDF58, 557 },
    { 0xDF59, 558 },
    { 0xDF5A, 559 },
    { 0xDF5B, 560 },
    { 0xDF5C, 561 },
    { 0xDF5D, 562 },
    { 0xDF5E, 564 },
    { 0xDF60, 572 },
    { 0xDF61, 583 },
    { 0xDF62, 594 },
    { 0xDF63, 596 },
    { 0xDF64, 597 },
    { 0xDF65, 598 },
    { 0xDF66, 599 },
    { 0xDF67, 600 },
    { 0xDF68, 601 },
    { 0xDF69, 602 },
    { 0xDF6A, 573 },
    { 0xDF6B, 574 },
    { 0xDF6C, 575 },
    { 0xDF6D, 576 },
    { 0xDF6E, 577 },
    { 0xDF6F, 578 },
    { 0xDF70, 579 },
    { 0xDF71, 580 },
    { 0xDF72, 581 },
    { 0xDF73, 582 },
    { 0xDF74, 584 },
    { 0xDF75, 585 },
    { 0xDF76, 586 },
    { 0xDF77, 587 },
    { 0xDF78, 588 },
    { 0xDF79, 589 },
    { 0xDF7A, 590 },
    { 0xDF7B, 591 },
    { 0xDF7C, 592 },
    { 0xDF7D, 593 },
    { 0xDF7E, 595 },
    { 0xDF7F, 534 },
    { 0xE000, 992 },
    { 0xE004, 517 },
    { 0xE005, 990 },
    { 0xE080, 704 },
    { 0xE081, 2 },
    { 0xE088, 379 },
    { 0xE089, 492 },
    { 0xE08A, 261 },
    { 0xE08B, 386 },
    { 0xE08C, 383 },
    { 0xE08D, 384 },
    { 0xE08E, 382 },
    { 0xE08F, 377 },
    { 0xE090, 1001 },
    { 0xE091, 976 },
    { 0xE092, 378 },
    { 0xE095, 718 },
    { 0xE096, 715 },
    { 0xE099, 711 },
    { 0xE100, 979 },
    { 0xE100, 993 },
    { 0xE101, 983 },
    { 0xE102, 737 },
    { 0xE108, 998 },
    { 0xE10A, 997 },
    { 0xE110, 991 },
    { 0xE130, 996 },
    { 0xE132, 995 },
    { 0xE180, 266 },
    { 0xE18C, 380 },
    { 0xE18D, 381 },
    { 0xE200, 724 },
    { 0xE201, 347 },
    { 0xE208, 730 },
    { 0xE218, 727 },
    { 0xE219, 721 },
    { 0xE21A, 728 },
    { 0xE21B, 726 },
    { 0xE281, 479 },
    { 0xE288, 6 },
    { 0xE289, 10 },
    { 0xE290, 364 },
    { 0xE293, 994 },
    { 0xE298, 371 },
    { 0xE2B0, 744 },
    { 0xE300, 368 },
    { 0xE304, 385 },
    { 0xE309, 656 },
    { 0xE311, 690 },
    { 0xE340, 654 },
    { 0xE341, 688 },
    { 0xE344, 636 },
    { 0xE345, 670 },
    { 0xE348, 638 },
    { 0xE349, 672 },
    { 0xE34C, 640 },
    { 0xE34D, 674 },
    { 0xE350, 642 },
    { 0xE351, 676 },
    { 0xE354, 644 },
    { 0xE355, 678 },
    { 0xE358, 646 },
    { 0xE359, 680 },
    { 0xE35C, 648 },
    { 0xE35D, 682 },
    { 0xE360, 650 },
    { 0xE361, 684 },
    { 0xE364, 652 },
    { 0xE365, 686 },
    { 0xE368, 624 },
    { 0xE369, 658 },
    { 0xE36C, 626 },
    { 0xE36D, 660 },
    { 0xE370, 628 },
    { 0xE371, 662 },
    { 0xE374, 630 },
    { 0xE375, 664 },
    { 0xE378, 632 },
    { 0xE379, 666 },
    { 0xE37C, 634 },
    { 0xE37D, 668 },
    { 0xE4C8, 610 },
    { 0xE510, 488 },
    { 0xE518, 15 },
    { 0xE520, 503 },
    { 0xE521, 514 },
    { 0xE528, 501 },
    { 0xE530, 506 },
    { 0xE531, 507 },
    { 0xE532, 508 },
    { 0xE533, 509 },
    { 0xE534, 510 },
    { 0xE535, 511 },
    { 0xE536, 512 },
    { 0xE537, 513 },
    { 0xE600, 987 },
    { 0xE601, 699 },
    { 0xE602, 694 },
    { 0xE609, 989 },
    { 0xE640, 417 },
    { 0xE641, 418 },
    { 0xE642, 419 },
    { 0xE643, 420 },
    { 0xE648, 421 },
    { 0xE649, 422 },
    { 0xE64A, 423 },
    { 0xE64B, 424 },
    { 0xE64D, 415 },
    { 0xE658, 427 },
    { 0xE659, 446 },
    { 0xE65A, 444 },
    { 0xE65B, 425 },
    { 0xE65D, 426 },
    { 0xE65F, 445 },
    { 0xE660, 428 },
    { 0xE661, 435 },
    { 0xE662, 436 },
    { 0xE663, 437 },
    { 0xE664, 438 },
    { 0xE665, 439 },
    { 0xE666, 440 },
    { 0xE667, 441 },
    { 0xE668, 442 },
    { 0xE669, 443 },
    { 0xE66A, 429 },
    { 0xE66B, 430 },
    { 0xE66C, 431 },
    { 0xE66D, 432 },
    { 0xE66E, 433 },
    { 0xE66F, 434 },
    { 0xE681, 257 },
    { 0xE682, 750 },
    { 0xE687, 709 },
    { 0xE6C0, 44 },
    { 0xE6C1, 51 },
    { 0xE6C2, 52 },
    { 0xE6C3, 53 },
    { 0xE6C4, 54 },
    { 0xE6C5, 55 },
    { 0xE6C6, 56 },
    { 0xE6C7, 57 },
    { 0xE6C8, 58 },
    { 0xE6C9, 59 },
    { 0xE6CA, 45 },
    { 0xE6CB, 46 },
    { 0xE6CC, 47 },
    { 0xE6CD, 48 },
    { 0xE6CE, 49 },
    { 0xE6CF, 50 },
    { 0xE6D0, 60 },
    { 0xE6D1, 67 },
    { 0xE6D2, 68 },
    { 0xE6D3, 69 },
    { 0xE6D4, 70 },
    { 0xE6D5, 71 },
    { 0xE6D6, 72 },
    { 0xE6D7, 73 },
    { 0xE6D8, 74 },
    { 0xE6D9, 75 },
    { 0xE6DA, 61 },
    { 0xE6DB, 62 },
    { 0xE6DC, 63 },
    { 0xE6DD, 64 },
    { 0xE6DE, 65 },
    { 0xE6DF, 66 },
    { 0xE703, 248 },
    { 0xE704, 244 },
    { 0xE705, 229 },
    { 0xE706, 234 },
    { 0xE707, 247 },
    { 0xE708, 216 },
    { 0xE710, 222 },
    { 0xE711, 220 },
    { 0xE712, 221 },
    { 0xE718, 228 },
    { 0xE719, 226 },
    { 0xE71A, 227 },
    { 0xE720, 225 },
    { 0xE721, 223 },
    { 0xE722, 224 },
    { 0xE728, 219 },
    { 0xE729, 217 },
    { 0xE72A, 218 },
    { 0xE880, 703 },
    { 0xE882, 259 },
    { 0xE890, 1000 },
    { 0xE891, 975 },
    { 0xE896, 714 },
    { 0xE900, 978 },
    { 0xE901, 982 },
    { 0xE902, 736 },
    { 0xEA00, 723 },
    { 0xEA01, 346 },
    { 0xEA88, 5 },
    { 0xEA89, 9 },
    { 0xEA90, 363 },
    { 0xEAB0, 743 },
    { 0xEB00, 367 },
    { 0xECC8, 609 },
    { 0xED10, 487 },
    { 0xED18, 14 },
    { 0xED28, 500 },
    { 0xEE00, 986 },
    { 0xEE81, 256 },
    { 0xEE87, 708 },
    { 0xEF08, 231 },
    { 0xEF10, 243 },
    { 0xEF11, 239 },
    { 0xEF12, 241 },
    { 0xEF18, 254 },
    { 0xEF19, 250 },
    { 0xEF1A, 252 },
    { 0xF080, 705 },
    { 0xF081, 3 },
    { 0xF088, 701 },
    { 0xF089, 712 },
    { 0xF08A, 262 },
    { 0xF090, 1002 },
    { 0xF096, 716 },
    { 0xF099, 493 },
    { 0xF100, 980 },
    { 0xF102, 738 },
    { 0xF10C, 376 },
    { 0xF10E, 375 },
    { 0xF200, 725 },
    { 0xF201, 348 },
    { 0xF208, 731 },
    { 0xF288, 7 },
    { 0xF289, 11 },
    { 0xF290, 365 },
    { 0xF2B0, 745 },
    { 0xF300, 369 },
    { 0xF305, 496 },
    { 0xF510, 489 },
    { 0xF518, 16 },
    { 0xF528, 502 },
    { 0xF600, 988 },
    { 0xF601, 700 },
    { 0xF602, 695 },
    { 0xF664, 399 },
    { 0xF665, 416 },
    { 0xF667, 409 },
    { 0xF682, 751 },
    { 0xF687, 710 },
    { 0xFF10, 237 },
    { 0xFF11, 235 },
    { 0xFF12, 236 },
    { 0xFF90, 260 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &SysRegsList[Index[i].index];
}

static const PState PStatesList[] = {
  { "daifclr",  0x1F }, // 0
  { "daifset",  0x1E }, // 1
  { "dit",  0x1A }, // 2
  { "pan",  0x4 }, // 3
  { "spsel",  0x5 }, // 4
  { "ssbs",  0x19 }, // 5
  { "tco",  0x1C }, // 6
  { "uao",  0x3 }, // 7
};

const PState *lookupPStateByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x3, 7 },
    { 0x4, 3 },
    { 0x5, 4 },
    { 0x19, 5 },
    { 0x1A, 2 },
    { 0x1C, 6 },
    { 0x1E, 1 },
    { 0x1F, 0 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &PStatesList[Index[i].index];
}

static const SVEPREDPAT SVEPREDPATsList[] = {
  { "all", 0x1f }, // 0
  { "mul3", 0x1e }, // 1
  { "mul4", 0x1d }, // 2
  { "pow2", 0x0 }, // 3
  { "vl1", 0x1 }, // 4
  { "vl128", 0xc }, // 5
  { "vl16", 0x9 }, // 6
  { "vl2", 0x2 }, // 7
  { "vl256", 0xd }, // 8
  { "vl3", 0x3 }, // 9
  { "vl32", 0xa }, // 10
  { "vl4", 0x4 }, // 11
  { "vl5", 0x5 }, // 12
  { "vl6", 0x6 }, // 13
  { "vl64", 0xb }, // 14
  { "vl7", 0x7 }, // 15
  { "vl8", 0x8 }, // 16
};

const SVEPREDPAT *lookupSVEPREDPATByEncoding(uint16_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x0, 3 },
    { 0x1, 4 },
    { 0x2, 7 },
    { 0x3, 9 },
    { 0x4, 11 },
    { 0x5, 12 },
    { 0x6, 13 },
    { 0x7, 15 },
    { 0x8, 16 },
    { 0x9, 6 },
    { 0xA, 10 },
    { 0xB, 14 },
    { 0xC, 5 },
    { 0xD, 8 },
    { 0x1D, 2 },
    { 0x1E, 1 },
    { 0x1F, 0 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &SVEPREDPATsList[Index[i].index];
}

static const SVCR SVCRsList[] = {
  { "svcrsm",  0x1 }, // 0
  { "svcrsmza",  0x3 }, // 1
  { "svcrza",  0x2 }, // 2
};

const SVCR *lookupSVCRByEncoding(uint8_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x1, 0 },
    { 0x2, 2 },
    { 0x3, 1 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &SVCRsList[Index[i].index];
}

static const BTI BTIsList[] = {
  { "c",  0x2 }, // 0
  { "j",  0x4 }, // 1
  { "jc",  0x6 }, // 2
};

const BTI *lookupBTIByEncoding(uint8_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x2, 0 },
    { 0x4, 1 },
    { 0x6, 2 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &BTIsList[Index[i].index];
}

static const DBnXS DBnXSsList[] = {
  { "ishnxs",  0xB,  0x18}, // 0
  { "nshnxs",  0x7,  0x14}, // 1
  { "oshnxs",  0x3,  0x10}, // 2
  { "synxs",  0xF,  0x1C}, // 3
};

const DBnXS *lookupDBnXSByEncoding(uint8_t Encoding)
{
  unsigned int i;
  static const struct IndexType Index[] = {
    { 0x3, 2 },
    { 0x7, 1 },
    { 0xB, 0 },
    { 0xF, 3 },
  };

  i = binsearch_IndexTypeEncoding(Index, ARR_SIZE(Index), Encoding);
  if (i == -1)
    return NULL;
  else
    return &DBnXSsList[Index[i].index];
}

static const ExactFPImm ExactFPImmsList[] = {
  { "half", 0x1, "0.5" }, // 0
  { "one", 0x2, "1.0" }, // 1
  { "two", 0x3, "2.0" }, // 2
  { "zero", 0x0, "0.0" }, // 3
};

const ExactFPImm *lookupExactFPImmByEnum(uint16_t Encoding)
{
  static const struct IndexType Index[] = {
    { 0x0, 3 },
    { 0x1, 0 },
    { 0x2, 1 },
    { 0x3, 2 },
  };

  if (Encoding >= ARR_SIZE(ExactFPImmsList))
    return NULL;
  else
    return &ExactFPImmsList[Index[Encoding].index];
}