int ppc64_v3_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr, int rwx,

                              int mmu_idx)

{

    if (ppc64_radix_guest(cpu)) { /* Guest uses radix */

        /* TODO - Unsupported */

        error_report("Guest Radix Support Unimplemented");

        exit(1);

    } else { /* Guest uses hash */

        return ppc_hash64_handle_mmu_fault(cpu, eaddr, rwx, mmu_idx);

    }

}

int ppc64_v3_handle_mmu_fault(PowerPCCPU *cpu, vaddr eaddr, int rwx,

                              int mmu_idx)

{

    if (ppc64_radix_guest(cpu)) { 

        

        error_report("Guest Radix Support Unimplemented");

        exit(1);

    } else { 

        return ppc_hash64_handle_mmu_fault(cpu, eaddr, rwx, mmu_idx);

    }

}

int FUNC_0(PowerPCCPU *VAR_0, vaddr VAR_1, int VAR_2,

                              int VAR_3)

{

    if (ppc64_radix_guest(VAR_0)) { 

        

        error_report("Guest Radix Support Unimplemented");

        exit(1);

    } else { 

        return ppc_hash64_handle_mmu_fault(VAR_0, VAR_1, VAR_2, VAR_3);

    }

}

int FUNC_0(PowerPCCPU *VAR_0, vaddr VAR_1, int VAR_2,
int VAR_3)
{ if (ppc64_radix_guest(VAR_0)) { error_report("Guest Radix Support Unimplemented"); exit(1); } else { return ppc_hash64_handle_mmu_fault(VAR_0, VAR_1, VAR_2, VAR_3); } }