cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

cpu-models.h (25164B)


      1/*
      2 *  PowerPC CPU initialization for qemu.
      3 *
      4 *  Copyright (c) 2003-2007 Jocelyn Mayer
      5 *  Copyright 2011 Freescale Semiconductor, Inc.
      6 *  Copyright 2013 SUSE LINUX Products GmbH
      7 *
      8 * This library is free software; you can redistribute it and/or
      9 * modify it under the terms of the GNU Lesser General Public
     10 * License as published by the Free Software Foundation; either
     11 * version 2.1 of the License, or (at your option) any later version.
     12 *
     13 * This library is distributed in the hope that it will be useful,
     14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
     15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
     16 * Lesser General Public License for more details.
     17 *
     18 * You should have received a copy of the GNU Lesser General Public
     19 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
     20 */
     21#ifndef TARGET_PPC_CPU_MODELS_H
     22#define TARGET_PPC_CPU_MODELS_H
     23
     24/**
     25 * PowerPCCPUAlias:
     26 * @alias: The alias name.
     27 * @model: The CPU model @alias refers to, that directly resolves into CPU type
     28 *
     29 * A mapping entry from CPU @alias to CPU @model.
     30 */
     31typedef struct PowerPCCPUAlias {
     32    const char *alias;
     33    const char *model;
     34} PowerPCCPUAlias;
     35
     36extern PowerPCCPUAlias ppc_cpu_aliases[];
     37
     38/*****************************************************************************/
     39/* PVR definitions for most known PowerPC                                    */
     40enum {
     41    /* PowerPC 401 family */
     42    /* Generic PowerPC 401 */
     43#define CPU_POWERPC_401              CPU_POWERPC_401G2
     44    /* PowerPC 401 cores */
     45    CPU_POWERPC_401A1              = 0x00210000,
     46    CPU_POWERPC_401B2              = 0x00220000,
     47    CPU_POWERPC_401C2              = 0x00230000,
     48    CPU_POWERPC_401D2              = 0x00240000,
     49    CPU_POWERPC_401E2              = 0x00250000,
     50    CPU_POWERPC_401F2              = 0x00260000,
     51    CPU_POWERPC_401G2              = 0x00270000,
     52    /* PowerPC 401 microcontrolers */
     53#define CPU_POWERPC_IOP480           CPU_POWERPC_401B2
     54    /* IBM Processor for Network Resources */
     55    CPU_POWERPC_COBRA              = 0x10100000, /* XXX: 405 ? */
     56    /* PowerPC 403 family */
     57    /* PowerPC 403 microcontrollers */
     58    CPU_POWERPC_403GA              = 0x00200011,
     59    CPU_POWERPC_403GB              = 0x00200100,
     60    CPU_POWERPC_403GC              = 0x00200200,
     61    CPU_POWERPC_403GCX             = 0x00201400,
     62    /* PowerPC 405 family */
     63    /* PowerPC 405 cores */
     64    CPU_POWERPC_405D2              = 0x20010000,
     65    CPU_POWERPC_405D4              = 0x41810000,
     66    /* PowerPC 405 microcontrolers */
     67    /* XXX: missing 0x200108a0 */
     68    CPU_POWERPC_405CRa             = 0x40110041,
     69    CPU_POWERPC_405CRb             = 0x401100C5,
     70    CPU_POWERPC_405CRc             = 0x40110145,
     71    CPU_POWERPC_405EP              = 0x51210950,
     72    CPU_POWERPC_405EZ              = 0x41511460, /* 0x51210950 ? */
     73    CPU_POWERPC_405GPa             = 0x40110000,
     74    CPU_POWERPC_405GPb             = 0x40110040,
     75    CPU_POWERPC_405GPc             = 0x40110082,
     76    CPU_POWERPC_405GPd             = 0x401100C4,
     77    CPU_POWERPC_405GPR             = 0x50910951,
     78    CPU_POWERPC_405LP              = 0x41F10000,
     79    /* IBM network processors */
     80    CPU_POWERPC_NPE405H            = 0x414100C0,
     81    CPU_POWERPC_NPE405H2           = 0x41410140,
     82    CPU_POWERPC_NPE405L            = 0x416100C0,
     83    CPU_POWERPC_NPE4GS3            = 0x40B10000,
     84    /* IBM STBxxx (PowerPC 401/403/405 core based microcontrollers) */
     85    CPU_POWERPC_STB03              = 0x40310000, /* 0x40130000 ? */
     86    CPU_POWERPC_STB04              = 0x41810000,
     87    CPU_POWERPC_STB25              = 0x51510950,
     88    /* Xilinx cores */
     89    CPU_POWERPC_X2VP4              = 0x20010820,
     90    CPU_POWERPC_X2VP20             = 0x20010860,
     91    /* PowerPC 440 family */
     92    /* Generic PowerPC 440 */
     93#define CPU_POWERPC_440              CPU_POWERPC_440GXf
     94    /* PowerPC 440 cores */
     95    CPU_POWERPC_440_XILINX         = 0x7ff21910,
     96    /* PowerPC 440 microcontrolers */
     97    CPU_POWERPC_440EPa             = 0x42221850,
     98    CPU_POWERPC_440EPb             = 0x422218D3,
     99    CPU_POWERPC_440GPb             = 0x40120440,
    100    CPU_POWERPC_440GPc             = 0x40120481,
    101#define CPU_POWERPC_440GRa           CPU_POWERPC_440EPb
    102    CPU_POWERPC_440GRX             = 0x200008D0,
    103#define CPU_POWERPC_440EPX           CPU_POWERPC_440GRX
    104    CPU_POWERPC_440GXa             = 0x51B21850,
    105    CPU_POWERPC_440GXb             = 0x51B21851,
    106    CPU_POWERPC_440GXc             = 0x51B21892,
    107    CPU_POWERPC_440GXf             = 0x51B21894,
    108    CPU_POWERPC_440SP              = 0x53221850,
    109    CPU_POWERPC_440SP2             = 0x53221891,
    110    CPU_POWERPC_440SPE             = 0x53421890,
    111    CPU_POWERPC_460EXb             = 0x130218A4, /* called 460 but 440 core */
    112    /* Freescale embedded PowerPC cores */
    113    /* PowerPC MPC 5xx cores (aka RCPU) */
    114    CPU_POWERPC_MPC5xx             = 0x00020020,
    115    /* PowerPC MPC 8xx cores (aka PowerQUICC) */
    116    CPU_POWERPC_MPC8xx             = 0x00500000,
    117    /* G2 cores (aka PowerQUICC-II) */
    118    CPU_POWERPC_G2                 = 0x00810011,
    119    CPU_POWERPC_G2H4               = 0x80811010,
    120    CPU_POWERPC_G2gp               = 0x80821010,
    121    CPU_POWERPC_G2ls               = 0x90810010,
    122    CPU_POWERPC_MPC603             = 0x00810100,
    123    CPU_POWERPC_G2_HIP3            = 0x00810101,
    124    CPU_POWERPC_G2_HIP4            = 0x80811014,
    125    /*   G2_LE core (aka PowerQUICC-II) */
    126    CPU_POWERPC_G2LE               = 0x80820010,
    127    CPU_POWERPC_G2LEgp             = 0x80822010,
    128    CPU_POWERPC_G2LEls             = 0xA0822010,
    129    CPU_POWERPC_G2LEgp1            = 0x80822011,
    130    CPU_POWERPC_G2LEgp3            = 0x80822013,
    131    /* MPC52xx microcontrollers  */
    132    /* XXX: MPC 5121 ? */
    133#define CPU_POWERPC_MPC5200_v10      CPU_POWERPC_G2LEgp1
    134#define CPU_POWERPC_MPC5200_v11      CPU_POWERPC_G2LEgp1
    135#define CPU_POWERPC_MPC5200_v12      CPU_POWERPC_G2LEgp1
    136#define CPU_POWERPC_MPC5200B_v20     CPU_POWERPC_G2LEgp1
    137#define CPU_POWERPC_MPC5200B_v21     CPU_POWERPC_G2LEgp1
    138    /* e200 family */
    139    /* e200 cores */
    140    CPU_POWERPC_e200z5             = 0x81000000,
    141    CPU_POWERPC_e200z6             = 0x81120000,
    142    /* e300 family */
    143    /* e300 cores */
    144    CPU_POWERPC_e300c1             = 0x00830010,
    145    CPU_POWERPC_e300c2             = 0x00840010,
    146    CPU_POWERPC_e300c3             = 0x00850010,
    147    CPU_POWERPC_e300c4             = 0x00860010,
    148    /* MPC83xx microcontrollers */
    149#define CPU_POWERPC_MPC834x          CPU_POWERPC_e300c1
    150#define CPU_POWERPC_MPC837x          CPU_POWERPC_e300c4
    151    /* e500 family */
    152    /* e500 cores  */
    153#define CPU_POWERPC_e500             CPU_POWERPC_e500v2_v22
    154    CPU_POWERPC_e500v1_v10         = 0x80200010,
    155    CPU_POWERPC_e500v1_v20         = 0x80200020,
    156    CPU_POWERPC_e500v2_v10         = 0x80210010,
    157    CPU_POWERPC_e500v2_v11         = 0x80210011,
    158    CPU_POWERPC_e500v2_v20         = 0x80210020,
    159    CPU_POWERPC_e500v2_v21         = 0x80210021,
    160    CPU_POWERPC_e500v2_v22         = 0x80210022,
    161    CPU_POWERPC_e500v2_v30         = 0x80210030,
    162    CPU_POWERPC_e500mc             = 0x80230020,
    163    CPU_POWERPC_e5500              = 0x80240020,
    164    CPU_POWERPC_e6500              = 0x80400020,
    165    /* MPC85xx microcontrollers */
    166#define CPU_POWERPC_MPC8533_v10      CPU_POWERPC_e500v2_v21
    167#define CPU_POWERPC_MPC8533_v11      CPU_POWERPC_e500v2_v22
    168#define CPU_POWERPC_MPC8533E_v10     CPU_POWERPC_e500v2_v21
    169#define CPU_POWERPC_MPC8533E_v11     CPU_POWERPC_e500v2_v22
    170#define CPU_POWERPC_MPC8540_v10      CPU_POWERPC_e500v1_v10
    171#define CPU_POWERPC_MPC8540_v20      CPU_POWERPC_e500v1_v20
    172#define CPU_POWERPC_MPC8540_v21      CPU_POWERPC_e500v1_v20
    173#define CPU_POWERPC_MPC8541_v10      CPU_POWERPC_e500v1_v20
    174#define CPU_POWERPC_MPC8541_v11      CPU_POWERPC_e500v1_v20
    175#define CPU_POWERPC_MPC8541E_v10     CPU_POWERPC_e500v1_v20
    176#define CPU_POWERPC_MPC8541E_v11     CPU_POWERPC_e500v1_v20
    177#define CPU_POWERPC_MPC8543_v10      CPU_POWERPC_e500v2_v10
    178#define CPU_POWERPC_MPC8543_v11      CPU_POWERPC_e500v2_v11
    179#define CPU_POWERPC_MPC8543_v20      CPU_POWERPC_e500v2_v20
    180#define CPU_POWERPC_MPC8543_v21      CPU_POWERPC_e500v2_v21
    181#define CPU_POWERPC_MPC8543E_v10     CPU_POWERPC_e500v2_v10
    182#define CPU_POWERPC_MPC8543E_v11     CPU_POWERPC_e500v2_v11
    183#define CPU_POWERPC_MPC8543E_v20     CPU_POWERPC_e500v2_v20
    184#define CPU_POWERPC_MPC8543E_v21     CPU_POWERPC_e500v2_v21
    185#define CPU_POWERPC_MPC8544_v10      CPU_POWERPC_e500v2_v21
    186#define CPU_POWERPC_MPC8544_v11      CPU_POWERPC_e500v2_v22
    187#define CPU_POWERPC_MPC8544E_v11     CPU_POWERPC_e500v2_v22
    188#define CPU_POWERPC_MPC8544E_v10     CPU_POWERPC_e500v2_v21
    189#define CPU_POWERPC_MPC8545_v10      CPU_POWERPC_e500v2_v10
    190#define CPU_POWERPC_MPC8545_v20      CPU_POWERPC_e500v2_v20
    191#define CPU_POWERPC_MPC8545_v21      CPU_POWERPC_e500v2_v21
    192#define CPU_POWERPC_MPC8545E_v10     CPU_POWERPC_e500v2_v10
    193#define CPU_POWERPC_MPC8545E_v20     CPU_POWERPC_e500v2_v20
    194#define CPU_POWERPC_MPC8545E_v21     CPU_POWERPC_e500v2_v21
    195#define CPU_POWERPC_MPC8547E_v10     CPU_POWERPC_e500v2_v10
    196#define CPU_POWERPC_MPC8547E_v20     CPU_POWERPC_e500v2_v20
    197#define CPU_POWERPC_MPC8547E_v21     CPU_POWERPC_e500v2_v21
    198#define CPU_POWERPC_MPC8548_v10      CPU_POWERPC_e500v2_v10
    199#define CPU_POWERPC_MPC8548_v11      CPU_POWERPC_e500v2_v11
    200#define CPU_POWERPC_MPC8548_v20      CPU_POWERPC_e500v2_v20
    201#define CPU_POWERPC_MPC8548_v21      CPU_POWERPC_e500v2_v21
    202#define CPU_POWERPC_MPC8548E_v10     CPU_POWERPC_e500v2_v10
    203#define CPU_POWERPC_MPC8548E_v11     CPU_POWERPC_e500v2_v11
    204#define CPU_POWERPC_MPC8548E_v20     CPU_POWERPC_e500v2_v20
    205#define CPU_POWERPC_MPC8548E_v21     CPU_POWERPC_e500v2_v21
    206#define CPU_POWERPC_MPC8555_v10      CPU_POWERPC_e500v2_v10
    207#define CPU_POWERPC_MPC8555_v11      CPU_POWERPC_e500v2_v11
    208#define CPU_POWERPC_MPC8555E_v10     CPU_POWERPC_e500v2_v10
    209#define CPU_POWERPC_MPC8555E_v11     CPU_POWERPC_e500v2_v11
    210#define CPU_POWERPC_MPC8560_v10      CPU_POWERPC_e500v2_v10
    211#define CPU_POWERPC_MPC8560_v20      CPU_POWERPC_e500v2_v20
    212#define CPU_POWERPC_MPC8560_v21      CPU_POWERPC_e500v2_v21
    213#define CPU_POWERPC_MPC8567          CPU_POWERPC_e500v2_v22
    214#define CPU_POWERPC_MPC8567E         CPU_POWERPC_e500v2_v22
    215#define CPU_POWERPC_MPC8568          CPU_POWERPC_e500v2_v22
    216#define CPU_POWERPC_MPC8568E         CPU_POWERPC_e500v2_v22
    217#define CPU_POWERPC_MPC8572          CPU_POWERPC_e500v2_v30
    218#define CPU_POWERPC_MPC8572E         CPU_POWERPC_e500v2_v30
    219    /* e600 family */
    220    /* e600 cores */
    221    CPU_POWERPC_e600               = 0x80040010,
    222    /* MPC86xx microcontrollers */
    223#define CPU_POWERPC_MPC8610          CPU_POWERPC_e600
    224#define CPU_POWERPC_MPC8641          CPU_POWERPC_e600
    225#define CPU_POWERPC_MPC8641D         CPU_POWERPC_e600
    226    /* PowerPC 6xx cores */
    227    CPU_POWERPC_601_v0             = 0x00010001,
    228    CPU_POWERPC_601_v1             = 0x00010001,
    229    CPU_POWERPC_601_v2             = 0x00010002,
    230    CPU_POWERPC_602                = 0x00050100,
    231    CPU_POWERPC_603                = 0x00030100,
    232    CPU_POWERPC_603E_v11           = 0x00060101,
    233    CPU_POWERPC_603E_v12           = 0x00060102,
    234    CPU_POWERPC_603E_v13           = 0x00060103,
    235    CPU_POWERPC_603E_v14           = 0x00060104,
    236    CPU_POWERPC_603E_v22           = 0x00060202,
    237    CPU_POWERPC_603E_v3            = 0x00060300,
    238    CPU_POWERPC_603E_v4            = 0x00060400,
    239    CPU_POWERPC_603E_v41           = 0x00060401,
    240    CPU_POWERPC_603E7t             = 0x00071201,
    241    CPU_POWERPC_603E7v             = 0x00070100,
    242    CPU_POWERPC_603E7v1            = 0x00070101,
    243    CPU_POWERPC_603E7v2            = 0x00070201,
    244    CPU_POWERPC_603E7              = 0x00070200,
    245    CPU_POWERPC_603P               = 0x00070000,
    246    /* XXX: missing 0x00040303 (604) */
    247    CPU_POWERPC_604                = 0x00040103,
    248    /* XXX: missing 0x00091203 */
    249    /* XXX: missing 0x00092110 */
    250    /* XXX: missing 0x00092120 */
    251    CPU_POWERPC_604E_v10           = 0x00090100,
    252    CPU_POWERPC_604E_v22           = 0x00090202,
    253    CPU_POWERPC_604E_v24           = 0x00090204,
    254    /* XXX: missing 0x000a0100 */
    255    /* XXX: missing 0x00093102 */
    256    CPU_POWERPC_604R               = 0x000a0101,
    257    /* PowerPC 740/750 cores (aka G3) */
    258    /* XXX: missing 0x00084202 */
    259    CPU_POWERPC_7x0_v10            = 0x00080100,
    260    CPU_POWERPC_7x0_v20            = 0x00080200,
    261    CPU_POWERPC_7x0_v21            = 0x00080201,
    262    CPU_POWERPC_7x0_v22            = 0x00080202,
    263    CPU_POWERPC_7x0_v30            = 0x00080300,
    264    CPU_POWERPC_7x0_v31            = 0x00080301,
    265    CPU_POWERPC_740E               = 0x00080100,
    266    CPU_POWERPC_750E               = 0x00080200,
    267    CPU_POWERPC_7x0P               = 0x10080000,
    268    /* XXX: missing 0x00087010 (CL ?) */
    269    CPU_POWERPC_750CL_v10          = 0x00087200,
    270    CPU_POWERPC_750CL_v20          = 0x00087210, /* aka rev E */
    271    CPU_POWERPC_750CX_v10          = 0x00082100,
    272    CPU_POWERPC_750CX_v20          = 0x00082200,
    273    CPU_POWERPC_750CX_v21          = 0x00082201,
    274    CPU_POWERPC_750CX_v22          = 0x00082202,
    275    CPU_POWERPC_750CXE_v21         = 0x00082211,
    276    CPU_POWERPC_750CXE_v22         = 0x00082212,
    277    CPU_POWERPC_750CXE_v23         = 0x00082213,
    278    CPU_POWERPC_750CXE_v24         = 0x00082214,
    279    CPU_POWERPC_750CXE_v24b        = 0x00083214,
    280    CPU_POWERPC_750CXE_v30         = 0x00082310,
    281    CPU_POWERPC_750CXE_v31         = 0x00082311,
    282    CPU_POWERPC_750CXE_v31b        = 0x00083311,
    283    CPU_POWERPC_750CXR             = 0x00083410,
    284    CPU_POWERPC_750FL              = 0x70000203,
    285    CPU_POWERPC_750FX_v10          = 0x70000100,
    286    CPU_POWERPC_750FX_v20          = 0x70000200,
    287    CPU_POWERPC_750FX_v21          = 0x70000201,
    288    CPU_POWERPC_750FX_v22          = 0x70000202,
    289    CPU_POWERPC_750FX_v23          = 0x70000203,
    290    CPU_POWERPC_750GL              = 0x70020102,
    291    CPU_POWERPC_750GX_v10          = 0x70020100,
    292    CPU_POWERPC_750GX_v11          = 0x70020101,
    293    CPU_POWERPC_750GX_v12          = 0x70020102,
    294    CPU_POWERPC_750L_v20           = 0x00088200,
    295    CPU_POWERPC_750L_v21           = 0x00088201,
    296    CPU_POWERPC_750L_v22           = 0x00088202,
    297    CPU_POWERPC_750L_v30           = 0x00088300,
    298    CPU_POWERPC_750L_v32           = 0x00088302,
    299    /* PowerPC 745/755 cores */
    300    CPU_POWERPC_7x5_v10            = 0x00083100,
    301    CPU_POWERPC_7x5_v11            = 0x00083101,
    302    CPU_POWERPC_7x5_v20            = 0x00083200,
    303    CPU_POWERPC_7x5_v21            = 0x00083201,
    304    CPU_POWERPC_7x5_v22            = 0x00083202, /* aka D */
    305    CPU_POWERPC_7x5_v23            = 0x00083203, /* aka E */
    306    CPU_POWERPC_7x5_v24            = 0x00083204,
    307    CPU_POWERPC_7x5_v25            = 0x00083205,
    308    CPU_POWERPC_7x5_v26            = 0x00083206,
    309    CPU_POWERPC_7x5_v27            = 0x00083207,
    310    CPU_POWERPC_7x5_v28            = 0x00083208,
    311    /* PowerPC 74xx cores (aka G4) */
    312    /* XXX: missing 0x000C1101 */
    313    CPU_POWERPC_7400_v10           = 0x000C0100,
    314    CPU_POWERPC_7400_v11           = 0x000C0101,
    315    CPU_POWERPC_7400_v20           = 0x000C0200,
    316    CPU_POWERPC_7400_v21           = 0x000C0201,
    317    CPU_POWERPC_7400_v22           = 0x000C0202,
    318    CPU_POWERPC_7400_v26           = 0x000C0206,
    319    CPU_POWERPC_7400_v27           = 0x000C0207,
    320    CPU_POWERPC_7400_v28           = 0x000C0208,
    321    CPU_POWERPC_7400_v29           = 0x000C0209,
    322    CPU_POWERPC_7410_v10           = 0x800C1100,
    323    CPU_POWERPC_7410_v11           = 0x800C1101,
    324    CPU_POWERPC_7410_v12           = 0x800C1102, /* aka C */
    325    CPU_POWERPC_7410_v13           = 0x800C1103, /* aka D */
    326    CPU_POWERPC_7410_v14           = 0x800C1104, /* aka E */
    327    CPU_POWERPC_7448_v10           = 0x80040100,
    328    CPU_POWERPC_7448_v11           = 0x80040101,
    329    CPU_POWERPC_7448_v20           = 0x80040200,
    330    CPU_POWERPC_7448_v21           = 0x80040201,
    331    CPU_POWERPC_7450_v10           = 0x80000100,
    332    CPU_POWERPC_7450_v11           = 0x80000101,
    333    CPU_POWERPC_7450_v12           = 0x80000102,
    334    CPU_POWERPC_7450_v20           = 0x80000200, /* aka A, B, C, D: 2.04 */
    335    CPU_POWERPC_7450_v21           = 0x80000201, /* aka E */
    336    CPU_POWERPC_74x1_v23           = 0x80000203, /* aka G: 2.3 */
    337    /* XXX: this entry might be a bug in some documentation */
    338    CPU_POWERPC_74x1_v210          = 0x80000210, /* aka G: 2.3 ? */
    339    CPU_POWERPC_74x5_v10           = 0x80010100,
    340    /* XXX: missing 0x80010200 */
    341    CPU_POWERPC_74x5_v21           = 0x80010201, /* aka C: 2.1 */
    342    CPU_POWERPC_74x5_v32           = 0x80010302,
    343    CPU_POWERPC_74x5_v33           = 0x80010303, /* aka F: 3.3 */
    344    CPU_POWERPC_74x5_v34           = 0x80010304, /* aka G: 3.4 */
    345    CPU_POWERPC_74x7_v10           = 0x80020100, /* aka A: 1.0 */
    346    CPU_POWERPC_74x7_v11           = 0x80020101, /* aka B: 1.1 */
    347    CPU_POWERPC_74x7_v12           = 0x80020102, /* aka C: 1.2 */
    348    CPU_POWERPC_74x7A_v10          = 0x80030100, /* aka A: 1.0 */
    349    CPU_POWERPC_74x7A_v11          = 0x80030101, /* aka B: 1.1 */
    350    CPU_POWERPC_74x7A_v12          = 0x80030102, /* aka C: 1.2 */
    351    /* 64 bits PowerPC */
    352#if defined(TARGET_PPC64)
    353    CPU_POWERPC_620                = 0x00140000,
    354    CPU_POWERPC_630                = 0x00400000,
    355    CPU_POWERPC_631                = 0x00410104,
    356    CPU_POWERPC_POWER4             = 0x00350000,
    357    CPU_POWERPC_POWER4P            = 0x00380000,
    358     /* XXX: missing 0x003A0201 */
    359    CPU_POWERPC_POWER5             = 0x003A0203,
    360    CPU_POWERPC_POWER5P_v21        = 0x003B0201,
    361    CPU_POWERPC_POWER6             = 0x003E0000,
    362    CPU_POWERPC_POWER_SERVER_MASK  = 0xFFFF0000,
    363    CPU_POWERPC_POWER7_BASE        = 0x003F0000,
    364    CPU_POWERPC_POWER7_v23         = 0x003F0203,
    365    CPU_POWERPC_POWER7P_BASE       = 0x004A0000,
    366    CPU_POWERPC_POWER7P_v21        = 0x004A0201,
    367    CPU_POWERPC_POWER8E_BASE       = 0x004B0000,
    368    CPU_POWERPC_POWER8E_v21        = 0x004B0201,
    369    CPU_POWERPC_POWER8_BASE        = 0x004D0000,
    370    CPU_POWERPC_POWER8_v20         = 0x004D0200,
    371    CPU_POWERPC_POWER8NVL_BASE     = 0x004C0000,
    372    CPU_POWERPC_POWER8NVL_v10      = 0x004C0100,
    373    CPU_POWERPC_POWER9_BASE        = 0x004E0000,
    374    CPU_POWERPC_POWER9_DD1         = 0x004E0100,
    375    CPU_POWERPC_POWER9_DD20        = 0x004E1200,
    376    CPU_POWERPC_POWER10_BASE       = 0x00800000,
    377    CPU_POWERPC_POWER10_DD1        = 0x00800100,
    378    CPU_POWERPC_POWER10_DD20       = 0x00800200,
    379    CPU_POWERPC_970_v22            = 0x00390202,
    380    CPU_POWERPC_970FX_v10          = 0x00391100,
    381    CPU_POWERPC_970FX_v20          = 0x003C0200,
    382    CPU_POWERPC_970FX_v21          = 0x003C0201,
    383    CPU_POWERPC_970FX_v30          = 0x003C0300,
    384    CPU_POWERPC_970FX_v31          = 0x003C0301,
    385    CPU_POWERPC_970MP_v10          = 0x00440100,
    386    CPU_POWERPC_970MP_v11          = 0x00440101,
    387#define CPU_POWERPC_CELL             CPU_POWERPC_CELL_v32
    388    CPU_POWERPC_CELL_v10           = 0x00700100,
    389    CPU_POWERPC_CELL_v20           = 0x00700400,
    390    CPU_POWERPC_CELL_v30           = 0x00700500,
    391    CPU_POWERPC_CELL_v31           = 0x00700501,
    392#define CPU_POWERPC_CELL_v32         CPU_POWERPC_CELL_v31
    393    CPU_POWERPC_RS64               = 0x00330000,
    394    CPU_POWERPC_RS64II             = 0x00340000,
    395    CPU_POWERPC_RS64III            = 0x00360000,
    396    CPU_POWERPC_RS64IV             = 0x00370000,
    397#endif /* defined(TARGET_PPC64) */
    398    /* Original POWER */
    399    /*
    400     * XXX: should be POWER (RIOS), RSC3308, RSC4608,
    401     * POWER2 (RIOS2) & RSC2 (P2SC) here
    402     */
    403    /* PA Semi core */
    404    CPU_POWERPC_PA6T               = 0x00900000,
    405};
    406
    407/* Logical PVR definitions for sPAPR */
    408enum {
    409    CPU_POWERPC_LOGICAL_2_04       = 0x0F000001,
    410    CPU_POWERPC_LOGICAL_2_05       = 0x0F000002,
    411    CPU_POWERPC_LOGICAL_2_06       = 0x0F000003,
    412    CPU_POWERPC_LOGICAL_2_06_PLUS  = 0x0F100003,
    413    CPU_POWERPC_LOGICAL_2_07       = 0x0F000004,
    414    CPU_POWERPC_LOGICAL_3_00       = 0x0F000005,
    415    CPU_POWERPC_LOGICAL_3_10       = 0x0F000006,
    416};
    417
    418/* System version register (used on MPC 8xxx)                                */
    419enum {
    420    POWERPC_SVR_NONE               = 0x00000000,
    421    POWERPC_SVR_5200_v10           = 0x80110010,
    422    POWERPC_SVR_5200_v11           = 0x80110011,
    423    POWERPC_SVR_5200_v12           = 0x80110012,
    424    POWERPC_SVR_5200B_v20          = 0x80110020,
    425    POWERPC_SVR_5200B_v21          = 0x80110021,
    426#define POWERPC_SVR_55xx             POWERPC_SVR_5567
    427    POWERPC_SVR_8343               = 0x80570010,
    428    POWERPC_SVR_8343A              = 0x80570030,
    429    POWERPC_SVR_8343E              = 0x80560010,
    430    POWERPC_SVR_8343EA             = 0x80560030,
    431    POWERPC_SVR_8347P              = 0x80550010, /* PBGA package */
    432    POWERPC_SVR_8347T              = 0x80530010, /* TBGA package */
    433    POWERPC_SVR_8347AP             = 0x80550030, /* PBGA package */
    434    POWERPC_SVR_8347AT             = 0x80530030, /* TBGA package */
    435    POWERPC_SVR_8347EP             = 0x80540010, /* PBGA package */
    436    POWERPC_SVR_8347ET             = 0x80520010, /* TBGA package */
    437    POWERPC_SVR_8347EAP            = 0x80540030, /* PBGA package */
    438    POWERPC_SVR_8347EAT            = 0x80520030, /* TBGA package */
    439    POWERPC_SVR_8349               = 0x80510010,
    440    POWERPC_SVR_8349A              = 0x80510030,
    441    POWERPC_SVR_8349E              = 0x80500010,
    442    POWERPC_SVR_8349EA             = 0x80500030,
    443#define POWERPC_SVR_E500             0x40000000
    444    POWERPC_SVR_8377               = 0x80C70010 | POWERPC_SVR_E500,
    445    POWERPC_SVR_8377E              = 0x80C60010 | POWERPC_SVR_E500,
    446    POWERPC_SVR_8378               = 0x80C50010 | POWERPC_SVR_E500,
    447    POWERPC_SVR_8378E              = 0x80C40010 | POWERPC_SVR_E500,
    448    POWERPC_SVR_8379               = 0x80C30010 | POWERPC_SVR_E500,
    449    POWERPC_SVR_8379E              = 0x80C00010 | POWERPC_SVR_E500,
    450    POWERPC_SVR_8533_v10           = 0x80340010 | POWERPC_SVR_E500,
    451    POWERPC_SVR_8533_v11           = 0x80340011 | POWERPC_SVR_E500,
    452    POWERPC_SVR_8533E_v10          = 0x803C0010 | POWERPC_SVR_E500,
    453    POWERPC_SVR_8533E_v11          = 0x803C0011 | POWERPC_SVR_E500,
    454    POWERPC_SVR_8540_v10           = 0x80300010 | POWERPC_SVR_E500,
    455    POWERPC_SVR_8540_v20           = 0x80300020 | POWERPC_SVR_E500,
    456    POWERPC_SVR_8540_v21           = 0x80300021 | POWERPC_SVR_E500,
    457    POWERPC_SVR_8541_v10           = 0x80720010 | POWERPC_SVR_E500,
    458    POWERPC_SVR_8541_v11           = 0x80720011 | POWERPC_SVR_E500,
    459    POWERPC_SVR_8541E_v10          = 0x807A0010 | POWERPC_SVR_E500,
    460    POWERPC_SVR_8541E_v11          = 0x807A0011 | POWERPC_SVR_E500,
    461    POWERPC_SVR_8543_v10           = 0x80320010 | POWERPC_SVR_E500,
    462    POWERPC_SVR_8543_v11           = 0x80320011 | POWERPC_SVR_E500,
    463    POWERPC_SVR_8543_v20           = 0x80320020 | POWERPC_SVR_E500,
    464    POWERPC_SVR_8543_v21           = 0x80320021 | POWERPC_SVR_E500,
    465    POWERPC_SVR_8543E_v10          = 0x803A0010 | POWERPC_SVR_E500,
    466    POWERPC_SVR_8543E_v11          = 0x803A0011 | POWERPC_SVR_E500,
    467    POWERPC_SVR_8543E_v20          = 0x803A0020 | POWERPC_SVR_E500,
    468    POWERPC_SVR_8543E_v21          = 0x803A0021 | POWERPC_SVR_E500,
    469    POWERPC_SVR_8544_v10           = 0x80340110 | POWERPC_SVR_E500,
    470    POWERPC_SVR_8544_v11           = 0x80340111 | POWERPC_SVR_E500,
    471    POWERPC_SVR_8544E_v10          = 0x803C0110 | POWERPC_SVR_E500,
    472    POWERPC_SVR_8544E_v11          = 0x803C0111 | POWERPC_SVR_E500,
    473    POWERPC_SVR_8545_v20           = 0x80310220 | POWERPC_SVR_E500,
    474    POWERPC_SVR_8545_v21           = 0x80310221 | POWERPC_SVR_E500,
    475    POWERPC_SVR_8545E_v20          = 0x80390220 | POWERPC_SVR_E500,
    476    POWERPC_SVR_8545E_v21          = 0x80390221 | POWERPC_SVR_E500,
    477    POWERPC_SVR_8547E_v20          = 0x80390120 | POWERPC_SVR_E500,
    478    POWERPC_SVR_8547E_v21          = 0x80390121 | POWERPC_SVR_E500,
    479    POWERPC_SVR_8548_v10           = 0x80310010 | POWERPC_SVR_E500,
    480    POWERPC_SVR_8548_v11           = 0x80310011 | POWERPC_SVR_E500,
    481    POWERPC_SVR_8548_v20           = 0x80310020 | POWERPC_SVR_E500,
    482    POWERPC_SVR_8548_v21           = 0x80310021 | POWERPC_SVR_E500,
    483    POWERPC_SVR_8548E_v10          = 0x80390010 | POWERPC_SVR_E500,
    484    POWERPC_SVR_8548E_v11          = 0x80390011 | POWERPC_SVR_E500,
    485    POWERPC_SVR_8548E_v20          = 0x80390020 | POWERPC_SVR_E500,
    486    POWERPC_SVR_8548E_v21          = 0x80390021 | POWERPC_SVR_E500,
    487    POWERPC_SVR_8555_v10           = 0x80710010 | POWERPC_SVR_E500,
    488    POWERPC_SVR_8555_v11           = 0x80710011 | POWERPC_SVR_E500,
    489    POWERPC_SVR_8555E_v10          = 0x80790010 | POWERPC_SVR_E500,
    490    POWERPC_SVR_8555E_v11          = 0x80790011 | POWERPC_SVR_E500,
    491    POWERPC_SVR_8560_v10           = 0x80700010 | POWERPC_SVR_E500,
    492    POWERPC_SVR_8560_v20           = 0x80700020 | POWERPC_SVR_E500,
    493    POWERPC_SVR_8560_v21           = 0x80700021 | POWERPC_SVR_E500,
    494    POWERPC_SVR_8567               = 0x80750111 | POWERPC_SVR_E500,
    495    POWERPC_SVR_8567E              = 0x807D0111 | POWERPC_SVR_E500,
    496    POWERPC_SVR_8568               = 0x80750011 | POWERPC_SVR_E500,
    497    POWERPC_SVR_8568E              = 0x807D0011 | POWERPC_SVR_E500,
    498    POWERPC_SVR_8572               = 0x80E00010 | POWERPC_SVR_E500,
    499    POWERPC_SVR_8572E              = 0x80E80010 | POWERPC_SVR_E500,
    500    POWERPC_SVR_8610               = 0x80A00011,
    501    POWERPC_SVR_8641               = 0x80900021,
    502    POWERPC_SVR_8641D              = 0x80900121,
    503};
    504
    505#endif