int cpu_ppc_register_internal (CPUPPCState *env, const ppc_def_t *def)
{
    env->msr_mask = def->msr_mask;
    env->mmu_model = def->mmu_model;
    env->excp_model = def->excp_model;
    env->bus_model = def->bus_model;
    env->insns_flags = def->insns_flags;
    env->insns_flags2 = def->insns_flags2;
    env->flags = def->flags;
    env->bfd_mach = def->bfd_mach;
    env->check_pow = def->check_pow;
    if (kvm_enabled()) {
        if (kvmppc_fixup_cpu(env) != 0) {
            fprintf(stderr, "Unable to virtualize selected CPU with KVM\n");
            exit(1);
    } else {
        if (ppc_fixup_cpu(env) != 0) {
            fprintf(stderr, "Unable to emulate selected CPU with TCG\n");
            exit(1);
    if (create_ppc_opcodes(env, def) < 0)
        return -1;
    init_ppc_proc(env, def);
    if (def->insns_flags & PPC_FLOAT) {
        gdb_register_coprocessor(env, gdb_get_float_reg, gdb_set_float_reg,
                                 33, "power-fpu.xml", 0);
    if (def->insns_flags & PPC_ALTIVEC) {
        gdb_register_coprocessor(env, gdb_get_avr_reg, gdb_set_avr_reg,
                                 34, "power-altivec.xml", 0);
    if (def->insns_flags & PPC_SPE) {
        gdb_register_coprocessor(env, gdb_get_spe_reg, gdb_set_spe_reg,
                                 34, "power-spe.xml", 0);
#if defined(PPC_DUMP_CPU)
    {
        const char *mmu_model, *excp_model, *bus_model;
        switch (env->mmu_model) {
        case POWERPC_MMU_32B:
            mmu_model = "PowerPC 32";
            break;
        case POWERPC_MMU_SOFT_6xx:
            mmu_model = "PowerPC 6xx/7xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_74xx:
            mmu_model = "PowerPC 74xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx:
            mmu_model = "PowerPC 4xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx_Z:
            mmu_model = "PowerPC 4xx with software driven TLBs "
                "and zones protections";
            break;
        case POWERPC_MMU_REAL:
            mmu_model = "PowerPC real mode only";
            break;
        case POWERPC_MMU_MPC8xx:
            mmu_model = "PowerPC MPC8xx";
            break;
        case POWERPC_MMU_BOOKE:
            mmu_model = "PowerPC BookE";
            break;
        case POWERPC_MMU_BOOKE206:
            mmu_model = "PowerPC BookE 2.06";
            break;
        case POWERPC_MMU_601:
            mmu_model = "PowerPC 601";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_MMU_64B:
            mmu_model = "PowerPC 64";
            break;
        case POWERPC_MMU_620:
            mmu_model = "PowerPC 620";
            break;
#endif
        default:
            mmu_model = "Unknown or invalid";
            break;
        switch (env->excp_model) {
        case POWERPC_EXCP_STD:
            excp_model = "PowerPC";
            break;
        case POWERPC_EXCP_40x:
            excp_model = "PowerPC 40x";
            break;
        case POWERPC_EXCP_601:
            excp_model = "PowerPC 601";
            break;
        case POWERPC_EXCP_602:
            excp_model = "PowerPC 602";
            break;
        case POWERPC_EXCP_603:
            excp_model = "PowerPC 603";
            break;
        case POWERPC_EXCP_603E:
            excp_model = "PowerPC 603e";
            break;
        case POWERPC_EXCP_604:
            excp_model = "PowerPC 604";
            break;
        case POWERPC_EXCP_7x0:
            excp_model = "PowerPC 740/750";
            break;
        case POWERPC_EXCP_7x5:
            excp_model = "PowerPC 745/755";
            break;
        case POWERPC_EXCP_74xx:
            excp_model = "PowerPC 74xx";
            break;
        case POWERPC_EXCP_BOOKE:
            excp_model = "PowerPC BookE";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_EXCP_970:
            excp_model = "PowerPC 970";
            break;
#endif
        default:
            excp_model = "Unknown or invalid";
            break;
        switch (env->bus_model) {
        case PPC_FLAGS_INPUT_6xx:
            bus_model = "PowerPC 6xx";
            break;
        case PPC_FLAGS_INPUT_BookE:
            bus_model = "PowerPC BookE";
            break;
        case PPC_FLAGS_INPUT_405:
            bus_model = "PowerPC 405";
            break;
        case PPC_FLAGS_INPUT_401:
            bus_model = "PowerPC 401/403";
            break;
        case PPC_FLAGS_INPUT_RCPU:
            bus_model = "RCPU / MPC8xx";
            break;
#if defined (TARGET_PPC64)
        case PPC_FLAGS_INPUT_970:
            bus_model = "PowerPC 970";
            break;
#endif
        default:
            bus_model = "Unknown or invalid";
            break;
        printf("PowerPC %-12s : PVR %08x MSR %016" PRIx64 "\n"
               "    MMU model        : %s\n",
               def->name, def->pvr, def->msr_mask, mmu_model);
#if !defined(CONFIG_USER_ONLY)
        if (env->tlb != NULL) {
            printf("                       %d %s TLB in %d ways\n",
                   env->nb_tlb, env->id_tlbs ? "splitted" : "merged",
                   env->nb_ways);
#endif
        printf("    Exceptions model : %s\n"
               "    Bus model        : %s\n",
               excp_model, bus_model);
        printf("    MSR features     :\n");
        if (env->flags & POWERPC_FLAG_SPE)
            printf("                        signal processing engine enable"
                   "\n");
        else if (env->flags & POWERPC_FLAG_VRE)
            printf("                        vector processor enable\n");
        if (env->flags & POWERPC_FLAG_TGPR)
            printf("                        temporary GPRs\n");
        else if (env->flags & POWERPC_FLAG_CE)
            printf("                        critical input enable\n");
        if (env->flags & POWERPC_FLAG_SE)
            printf("                        single-step trace mode\n");
        else if (env->flags & POWERPC_FLAG_DWE)
            printf("                        debug wait enable\n");
        else if (env->flags & POWERPC_FLAG_UBLE)
            printf("                        user BTB lock enable\n");
        if (env->flags & POWERPC_FLAG_BE)
            printf("                        branch-step trace mode\n");
        else if (env->flags & POWERPC_FLAG_DE)
            printf("                        debug interrupt enable\n");
        if (env->flags & POWERPC_FLAG_PX)
            printf("                        inclusive protection\n");
        else if (env->flags & POWERPC_FLAG_PMM)
            printf("                        performance monitor mark\n");
        if (env->flags == POWERPC_FLAG_NONE)
            printf("                        none\n");
        printf("    Time-base/decrementer clock source: %s\n",
               env->flags & POWERPC_FLAG_RTC_CLK ? "RTC clock" : "bus clock");
    dump_ppc_insns(env);
    dump_ppc_sprs(env);
    fflush(stdout);
#endif
    return 0;
int cpu_ppc_register_internal (CPUPPCState *env, const ppc_def_t *def)
{
    env->msr_mask = def->msr_mask;
    env->mmu_model = def->mmu_model;
    env->excp_model = def->excp_model;
    env->bus_model = def->bus_model;
    env->insns_flags = def->insns_flags;
    env->insns_flags2 = def->insns_flags2;
    env->flags = def->flags;
    env->bfd_mach = def->bfd_mach;
    env->check_pow = def->check_pow;
    if (kvm_enabled()) {
        if (kvmppc_fixup_cpu(env) != 0) {
            fprintf(stderr, "Unable to virtualize selected CPU with KVM\n");
            exit(1);
    } else {
        if (ppc_fixup_cpu(env) != 0) {
            fprintf(stderr, "Unable to emulate selected CPU with TCG\n");
            exit(1);
    if (create_ppc_opcodes(env, def) < 0)
        return -1;
    init_ppc_proc(env, def);
    if (def->insns_flags & PPC_FLOAT) {
        gdb_register_coprocessor(env, gdb_get_float_reg, gdb_set_float_reg,
                                 33, "power-fpu.xml", 0);
    if (def->insns_flags & PPC_ALTIVEC) {
        gdb_register_coprocessor(env, gdb_get_avr_reg, gdb_set_avr_reg,
                                 34, "power-altivec.xml", 0);
    if (def->insns_flags & PPC_SPE) {
        gdb_register_coprocessor(env, gdb_get_spe_reg, gdb_set_spe_reg,
                                 34, "power-spe.xml", 0);
#if defined(PPC_DUMP_CPU)
    {
        const char *mmu_model, *excp_model, *bus_model;
        switch (env->mmu_model) {
        case POWERPC_MMU_32B:
            mmu_model = "PowerPC 32";
            break;
        case POWERPC_MMU_SOFT_6xx:
            mmu_model = "PowerPC 6xx/7xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_74xx:
            mmu_model = "PowerPC 74xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx:
            mmu_model = "PowerPC 4xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx_Z:
            mmu_model = "PowerPC 4xx with software driven TLBs "
                "and zones protections";
            break;
        case POWERPC_MMU_REAL:
            mmu_model = "PowerPC real mode only";
            break;
        case POWERPC_MMU_MPC8xx:
            mmu_model = "PowerPC MPC8xx";
            break;
        case POWERPC_MMU_BOOKE:
            mmu_model = "PowerPC BookE";
            break;
        case POWERPC_MMU_BOOKE206:
            mmu_model = "PowerPC BookE 2.06";
            break;
        case POWERPC_MMU_601:
            mmu_model = "PowerPC 601";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_MMU_64B:
            mmu_model = "PowerPC 64";
            break;
        case POWERPC_MMU_620:
            mmu_model = "PowerPC 620";
            break;
#endif
        default:
            mmu_model = "Unknown or invalid";
            break;
        switch (env->excp_model) {
        case POWERPC_EXCP_STD:
            excp_model = "PowerPC";
            break;
        case POWERPC_EXCP_40x:
            excp_model = "PowerPC 40x";
            break;
        case POWERPC_EXCP_601:
            excp_model = "PowerPC 601";
            break;
        case POWERPC_EXCP_602:
            excp_model = "PowerPC 602";
            break;
        case POWERPC_EXCP_603:
            excp_model = "PowerPC 603";
            break;
        case POWERPC_EXCP_603E:
            excp_model = "PowerPC 603e";
            break;
        case POWERPC_EXCP_604:
            excp_model = "PowerPC 604";
            break;
        case POWERPC_EXCP_7x0:
            excp_model = "PowerPC 740/750";
            break;
        case POWERPC_EXCP_7x5:
            excp_model = "PowerPC 745/755";
            break;
        case POWERPC_EXCP_74xx:
            excp_model = "PowerPC 74xx";
            break;
        case POWERPC_EXCP_BOOKE:
            excp_model = "PowerPC BookE";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_EXCP_970:
            excp_model = "PowerPC 970";
            break;
#endif
        default:
            excp_model = "Unknown or invalid";
            break;
        switch (env->bus_model) {
        case PPC_FLAGS_INPUT_6xx:
            bus_model = "PowerPC 6xx";
            break;
        case PPC_FLAGS_INPUT_BookE:
            bus_model = "PowerPC BookE";
            break;
        case PPC_FLAGS_INPUT_405:
            bus_model = "PowerPC 405";
            break;
        case PPC_FLAGS_INPUT_401:
            bus_model = "PowerPC 401/403";
            break;
        case PPC_FLAGS_INPUT_RCPU:
            bus_model = "RCPU / MPC8xx";
            break;
#if defined (TARGET_PPC64)
        case PPC_FLAGS_INPUT_970:
            bus_model = "PowerPC 970";
            break;
#endif
        default:
            bus_model = "Unknown or invalid";
            break;
        printf("PowerPC %-12s : PVR %08x MSR %016" PRIx64 "\n"
               "    MMU model        : %s\n",
               def->name, def->pvr, def->msr_mask, mmu_model);
#if !defined(CONFIG_USER_ONLY)
        if (env->tlb != NULL) {
            printf("                       %d %s TLB in %d ways\n",
                   env->nb_tlb, env->id_tlbs ? "splitted" : "merged",
                   env->nb_ways);
#endif
        printf("    Exceptions model : %s\n"
               "    Bus model        : %s\n",
               excp_model, bus_model);
        printf("    MSR features     :\n");
        if (env->flags & POWERPC_FLAG_SPE)
            printf("                        signal processing engine enable"
                   "\n");
        else if (env->flags & POWERPC_FLAG_VRE)
            printf("                        vector processor enable\n");
        if (env->flags & POWERPC_FLAG_TGPR)
            printf("                        temporary GPRs\n");
        else if (env->flags & POWERPC_FLAG_CE)
            printf("                        critical input enable\n");
        if (env->flags & POWERPC_FLAG_SE)
            printf("                        single-step trace mode\n");
        else if (env->flags & POWERPC_FLAG_DWE)
            printf("                        debug wait enable\n");
        else if (env->flags & POWERPC_FLAG_UBLE)
            printf("                        user BTB lock enable\n");
        if (env->flags & POWERPC_FLAG_BE)
            printf("                        branch-step trace mode\n");
        else if (env->flags & POWERPC_FLAG_DE)
            printf("                        debug interrupt enable\n");
        if (env->flags & POWERPC_FLAG_PX)
            printf("                        inclusive protection\n");
        else if (env->flags & POWERPC_FLAG_PMM)
            printf("                        performance monitor mark\n");
        if (env->flags == POWERPC_FLAG_NONE)
            printf("                        none\n");
        printf("    Time-base/decrementer clock source: %s\n",
               env->flags & POWERPC_FLAG_RTC_CLK ? "RTC clock" : "bus clock");
    dump_ppc_insns(env);
    dump_ppc_sprs(env);
    fflush(stdout);
#endif
    return 0;
int FUNC_0 (CPUPPCState *VAR_0, const ppc_def_t *VAR_1)
{
    VAR_0->msr_mask = VAR_1->msr_mask;
    VAR_0->mmu_model = VAR_1->mmu_model;
    VAR_0->excp_model = VAR_1->excp_model;
    VAR_0->bus_model = VAR_1->bus_model;
    VAR_0->insns_flags = VAR_1->insns_flags;
    VAR_0->insns_flags2 = VAR_1->insns_flags2;
    VAR_0->flags = VAR_1->flags;
    VAR_0->bfd_mach = VAR_1->bfd_mach;
    VAR_0->check_pow = VAR_1->check_pow;
    if (kvm_enabled()) {
        if (kvmppc_fixup_cpu(VAR_0) != 0) {
            fprintf(stderr, "Unable to virtualize selected CPU with KVM\n");
            exit(1);
    } else {
        if (ppc_fixup_cpu(VAR_0) != 0) {
            fprintf(stderr, "Unable to emulate selected CPU with TCG\n");
            exit(1);
    if (create_ppc_opcodes(VAR_0, VAR_1) < 0)
        return -1;
    init_ppc_proc(VAR_0, VAR_1);
    if (VAR_1->insns_flags & PPC_FLOAT) {
        gdb_register_coprocessor(VAR_0, gdb_get_float_reg, gdb_set_float_reg,
                                 33, "power-fpu.xml", 0);
    if (VAR_1->insns_flags & PPC_ALTIVEC) {
        gdb_register_coprocessor(VAR_0, gdb_get_avr_reg, gdb_set_avr_reg,
                                 34, "power-altivec.xml", 0);
    if (VAR_1->insns_flags & PPC_SPE) {
        gdb_register_coprocessor(VAR_0, gdb_get_spe_reg, gdb_set_spe_reg,
                                 34, "power-spe.xml", 0);
#if defined(PPC_DUMP_CPU)
    {
        const char *mmu_model, *excp_model, *bus_model;
        switch (VAR_0->mmu_model) {
        case POWERPC_MMU_32B:
            mmu_model = "PowerPC 32";
            break;
        case POWERPC_MMU_SOFT_6xx:
            mmu_model = "PowerPC 6xx/7xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_74xx:
            mmu_model = "PowerPC 74xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx:
            mmu_model = "PowerPC 4xx with software driven TLBs";
            break;
        case POWERPC_MMU_SOFT_4xx_Z:
            mmu_model = "PowerPC 4xx with software driven TLBs "
                "and zones protections";
            break;
        case POWERPC_MMU_REAL:
            mmu_model = "PowerPC real mode only";
            break;
        case POWERPC_MMU_MPC8xx:
            mmu_model = "PowerPC MPC8xx";
            break;
        case POWERPC_MMU_BOOKE:
            mmu_model = "PowerPC BookE";
            break;
        case POWERPC_MMU_BOOKE206:
            mmu_model = "PowerPC BookE 2.06";
            break;
        case POWERPC_MMU_601:
            mmu_model = "PowerPC 601";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_MMU_64B:
            mmu_model = "PowerPC 64";
            break;
        case POWERPC_MMU_620:
            mmu_model = "PowerPC 620";
            break;
#endif
        default:
            mmu_model = "Unknown or invalid";
            break;
        switch (VAR_0->excp_model) {
        case POWERPC_EXCP_STD:
            excp_model = "PowerPC";
            break;
        case POWERPC_EXCP_40x:
            excp_model = "PowerPC 40x";
            break;
        case POWERPC_EXCP_601:
            excp_model = "PowerPC 601";
            break;
        case POWERPC_EXCP_602:
            excp_model = "PowerPC 602";
            break;
        case POWERPC_EXCP_603:
            excp_model = "PowerPC 603";
            break;
        case POWERPC_EXCP_603E:
            excp_model = "PowerPC 603e";
            break;
        case POWERPC_EXCP_604:
            excp_model = "PowerPC 604";
            break;
        case POWERPC_EXCP_7x0:
            excp_model = "PowerPC 740/750";
            break;
        case POWERPC_EXCP_7x5:
            excp_model = "PowerPC 745/755";
            break;
        case POWERPC_EXCP_74xx:
            excp_model = "PowerPC 74xx";
            break;
        case POWERPC_EXCP_BOOKE:
            excp_model = "PowerPC BookE";
            break;
#if defined (TARGET_PPC64)
        case POWERPC_EXCP_970:
            excp_model = "PowerPC 970";
            break;
#endif
        default:
            excp_model = "Unknown or invalid";
            break;
        switch (VAR_0->bus_model) {
        case PPC_FLAGS_INPUT_6xx:
            bus_model = "PowerPC 6xx";
            break;
        case PPC_FLAGS_INPUT_BookE:
            bus_model = "PowerPC BookE";
            break;
        case PPC_FLAGS_INPUT_405:
            bus_model = "PowerPC 405";
            break;
        case PPC_FLAGS_INPUT_401:
            bus_model = "PowerPC 401/403";
            break;
        case PPC_FLAGS_INPUT_RCPU:
            bus_model = "RCPU / MPC8xx";
            break;
#if defined (TARGET_PPC64)
        case PPC_FLAGS_INPUT_970:
            bus_model = "PowerPC 970";
            break;
#endif
        default:
            bus_model = "Unknown or invalid";
            break;
        printf("PowerPC %-12s : PVR %08x MSR %016" PRIx64 "\n"
               "    MMU model        : %s\n",
               VAR_1->name, VAR_1->pvr, VAR_1->msr_mask, mmu_model);
#if !defined(CONFIG_USER_ONLY)
        if (VAR_0->tlb != NULL) {
            printf("                       %d %s TLB in %d ways\n",
                   VAR_0->nb_tlb, VAR_0->id_tlbs ? "splitted" : "merged",
                   VAR_0->nb_ways);
#endif
        printf("    Exceptions model : %s\n"
               "    Bus model        : %s\n",
               excp_model, bus_model);
        printf("    MSR features     :\n");
        if (VAR_0->flags & POWERPC_FLAG_SPE)
            printf("                        signal processing engine enable"
                   "\n");
        else if (VAR_0->flags & POWERPC_FLAG_VRE)
            printf("                        vector processor enable\n");
        if (VAR_0->flags & POWERPC_FLAG_TGPR)
            printf("                        temporary GPRs\n");
        else if (VAR_0->flags & POWERPC_FLAG_CE)
            printf("                        critical input enable\n");
        if (VAR_0->flags & POWERPC_FLAG_SE)
            printf("                        single-step trace mode\n");
        else if (VAR_0->flags & POWERPC_FLAG_DWE)
            printf("                        debug wait enable\n");
        else if (VAR_0->flags & POWERPC_FLAG_UBLE)
            printf("                        user BTB lock enable\n");
        if (VAR_0->flags & POWERPC_FLAG_BE)
            printf("                        branch-step trace mode\n");
        else if (VAR_0->flags & POWERPC_FLAG_DE)
            printf("                        debug interrupt enable\n");
        if (VAR_0->flags & POWERPC_FLAG_PX)
            printf("                        inclusive protection\n");
        else if (VAR_0->flags & POWERPC_FLAG_PMM)
            printf("                        performance monitor mark\n");
        if (VAR_0->flags == POWERPC_FLAG_NONE)
            printf("                        none\n");
        printf("    Time-base/decrementer clock source: %s\n",
               VAR_0->flags & POWERPC_FLAG_RTC_CLK ? "RTC clock" : "bus clock");
    dump_ppc_insns(VAR_0);
    dump_ppc_sprs(VAR_0);
    fflush(stdout);
#endif
    return 0;
int FUNC_0 (CPUPPCState *VAR_0, const ppc_def_t *VAR_1)
{ VAR_0->msr_mask = VAR_1->msr_mask; VAR_0->mmu_model = VAR_1->mmu_model; VAR_0->excp_model = VAR_1->excp_model; VAR_0->bus_model = VAR_1->bus_model; VAR_0->insns_flags = VAR_1->insns_flags; VAR_0->insns_flags2 = VAR_1->insns_flags2; VAR_0->flags = VAR_1->flags; VAR_0->bfd_mach = VAR_1->bfd_mach; VAR_0->check_pow = VAR_1->check_pow; if (kvm_enabled()) { if (kvmppc_fixup_cpu(VAR_0) != 0) { fprintf(stderr, "Unable to virtualize selected CPU with KVM\n"); exit(1); } else { if (ppc_fixup_cpu(VAR_0) != 0) { fprintf(stderr, "Unable to emulate selected CPU with TCG\n"); exit(1); if (create_ppc_opcodes(VAR_0, VAR_1) < 0)
return -1; init_ppc_proc(VAR_0, VAR_1); if (VAR_1->insns_flags & PPC_FLOAT) { gdb_register_coprocessor(VAR_0, gdb_get_float_reg, gdb_set_float_reg,
33, "power-fpu.xml", 0); if (VAR_1->insns_flags & PPC_ALTIVEC) { gdb_register_coprocessor(VAR_0, gdb_get_avr_reg, gdb_set_avr_reg,
34, "power-altivec.xml", 0); if (VAR_1->insns_flags & PPC_SPE) { gdb_register_coprocessor(VAR_0, gdb_get_spe_reg, gdb_set_spe_reg,
34, "power-spe.xml", 0); #if defined(PPC_DUMP_CPU)
{ const char *mmu_model, *excp_model, *bus_model; switch (VAR_0->mmu_model) { case POWERPC_MMU_32B:
mmu_model = "PowerPC 32"; break; case POWERPC_MMU_SOFT_6xx:
mmu_model = "PowerPC 6xx/7xx with software driven TLBs"; break; case POWERPC_MMU_SOFT_74xx:
mmu_model = "PowerPC 74xx with software driven TLBs"; break; case POWERPC_MMU_SOFT_4xx:
mmu_model = "PowerPC 4xx with software driven TLBs"; break; case POWERPC_MMU_SOFT_4xx_Z:
mmu_model = "PowerPC 4xx with software driven TLBs "
"and zones protections"; break; case POWERPC_MMU_REAL:
mmu_model = "PowerPC real mode only"; break; case POWERPC_MMU_MPC8xx:
mmu_model = "PowerPC MPC8xx"; break; case POWERPC_MMU_BOOKE:
mmu_model = "PowerPC BookE"; break; case POWERPC_MMU_BOOKE206:
mmu_model = "PowerPC BookE 2.06"; break; case POWERPC_MMU_601:
mmu_model = "PowerPC 601"; break; #if defined (TARGET_PPC64)
case POWERPC_MMU_64B:
mmu_model = "PowerPC 64"; break; case POWERPC_MMU_620:
mmu_model = "PowerPC 620"; break; #endif
default:
mmu_model = "Unknown or invalid"; break; switch (VAR_0->excp_model) { case POWERPC_EXCP_STD:
excp_model = "PowerPC"; break; case POWERPC_EXCP_40x:
excp_model = "PowerPC 40x"; break; case POWERPC_EXCP_601:
excp_model = "PowerPC 601"; break; case POWERPC_EXCP_602:
excp_model = "PowerPC 602"; break; case POWERPC_EXCP_603:
excp_model = "PowerPC 603"; break; case POWERPC_EXCP_603E:
excp_model = "PowerPC 603e"; break; case POWERPC_EXCP_604:
excp_model = "PowerPC 604"; break; case POWERPC_EXCP_7x0:
excp_model = "PowerPC 740/750"; break; case POWERPC_EXCP_7x5:
excp_model = "PowerPC 745/755"; break; case POWERPC_EXCP_74xx:
excp_model = "PowerPC 74xx"; break; case POWERPC_EXCP_BOOKE:
excp_model = "PowerPC BookE"; break; #if defined (TARGET_PPC64)
case POWERPC_EXCP_970:
excp_model = "PowerPC 970"; break; #endif
default:
excp_model = "Unknown or invalid"; break; switch (VAR_0->bus_model) { case PPC_FLAGS_INPUT_6xx:
bus_model = "PowerPC 6xx"; break; case PPC_FLAGS_INPUT_BookE:
bus_model = "PowerPC BookE"; break; case PPC_FLAGS_INPUT_405:
bus_model = "PowerPC 405"; break; case PPC_FLAGS_INPUT_401:
bus_model = "PowerPC 401/403"; break; case PPC_FLAGS_INPUT_RCPU:
bus_model = "RCPU / MPC8xx"; break; #if defined (TARGET_PPC64)
case PPC_FLAGS_INPUT_970:
bus_model = "PowerPC 970"; break; #endif
default:
bus_model = "Unknown or invalid"; break; printf("PowerPC %-12s : PVR %08x MSR %016" PRIx64 "\n"
"    MMU model        : %s\n",
VAR_1->name, VAR_1->pvr, VAR_1->msr_mask, mmu_model); #if !defined(CONFIG_USER_ONLY)
if (VAR_0->tlb != NULL) { printf("                       %d %s TLB in %d ways\n",
VAR_0->nb_tlb, VAR_0->id_tlbs ? "splitted" : "merged",
VAR_0->nb_ways); #endif
printf("    Exceptions model : %s\n"
"    Bus model        : %s\n",
excp_model, bus_model); printf("    MSR features     :\n"); if (VAR_0->flags & POWERPC_FLAG_SPE)
printf("                        signal processing engine enable"
"\n"); else if (VAR_0->flags & POWERPC_FLAG_VRE)
printf("                        vector processor enable\n"); if (VAR_0->flags & POWERPC_FLAG_TGPR)
printf("                        temporary GPRs\n"); else if (VAR_0->flags & POWERPC_FLAG_CE)
printf("                        critical input enable\n"); if (VAR_0->flags & POWERPC_FLAG_SE)
printf("                        single-step trace mode\n"); else if (VAR_0->flags & POWERPC_FLAG_DWE)
printf("                        debug wait enable\n"); else if (VAR_0->flags & POWERPC_FLAG_UBLE)
printf("                        user BTB lock enable\n"); if (VAR_0->flags & POWERPC_FLAG_BE)
printf("                        branch-step trace mode\n"); else if (VAR_0->flags & POWERPC_FLAG_DE)
printf("                        debug interrupt enable\n"); if (VAR_0->flags & POWERPC_FLAG_PX)
printf("                        inclusive protection\n"); else if (VAR_0->flags & POWERPC_FLAG_PMM)
printf("                        performance monitor mark\n"); if (VAR_0->flags == POWERPC_FLAG_NONE)
printf("                        none\n"); printf("    Time-base/decrementer clock source: %s\n",
VAR_0->flags & POWERPC_FLAG_RTC_CLK ? "RTC clock" : "bus clock"); dump_ppc_insns(VAR_0); dump_ppc_sprs(VAR_0); fflush(stdout); #endif
return 0;