xref: /openbmc/qemu/hw/ppc/spapr_hcall.c (revision cd0c6f47)
10d75590dSPeter Maydell #include "qemu/osdep.h"
2da34e65cSMarkus Armbruster #include "qapi/error.h"
39f64bd8aSPaolo Bonzini #include "sysemu/sysemu.h"
403dd024fSPaolo Bonzini #include "qemu/log.h"
59f64bd8aSPaolo Bonzini #include "cpu.h"
663c91552SPaolo Bonzini #include "exec/exec-all.h"
79f64bd8aSPaolo Bonzini #include "helper_regs.h"
80d09e41aSPaolo Bonzini #include "hw/ppc/spapr.h"
9d5aea6f3SDavid Gibson #include "mmu-hash64.h"
103794d548SAlexey Kardashevskiy #include "cpu-models.h"
113794d548SAlexey Kardashevskiy #include "trace.h"
1277ac58ddSPaolo Bonzini #include "sysemu/kvm.h"
133794d548SAlexey Kardashevskiy #include "kvm_ppc.h"
149f64bd8aSPaolo Bonzini 
15a46622fdSAlexey Kardashevskiy struct SPRSyncState {
16a46622fdSAlexey Kardashevskiy     CPUState *cs;
17a46622fdSAlexey Kardashevskiy     int spr;
18a46622fdSAlexey Kardashevskiy     target_ulong value;
19a46622fdSAlexey Kardashevskiy     target_ulong mask;
20a46622fdSAlexey Kardashevskiy };
21a46622fdSAlexey Kardashevskiy 
22a46622fdSAlexey Kardashevskiy static void do_spr_sync(void *arg)
23a46622fdSAlexey Kardashevskiy {
24a46622fdSAlexey Kardashevskiy     struct SPRSyncState *s = arg;
25a46622fdSAlexey Kardashevskiy     PowerPCCPU *cpu = POWERPC_CPU(s->cs);
26a46622fdSAlexey Kardashevskiy     CPUPPCState *env = &cpu->env;
27a46622fdSAlexey Kardashevskiy 
28a46622fdSAlexey Kardashevskiy     cpu_synchronize_state(s->cs);
29a46622fdSAlexey Kardashevskiy     env->spr[s->spr] &= ~s->mask;
30a46622fdSAlexey Kardashevskiy     env->spr[s->spr] |= s->value;
31a46622fdSAlexey Kardashevskiy }
32a46622fdSAlexey Kardashevskiy 
33a46622fdSAlexey Kardashevskiy static void set_spr(CPUState *cs, int spr, target_ulong value,
34a46622fdSAlexey Kardashevskiy                     target_ulong mask)
35a46622fdSAlexey Kardashevskiy {
36a46622fdSAlexey Kardashevskiy     struct SPRSyncState s = {
37a46622fdSAlexey Kardashevskiy         .cs = cs,
38a46622fdSAlexey Kardashevskiy         .spr = spr,
39a46622fdSAlexey Kardashevskiy         .value = value,
40a46622fdSAlexey Kardashevskiy         .mask = mask
41a46622fdSAlexey Kardashevskiy     };
42a46622fdSAlexey Kardashevskiy     run_on_cpu(cs, do_spr_sync, &s);
43a46622fdSAlexey Kardashevskiy }
44a46622fdSAlexey Kardashevskiy 
45af08a58fSThomas Huth static bool has_spr(PowerPCCPU *cpu, int spr)
46af08a58fSThomas Huth {
47af08a58fSThomas Huth     /* We can test whether the SPR is defined by checking for a valid name */
48af08a58fSThomas Huth     return cpu->env.spr_cb[spr].name != NULL;
49af08a58fSThomas Huth }
50af08a58fSThomas Huth 
51f3c75d42SAneesh Kumar K.V static inline bool valid_pte_index(CPUPPCState *env, target_ulong pte_index)
52f3c75d42SAneesh Kumar K.V {
53f3c75d42SAneesh Kumar K.V     /*
54f3c75d42SAneesh Kumar K.V      * hash value/pteg group index is normalized by htab_mask
55f3c75d42SAneesh Kumar K.V      */
56f3c75d42SAneesh Kumar K.V     if (((pte_index & ~7ULL) / HPTES_PER_GROUP) & ~env->htab_mask) {
57f3c75d42SAneesh Kumar K.V         return false;
58f3c75d42SAneesh Kumar K.V     }
59f3c75d42SAneesh Kumar K.V     return true;
60f3c75d42SAneesh Kumar K.V }
61f3c75d42SAneesh Kumar K.V 
62ecbc25faSDavid Gibson static bool is_ram_address(sPAPRMachineState *spapr, hwaddr addr)
63ecbc25faSDavid Gibson {
64ecbc25faSDavid Gibson     MachineState *machine = MACHINE(spapr);
65ecbc25faSDavid Gibson     MemoryHotplugState *hpms = &spapr->hotplug_memory;
66ecbc25faSDavid Gibson 
67ecbc25faSDavid Gibson     if (addr < machine->ram_size) {
68ecbc25faSDavid Gibson         return true;
69ecbc25faSDavid Gibson     }
70ecbc25faSDavid Gibson     if ((addr >= hpms->base)
71ecbc25faSDavid Gibson         && ((addr - hpms->base) < memory_region_size(&hpms->mr))) {
72ecbc25faSDavid Gibson         return true;
73ecbc25faSDavid Gibson     }
74ecbc25faSDavid Gibson 
75ecbc25faSDavid Gibson     return false;
76ecbc25faSDavid Gibson }
77ecbc25faSDavid Gibson 
7828e02042SDavid Gibson static target_ulong h_enter(PowerPCCPU *cpu, sPAPRMachineState *spapr,
799f64bd8aSPaolo Bonzini                             target_ulong opcode, target_ulong *args)
809f64bd8aSPaolo Bonzini {
819f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
829f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
839f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
849f64bd8aSPaolo Bonzini     target_ulong pteh = args[2];
859f64bd8aSPaolo Bonzini     target_ulong ptel = args[3];
861114e712SDavid Gibson     unsigned apshift, spshift;
879f64bd8aSPaolo Bonzini     target_ulong raddr;
887c43bca0SAneesh Kumar K.V     target_ulong index;
897c43bca0SAneesh Kumar K.V     uint64_t token;
909f64bd8aSPaolo Bonzini 
911114e712SDavid Gibson     apshift = ppc_hash64_hpte_page_shift_noslb(cpu, pteh, ptel, &spshift);
921114e712SDavid Gibson     if (!apshift) {
931114e712SDavid Gibson         /* Bad page size encoding */
949f64bd8aSPaolo Bonzini         return H_PARAMETER;
959f64bd8aSPaolo Bonzini     }
969f64bd8aSPaolo Bonzini 
971114e712SDavid Gibson     raddr = (ptel & HPTE64_R_RPN) & ~((1ULL << apshift) - 1);
989f64bd8aSPaolo Bonzini 
99ecbc25faSDavid Gibson     if (is_ram_address(spapr, raddr)) {
1009f64bd8aSPaolo Bonzini         /* Regular RAM - should have WIMG=0010 */
101d5aea6f3SDavid Gibson         if ((ptel & HPTE64_R_WIMG) != HPTE64_R_M) {
1029f64bd8aSPaolo Bonzini             return H_PARAMETER;
1039f64bd8aSPaolo Bonzini         }
1049f64bd8aSPaolo Bonzini     } else {
1059f64bd8aSPaolo Bonzini         /* Looks like an IO address */
1069f64bd8aSPaolo Bonzini         /* FIXME: What WIMG combinations could be sensible for IO?
1079f64bd8aSPaolo Bonzini          * For now we allow WIMG=010x, but are there others? */
1089f64bd8aSPaolo Bonzini         /* FIXME: Should we check against registered IO addresses? */
109d5aea6f3SDavid Gibson         if ((ptel & (HPTE64_R_W | HPTE64_R_I | HPTE64_R_M)) != HPTE64_R_I) {
1109f64bd8aSPaolo Bonzini             return H_PARAMETER;
1119f64bd8aSPaolo Bonzini         }
1129f64bd8aSPaolo Bonzini     }
1139f64bd8aSPaolo Bonzini 
1149f64bd8aSPaolo Bonzini     pteh &= ~0x60ULL;
1159f64bd8aSPaolo Bonzini 
116f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
1179f64bd8aSPaolo Bonzini         return H_PARAMETER;
1189f64bd8aSPaolo Bonzini     }
1197c43bca0SAneesh Kumar K.V 
1207c43bca0SAneesh Kumar K.V     index = 0;
1219f64bd8aSPaolo Bonzini     if (likely((flags & H_EXACT) == 0)) {
1229f64bd8aSPaolo Bonzini         pte_index &= ~7ULL;
1237c43bca0SAneesh Kumar K.V         token = ppc_hash64_start_access(cpu, pte_index);
1247aaf4957SAneesh Kumar K.V         for (; index < 8; index++) {
1257ef23068SDavid Gibson             if (!(ppc_hash64_load_hpte0(cpu, token, index) & HPTE64_V_VALID)) {
1269f64bd8aSPaolo Bonzini                 break;
1279f64bd8aSPaolo Bonzini             }
1287aaf4957SAneesh Kumar K.V         }
129c18ad9a5SDavid Gibson         ppc_hash64_stop_access(cpu, token);
1307aaf4957SAneesh Kumar K.V         if (index == 8) {
1317aaf4957SAneesh Kumar K.V             return H_PTEG_FULL;
1327aaf4957SAneesh Kumar K.V         }
1339f64bd8aSPaolo Bonzini     } else {
1347c43bca0SAneesh Kumar K.V         token = ppc_hash64_start_access(cpu, pte_index);
1357ef23068SDavid Gibson         if (ppc_hash64_load_hpte0(cpu, token, 0) & HPTE64_V_VALID) {
136c18ad9a5SDavid Gibson             ppc_hash64_stop_access(cpu, token);
1379f64bd8aSPaolo Bonzini             return H_PTEG_FULL;
1389f64bd8aSPaolo Bonzini         }
139c18ad9a5SDavid Gibson         ppc_hash64_stop_access(cpu, token);
1409f64bd8aSPaolo Bonzini     }
1417c43bca0SAneesh Kumar K.V 
1427ef23068SDavid Gibson     ppc_hash64_store_hpte(cpu, pte_index + index,
1433f94170bSAneesh Kumar K.V                           pteh | HPTE64_V_HPTE_DIRTY, ptel);
1449f64bd8aSPaolo Bonzini 
1457c43bca0SAneesh Kumar K.V     args[0] = pte_index + index;
1469f64bd8aSPaolo Bonzini     return H_SUCCESS;
1479f64bd8aSPaolo Bonzini }
1489f64bd8aSPaolo Bonzini 
149a3801402SStefan Weil typedef enum {
1509f64bd8aSPaolo Bonzini     REMOVE_SUCCESS = 0,
1519f64bd8aSPaolo Bonzini     REMOVE_NOT_FOUND = 1,
1529f64bd8aSPaolo Bonzini     REMOVE_PARM = 2,
1539f64bd8aSPaolo Bonzini     REMOVE_HW = 3,
154a3801402SStefan Weil } RemoveResult;
1559f64bd8aSPaolo Bonzini 
1567ef23068SDavid Gibson static RemoveResult remove_hpte(PowerPCCPU *cpu, target_ulong ptex,
1579f64bd8aSPaolo Bonzini                                 target_ulong avpn,
1589f64bd8aSPaolo Bonzini                                 target_ulong flags,
1599f64bd8aSPaolo Bonzini                                 target_ulong *vp, target_ulong *rp)
1609f64bd8aSPaolo Bonzini {
1617ef23068SDavid Gibson     CPUPPCState *env = &cpu->env;
1627c43bca0SAneesh Kumar K.V     uint64_t token;
16361a36c9bSDavid Gibson     target_ulong v, r;
1649f64bd8aSPaolo Bonzini 
165f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, ptex)) {
1669f64bd8aSPaolo Bonzini         return REMOVE_PARM;
1679f64bd8aSPaolo Bonzini     }
1689f64bd8aSPaolo Bonzini 
1697ef23068SDavid Gibson     token = ppc_hash64_start_access(cpu, ptex);
1707ef23068SDavid Gibson     v = ppc_hash64_load_hpte0(cpu, token, 0);
1717ef23068SDavid Gibson     r = ppc_hash64_load_hpte1(cpu, token, 0);
172c18ad9a5SDavid Gibson     ppc_hash64_stop_access(cpu, token);
1739f64bd8aSPaolo Bonzini 
174d5aea6f3SDavid Gibson     if ((v & HPTE64_V_VALID) == 0 ||
1759f64bd8aSPaolo Bonzini         ((flags & H_AVPN) && (v & ~0x7fULL) != avpn) ||
1769f64bd8aSPaolo Bonzini         ((flags & H_ANDCOND) && (v & avpn) != 0)) {
1779f64bd8aSPaolo Bonzini         return REMOVE_NOT_FOUND;
1789f64bd8aSPaolo Bonzini     }
1799f64bd8aSPaolo Bonzini     *vp = v;
1809f64bd8aSPaolo Bonzini     *rp = r;
1817ef23068SDavid Gibson     ppc_hash64_store_hpte(cpu, ptex, HPTE64_V_HPTE_DIRTY, 0);
18261a36c9bSDavid Gibson     ppc_hash64_tlb_flush_hpte(cpu, ptex, v, r);
1839f64bd8aSPaolo Bonzini     return REMOVE_SUCCESS;
1849f64bd8aSPaolo Bonzini }
1859f64bd8aSPaolo Bonzini 
18628e02042SDavid Gibson static target_ulong h_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr,
1879f64bd8aSPaolo Bonzini                              target_ulong opcode, target_ulong *args)
1889f64bd8aSPaolo Bonzini {
189*cd0c6f47SBenjamin Herrenschmidt     CPUPPCState *env = &cpu->env;
1909f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
1919f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
1929f64bd8aSPaolo Bonzini     target_ulong avpn = args[2];
193a3801402SStefan Weil     RemoveResult ret;
1949f64bd8aSPaolo Bonzini 
1957ef23068SDavid Gibson     ret = remove_hpte(cpu, pte_index, avpn, flags,
1969f64bd8aSPaolo Bonzini                       &args[0], &args[1]);
1979f64bd8aSPaolo Bonzini 
1989f64bd8aSPaolo Bonzini     switch (ret) {
1999f64bd8aSPaolo Bonzini     case REMOVE_SUCCESS:
200*cd0c6f47SBenjamin Herrenschmidt         check_tlb_flush(env);
2019f64bd8aSPaolo Bonzini         return H_SUCCESS;
2029f64bd8aSPaolo Bonzini 
2039f64bd8aSPaolo Bonzini     case REMOVE_NOT_FOUND:
2049f64bd8aSPaolo Bonzini         return H_NOT_FOUND;
2059f64bd8aSPaolo Bonzini 
2069f64bd8aSPaolo Bonzini     case REMOVE_PARM:
2079f64bd8aSPaolo Bonzini         return H_PARAMETER;
2089f64bd8aSPaolo Bonzini 
2099f64bd8aSPaolo Bonzini     case REMOVE_HW:
2109f64bd8aSPaolo Bonzini         return H_HARDWARE;
2119f64bd8aSPaolo Bonzini     }
2129f64bd8aSPaolo Bonzini 
2139a39970dSStefan Weil     g_assert_not_reached();
2149f64bd8aSPaolo Bonzini }
2159f64bd8aSPaolo Bonzini 
2169f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_TYPE             0xc000000000000000ULL
2179f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_REQUEST        0x4000000000000000ULL
2189f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_RESPONSE       0x8000000000000000ULL
2199f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_END            0xc000000000000000ULL
2209f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_CODE             0x3000000000000000ULL
2219f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_SUCCESS        0x0000000000000000ULL
2229f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_NOT_FOUND      0x1000000000000000ULL
2239f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_PARM           0x2000000000000000ULL
2249f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_HW             0x3000000000000000ULL
2259f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RC               0x0c00000000000000ULL
2269f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_FLAGS            0x0300000000000000ULL
2279f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_ABSOLUTE       0x0000000000000000ULL
2289f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_ANDCOND        0x0100000000000000ULL
2299f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_AVPN           0x0200000000000000ULL
2309f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PTEX             0x00ffffffffffffffULL
2319f64bd8aSPaolo Bonzini 
2329f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_MAX_BATCH        4
2339f64bd8aSPaolo Bonzini 
23428e02042SDavid Gibson static target_ulong h_bulk_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr,
2359f64bd8aSPaolo Bonzini                                   target_ulong opcode, target_ulong *args)
2369f64bd8aSPaolo Bonzini {
237*cd0c6f47SBenjamin Herrenschmidt     CPUPPCState *env = &cpu->env;
2389f64bd8aSPaolo Bonzini     int i;
239*cd0c6f47SBenjamin Herrenschmidt     target_ulong rc = H_SUCCESS;
2409f64bd8aSPaolo Bonzini 
2419f64bd8aSPaolo Bonzini     for (i = 0; i < H_BULK_REMOVE_MAX_BATCH; i++) {
2429f64bd8aSPaolo Bonzini         target_ulong *tsh = &args[i*2];
2439f64bd8aSPaolo Bonzini         target_ulong tsl = args[i*2 + 1];
2449f64bd8aSPaolo Bonzini         target_ulong v, r, ret;
2459f64bd8aSPaolo Bonzini 
2469f64bd8aSPaolo Bonzini         if ((*tsh & H_BULK_REMOVE_TYPE) == H_BULK_REMOVE_END) {
2479f64bd8aSPaolo Bonzini             break;
2489f64bd8aSPaolo Bonzini         } else if ((*tsh & H_BULK_REMOVE_TYPE) != H_BULK_REMOVE_REQUEST) {
2499f64bd8aSPaolo Bonzini             return H_PARAMETER;
2509f64bd8aSPaolo Bonzini         }
2519f64bd8aSPaolo Bonzini 
2529f64bd8aSPaolo Bonzini         *tsh &= H_BULK_REMOVE_PTEX | H_BULK_REMOVE_FLAGS;
2539f64bd8aSPaolo Bonzini         *tsh |= H_BULK_REMOVE_RESPONSE;
2549f64bd8aSPaolo Bonzini 
2559f64bd8aSPaolo Bonzini         if ((*tsh & H_BULK_REMOVE_ANDCOND) && (*tsh & H_BULK_REMOVE_AVPN)) {
2569f64bd8aSPaolo Bonzini             *tsh |= H_BULK_REMOVE_PARM;
2579f64bd8aSPaolo Bonzini             return H_PARAMETER;
2589f64bd8aSPaolo Bonzini         }
2599f64bd8aSPaolo Bonzini 
2607ef23068SDavid Gibson         ret = remove_hpte(cpu, *tsh & H_BULK_REMOVE_PTEX, tsl,
2619f64bd8aSPaolo Bonzini                           (*tsh & H_BULK_REMOVE_FLAGS) >> 26,
2629f64bd8aSPaolo Bonzini                           &v, &r);
2639f64bd8aSPaolo Bonzini 
2649f64bd8aSPaolo Bonzini         *tsh |= ret << 60;
2659f64bd8aSPaolo Bonzini 
2669f64bd8aSPaolo Bonzini         switch (ret) {
2679f64bd8aSPaolo Bonzini         case REMOVE_SUCCESS:
268d5aea6f3SDavid Gibson             *tsh |= (r & (HPTE64_R_C | HPTE64_R_R)) << 43;
2699f64bd8aSPaolo Bonzini             break;
2709f64bd8aSPaolo Bonzini 
2719f64bd8aSPaolo Bonzini         case REMOVE_PARM:
272*cd0c6f47SBenjamin Herrenschmidt             rc = H_PARAMETER;
273*cd0c6f47SBenjamin Herrenschmidt             goto exit;
2749f64bd8aSPaolo Bonzini 
2759f64bd8aSPaolo Bonzini         case REMOVE_HW:
276*cd0c6f47SBenjamin Herrenschmidt             rc = H_HARDWARE;
277*cd0c6f47SBenjamin Herrenschmidt             goto exit;
2789f64bd8aSPaolo Bonzini         }
2799f64bd8aSPaolo Bonzini     }
280*cd0c6f47SBenjamin Herrenschmidt  exit:
281*cd0c6f47SBenjamin Herrenschmidt     check_tlb_flush(env);
2829f64bd8aSPaolo Bonzini 
283*cd0c6f47SBenjamin Herrenschmidt     return rc;
2849f64bd8aSPaolo Bonzini }
2859f64bd8aSPaolo Bonzini 
28628e02042SDavid Gibson static target_ulong h_protect(PowerPCCPU *cpu, sPAPRMachineState *spapr,
2879f64bd8aSPaolo Bonzini                               target_ulong opcode, target_ulong *args)
2889f64bd8aSPaolo Bonzini {
2899f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
2909f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
2919f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
2929f64bd8aSPaolo Bonzini     target_ulong avpn = args[2];
2937c43bca0SAneesh Kumar K.V     uint64_t token;
29461a36c9bSDavid Gibson     target_ulong v, r;
2959f64bd8aSPaolo Bonzini 
296f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
2979f64bd8aSPaolo Bonzini         return H_PARAMETER;
2989f64bd8aSPaolo Bonzini     }
2999f64bd8aSPaolo Bonzini 
3007c43bca0SAneesh Kumar K.V     token = ppc_hash64_start_access(cpu, pte_index);
3017ef23068SDavid Gibson     v = ppc_hash64_load_hpte0(cpu, token, 0);
3027ef23068SDavid Gibson     r = ppc_hash64_load_hpte1(cpu, token, 0);
303c18ad9a5SDavid Gibson     ppc_hash64_stop_access(cpu, token);
3049f64bd8aSPaolo Bonzini 
305d5aea6f3SDavid Gibson     if ((v & HPTE64_V_VALID) == 0 ||
3069f64bd8aSPaolo Bonzini         ((flags & H_AVPN) && (v & ~0x7fULL) != avpn)) {
3079f64bd8aSPaolo Bonzini         return H_NOT_FOUND;
3089f64bd8aSPaolo Bonzini     }
3099f64bd8aSPaolo Bonzini 
310d5aea6f3SDavid Gibson     r &= ~(HPTE64_R_PP0 | HPTE64_R_PP | HPTE64_R_N |
311d5aea6f3SDavid Gibson            HPTE64_R_KEY_HI | HPTE64_R_KEY_LO);
312d5aea6f3SDavid Gibson     r |= (flags << 55) & HPTE64_R_PP0;
313d5aea6f3SDavid Gibson     r |= (flags << 48) & HPTE64_R_KEY_HI;
314d5aea6f3SDavid Gibson     r |= flags & (HPTE64_R_PP | HPTE64_R_N | HPTE64_R_KEY_LO);
3157ef23068SDavid Gibson     ppc_hash64_store_hpte(cpu, pte_index,
3163f94170bSAneesh Kumar K.V                           (v & ~HPTE64_V_VALID) | HPTE64_V_HPTE_DIRTY, 0);
31761a36c9bSDavid Gibson     ppc_hash64_tlb_flush_hpte(cpu, pte_index, v, r);
3189f64bd8aSPaolo Bonzini     /* Don't need a memory barrier, due to qemu's global lock */
3197ef23068SDavid Gibson     ppc_hash64_store_hpte(cpu, pte_index, v | HPTE64_V_HPTE_DIRTY, r);
3209f64bd8aSPaolo Bonzini     return H_SUCCESS;
3219f64bd8aSPaolo Bonzini }
3229f64bd8aSPaolo Bonzini 
32328e02042SDavid Gibson static target_ulong h_read(PowerPCCPU *cpu, sPAPRMachineState *spapr,
324fa388916SAnthony Liguori                            target_ulong opcode, target_ulong *args)
325fa388916SAnthony Liguori {
326fa388916SAnthony Liguori     CPUPPCState *env = &cpu->env;
327fa388916SAnthony Liguori     target_ulong flags = args[0];
328fa388916SAnthony Liguori     target_ulong pte_index = args[1];
329fa388916SAnthony Liguori     uint8_t *hpte;
330fa388916SAnthony Liguori     int i, ridx, n_entries = 1;
331fa388916SAnthony Liguori 
332f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
333fa388916SAnthony Liguori         return H_PARAMETER;
334fa388916SAnthony Liguori     }
335fa388916SAnthony Liguori 
336fa388916SAnthony Liguori     if (flags & H_READ_4) {
337fa388916SAnthony Liguori         /* Clear the two low order bits */
338fa388916SAnthony Liguori         pte_index &= ~(3ULL);
339fa388916SAnthony Liguori         n_entries = 4;
340fa388916SAnthony Liguori     }
341fa388916SAnthony Liguori 
342fa388916SAnthony Liguori     hpte = env->external_htab + (pte_index * HASH_PTE_SIZE_64);
343fa388916SAnthony Liguori 
344fa388916SAnthony Liguori     for (i = 0, ridx = 0; i < n_entries; i++) {
345fa388916SAnthony Liguori         args[ridx++] = ldq_p(hpte);
346fa388916SAnthony Liguori         args[ridx++] = ldq_p(hpte + (HASH_PTE_SIZE_64/2));
347fa388916SAnthony Liguori         hpte += HASH_PTE_SIZE_64;
348fa388916SAnthony Liguori     }
349fa388916SAnthony Liguori 
350fa388916SAnthony Liguori     return H_SUCCESS;
351fa388916SAnthony Liguori }
352fa388916SAnthony Liguori 
353423576f7SThomas Huth static target_ulong h_set_sprg0(PowerPCCPU *cpu, sPAPRMachineState *spapr,
354423576f7SThomas Huth                                 target_ulong opcode, target_ulong *args)
355423576f7SThomas Huth {
356423576f7SThomas Huth     cpu_synchronize_state(CPU(cpu));
357423576f7SThomas Huth     cpu->env.spr[SPR_SPRG0] = args[0];
358423576f7SThomas Huth 
359423576f7SThomas Huth     return H_SUCCESS;
360423576f7SThomas Huth }
361423576f7SThomas Huth 
36228e02042SDavid Gibson static target_ulong h_set_dabr(PowerPCCPU *cpu, sPAPRMachineState *spapr,
3639f64bd8aSPaolo Bonzini                                target_ulong opcode, target_ulong *args)
3649f64bd8aSPaolo Bonzini {
365af08a58fSThomas Huth     if (!has_spr(cpu, SPR_DABR)) {
366af08a58fSThomas Huth         return H_HARDWARE;              /* DABR register not available */
367af08a58fSThomas Huth     }
368af08a58fSThomas Huth     cpu_synchronize_state(CPU(cpu));
369af08a58fSThomas Huth 
370af08a58fSThomas Huth     if (has_spr(cpu, SPR_DABRX)) {
371af08a58fSThomas Huth         cpu->env.spr[SPR_DABRX] = 0x3;  /* Use Problem and Privileged state */
372af08a58fSThomas Huth     } else if (!(args[0] & 0x4)) {      /* Breakpoint Translation set? */
373af08a58fSThomas Huth         return H_RESERVED_DABR;
374af08a58fSThomas Huth     }
375af08a58fSThomas Huth 
376af08a58fSThomas Huth     cpu->env.spr[SPR_DABR] = args[0];
377af08a58fSThomas Huth     return H_SUCCESS;
3789f64bd8aSPaolo Bonzini }
3799f64bd8aSPaolo Bonzini 
380e49ff266SThomas Huth static target_ulong h_set_xdabr(PowerPCCPU *cpu, sPAPRMachineState *spapr,
381e49ff266SThomas Huth                                 target_ulong opcode, target_ulong *args)
382e49ff266SThomas Huth {
383e49ff266SThomas Huth     target_ulong dabrx = args[1];
384e49ff266SThomas Huth 
385e49ff266SThomas Huth     if (!has_spr(cpu, SPR_DABR) || !has_spr(cpu, SPR_DABRX)) {
386e49ff266SThomas Huth         return H_HARDWARE;
387e49ff266SThomas Huth     }
388e49ff266SThomas Huth 
389e49ff266SThomas Huth     if ((dabrx & ~0xfULL) != 0 || (dabrx & H_DABRX_HYPERVISOR) != 0
390e49ff266SThomas Huth         || (dabrx & (H_DABRX_KERNEL | H_DABRX_USER)) == 0) {
391e49ff266SThomas Huth         return H_PARAMETER;
392e49ff266SThomas Huth     }
393e49ff266SThomas Huth 
394e49ff266SThomas Huth     cpu_synchronize_state(CPU(cpu));
395e49ff266SThomas Huth     cpu->env.spr[SPR_DABRX] = dabrx;
396e49ff266SThomas Huth     cpu->env.spr[SPR_DABR] = args[0];
397e49ff266SThomas Huth 
398e49ff266SThomas Huth     return H_SUCCESS;
399e49ff266SThomas Huth }
400e49ff266SThomas Huth 
4013240dd9aSThomas Huth static target_ulong h_page_init(PowerPCCPU *cpu, sPAPRMachineState *spapr,
4023240dd9aSThomas Huth                                 target_ulong opcode, target_ulong *args)
4033240dd9aSThomas Huth {
4043240dd9aSThomas Huth     target_ulong flags = args[0];
4053240dd9aSThomas Huth     hwaddr dst = args[1];
4063240dd9aSThomas Huth     hwaddr src = args[2];
4073240dd9aSThomas Huth     hwaddr len = TARGET_PAGE_SIZE;
4083240dd9aSThomas Huth     uint8_t *pdst, *psrc;
4093240dd9aSThomas Huth     target_long ret = H_SUCCESS;
4103240dd9aSThomas Huth 
4113240dd9aSThomas Huth     if (flags & ~(H_ICACHE_SYNCHRONIZE | H_ICACHE_INVALIDATE
4123240dd9aSThomas Huth                   | H_COPY_PAGE | H_ZERO_PAGE)) {
4133240dd9aSThomas Huth         qemu_log_mask(LOG_UNIMP, "h_page_init: Bad flags (" TARGET_FMT_lx "\n",
4143240dd9aSThomas Huth                       flags);
4153240dd9aSThomas Huth         return H_PARAMETER;
4163240dd9aSThomas Huth     }
4173240dd9aSThomas Huth 
4183240dd9aSThomas Huth     /* Map-in destination */
4193240dd9aSThomas Huth     if (!is_ram_address(spapr, dst) || (dst & ~TARGET_PAGE_MASK) != 0) {
4203240dd9aSThomas Huth         return H_PARAMETER;
4213240dd9aSThomas Huth     }
4223240dd9aSThomas Huth     pdst = cpu_physical_memory_map(dst, &len, 1);
4233240dd9aSThomas Huth     if (!pdst || len != TARGET_PAGE_SIZE) {
4243240dd9aSThomas Huth         return H_PARAMETER;
4253240dd9aSThomas Huth     }
4263240dd9aSThomas Huth 
4273240dd9aSThomas Huth     if (flags & H_COPY_PAGE) {
4283240dd9aSThomas Huth         /* Map-in source, copy to destination, and unmap source again */
4293240dd9aSThomas Huth         if (!is_ram_address(spapr, src) || (src & ~TARGET_PAGE_MASK) != 0) {
4303240dd9aSThomas Huth             ret = H_PARAMETER;
4313240dd9aSThomas Huth             goto unmap_out;
4323240dd9aSThomas Huth         }
4333240dd9aSThomas Huth         psrc = cpu_physical_memory_map(src, &len, 0);
4343240dd9aSThomas Huth         if (!psrc || len != TARGET_PAGE_SIZE) {
4353240dd9aSThomas Huth             ret = H_PARAMETER;
4363240dd9aSThomas Huth             goto unmap_out;
4373240dd9aSThomas Huth         }
4383240dd9aSThomas Huth         memcpy(pdst, psrc, len);
4393240dd9aSThomas Huth         cpu_physical_memory_unmap(psrc, len, 0, len);
4403240dd9aSThomas Huth     } else if (flags & H_ZERO_PAGE) {
4413240dd9aSThomas Huth         memset(pdst, 0, len);          /* Just clear the destination page */
4423240dd9aSThomas Huth     }
4433240dd9aSThomas Huth 
4443240dd9aSThomas Huth     if (kvm_enabled() && (flags & H_ICACHE_SYNCHRONIZE) != 0) {
4453240dd9aSThomas Huth         kvmppc_dcbst_range(cpu, pdst, len);
4463240dd9aSThomas Huth     }
4473240dd9aSThomas Huth     if (flags & (H_ICACHE_SYNCHRONIZE | H_ICACHE_INVALIDATE)) {
4483240dd9aSThomas Huth         if (kvm_enabled()) {
4493240dd9aSThomas Huth             kvmppc_icbi_range(cpu, pdst, len);
4503240dd9aSThomas Huth         } else {
4513240dd9aSThomas Huth             tb_flush(CPU(cpu));
4523240dd9aSThomas Huth         }
4533240dd9aSThomas Huth     }
4543240dd9aSThomas Huth 
4553240dd9aSThomas Huth unmap_out:
4563240dd9aSThomas Huth     cpu_physical_memory_unmap(pdst, TARGET_PAGE_SIZE, 1, len);
4573240dd9aSThomas Huth     return ret;
4583240dd9aSThomas Huth }
4593240dd9aSThomas Huth 
4609f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_VPA         0x0000200000000000ULL
4619f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_DTL         0x0000400000000000ULL
4629f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_SLBSHADOW   0x0000600000000000ULL
4639f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_VPA       0x0000a00000000000ULL
4649f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_DTL       0x0000c00000000000ULL
4659f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_SLBSHADOW 0x0000e00000000000ULL
4669f64bd8aSPaolo Bonzini 
4679f64bd8aSPaolo Bonzini #define VPA_MIN_SIZE           640
4689f64bd8aSPaolo Bonzini #define VPA_SIZE_OFFSET        0x4
4699f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_OFFSET 0x9
4709f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_VAL    0x2
4719f64bd8aSPaolo Bonzini 
4729f64bd8aSPaolo Bonzini static target_ulong register_vpa(CPUPPCState *env, target_ulong vpa)
4739f64bd8aSPaolo Bonzini {
47433276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
4759f64bd8aSPaolo Bonzini     uint16_t size;
4769f64bd8aSPaolo Bonzini     uint8_t tmp;
4779f64bd8aSPaolo Bonzini 
4789f64bd8aSPaolo Bonzini     if (vpa == 0) {
4799f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with registering a VPA at logical 0\n");
4809f64bd8aSPaolo Bonzini         return H_HARDWARE;
4819f64bd8aSPaolo Bonzini     }
4829f64bd8aSPaolo Bonzini 
4839f64bd8aSPaolo Bonzini     if (vpa % env->dcache_line_size) {
4849f64bd8aSPaolo Bonzini         return H_PARAMETER;
4859f64bd8aSPaolo Bonzini     }
4869f64bd8aSPaolo Bonzini     /* FIXME: bounds check the address */
4879f64bd8aSPaolo Bonzini 
48841701aa4SEdgar E. Iglesias     size = lduw_be_phys(cs->as, vpa + 0x4);
4899f64bd8aSPaolo Bonzini 
4909f64bd8aSPaolo Bonzini     if (size < VPA_MIN_SIZE) {
4919f64bd8aSPaolo Bonzini         return H_PARAMETER;
4929f64bd8aSPaolo Bonzini     }
4939f64bd8aSPaolo Bonzini 
4949f64bd8aSPaolo Bonzini     /* VPA is not allowed to cross a page boundary */
4959f64bd8aSPaolo Bonzini     if ((vpa / 4096) != ((vpa + size - 1) / 4096)) {
4969f64bd8aSPaolo Bonzini         return H_PARAMETER;
4979f64bd8aSPaolo Bonzini     }
4989f64bd8aSPaolo Bonzini 
4999f64bd8aSPaolo Bonzini     env->vpa_addr = vpa;
5009f64bd8aSPaolo Bonzini 
5012c17449bSEdgar E. Iglesias     tmp = ldub_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET);
5029f64bd8aSPaolo Bonzini     tmp |= VPA_SHARED_PROC_VAL;
503db3be60dSEdgar E. Iglesias     stb_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET, tmp);
5049f64bd8aSPaolo Bonzini 
5059f64bd8aSPaolo Bonzini     return H_SUCCESS;
5069f64bd8aSPaolo Bonzini }
5079f64bd8aSPaolo Bonzini 
5089f64bd8aSPaolo Bonzini static target_ulong deregister_vpa(CPUPPCState *env, target_ulong vpa)
5099f64bd8aSPaolo Bonzini {
5109f64bd8aSPaolo Bonzini     if (env->slb_shadow_addr) {
5119f64bd8aSPaolo Bonzini         return H_RESOURCE;
5129f64bd8aSPaolo Bonzini     }
5139f64bd8aSPaolo Bonzini 
5149f64bd8aSPaolo Bonzini     if (env->dtl_addr) {
5159f64bd8aSPaolo Bonzini         return H_RESOURCE;
5169f64bd8aSPaolo Bonzini     }
5179f64bd8aSPaolo Bonzini 
5189f64bd8aSPaolo Bonzini     env->vpa_addr = 0;
5199f64bd8aSPaolo Bonzini     return H_SUCCESS;
5209f64bd8aSPaolo Bonzini }
5219f64bd8aSPaolo Bonzini 
5229f64bd8aSPaolo Bonzini static target_ulong register_slb_shadow(CPUPPCState *env, target_ulong addr)
5239f64bd8aSPaolo Bonzini {
52433276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
5259f64bd8aSPaolo Bonzini     uint32_t size;
5269f64bd8aSPaolo Bonzini 
5279f64bd8aSPaolo Bonzini     if (addr == 0) {
5289f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with SLB shadow at logical 0\n");
5299f64bd8aSPaolo Bonzini         return H_HARDWARE;
5309f64bd8aSPaolo Bonzini     }
5319f64bd8aSPaolo Bonzini 
532fdfba1a2SEdgar E. Iglesias     size = ldl_be_phys(cs->as, addr + 0x4);
5339f64bd8aSPaolo Bonzini     if (size < 0x8) {
5349f64bd8aSPaolo Bonzini         return H_PARAMETER;
5359f64bd8aSPaolo Bonzini     }
5369f64bd8aSPaolo Bonzini 
5379f64bd8aSPaolo Bonzini     if ((addr / 4096) != ((addr + size - 1) / 4096)) {
5389f64bd8aSPaolo Bonzini         return H_PARAMETER;
5399f64bd8aSPaolo Bonzini     }
5409f64bd8aSPaolo Bonzini 
5419f64bd8aSPaolo Bonzini     if (!env->vpa_addr) {
5429f64bd8aSPaolo Bonzini         return H_RESOURCE;
5439f64bd8aSPaolo Bonzini     }
5449f64bd8aSPaolo Bonzini 
5459f64bd8aSPaolo Bonzini     env->slb_shadow_addr = addr;
5469f64bd8aSPaolo Bonzini     env->slb_shadow_size = size;
5479f64bd8aSPaolo Bonzini 
5489f64bd8aSPaolo Bonzini     return H_SUCCESS;
5499f64bd8aSPaolo Bonzini }
5509f64bd8aSPaolo Bonzini 
5519f64bd8aSPaolo Bonzini static target_ulong deregister_slb_shadow(CPUPPCState *env, target_ulong addr)
5529f64bd8aSPaolo Bonzini {
5539f64bd8aSPaolo Bonzini     env->slb_shadow_addr = 0;
5549f64bd8aSPaolo Bonzini     env->slb_shadow_size = 0;
5559f64bd8aSPaolo Bonzini     return H_SUCCESS;
5569f64bd8aSPaolo Bonzini }
5579f64bd8aSPaolo Bonzini 
5589f64bd8aSPaolo Bonzini static target_ulong register_dtl(CPUPPCState *env, target_ulong addr)
5599f64bd8aSPaolo Bonzini {
56033276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
5619f64bd8aSPaolo Bonzini     uint32_t size;
5629f64bd8aSPaolo Bonzini 
5639f64bd8aSPaolo Bonzini     if (addr == 0) {
5649f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with DTL at logical 0\n");
5659f64bd8aSPaolo Bonzini         return H_HARDWARE;
5669f64bd8aSPaolo Bonzini     }
5679f64bd8aSPaolo Bonzini 
568fdfba1a2SEdgar E. Iglesias     size = ldl_be_phys(cs->as, addr + 0x4);
5699f64bd8aSPaolo Bonzini 
5709f64bd8aSPaolo Bonzini     if (size < 48) {
5719f64bd8aSPaolo Bonzini         return H_PARAMETER;
5729f64bd8aSPaolo Bonzini     }
5739f64bd8aSPaolo Bonzini 
5749f64bd8aSPaolo Bonzini     if (!env->vpa_addr) {
5759f64bd8aSPaolo Bonzini         return H_RESOURCE;
5769f64bd8aSPaolo Bonzini     }
5779f64bd8aSPaolo Bonzini 
5789f64bd8aSPaolo Bonzini     env->dtl_addr = addr;
5799f64bd8aSPaolo Bonzini     env->dtl_size = size;
5809f64bd8aSPaolo Bonzini 
5819f64bd8aSPaolo Bonzini     return H_SUCCESS;
5829f64bd8aSPaolo Bonzini }
5839f64bd8aSPaolo Bonzini 
5849f64bd8aSPaolo Bonzini static target_ulong deregister_dtl(CPUPPCState *env, target_ulong addr)
5859f64bd8aSPaolo Bonzini {
5869f64bd8aSPaolo Bonzini     env->dtl_addr = 0;
5879f64bd8aSPaolo Bonzini     env->dtl_size = 0;
5889f64bd8aSPaolo Bonzini 
5899f64bd8aSPaolo Bonzini     return H_SUCCESS;
5909f64bd8aSPaolo Bonzini }
5919f64bd8aSPaolo Bonzini 
59228e02042SDavid Gibson static target_ulong h_register_vpa(PowerPCCPU *cpu, sPAPRMachineState *spapr,
5939f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
5949f64bd8aSPaolo Bonzini {
5959f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
5969f64bd8aSPaolo Bonzini     target_ulong procno = args[1];
5979f64bd8aSPaolo Bonzini     target_ulong vpa = args[2];
5989f64bd8aSPaolo Bonzini     target_ulong ret = H_PARAMETER;
5999f64bd8aSPaolo Bonzini     CPUPPCState *tenv;
6000f20ba62SAlexey Kardashevskiy     PowerPCCPU *tcpu;
6019f64bd8aSPaolo Bonzini 
6020f20ba62SAlexey Kardashevskiy     tcpu = ppc_get_vcpu_by_dt_id(procno);
6039f64bd8aSPaolo Bonzini     if (!tcpu) {
6049f64bd8aSPaolo Bonzini         return H_PARAMETER;
6059f64bd8aSPaolo Bonzini     }
6060f20ba62SAlexey Kardashevskiy     tenv = &tcpu->env;
6079f64bd8aSPaolo Bonzini 
6089f64bd8aSPaolo Bonzini     switch (flags) {
6099f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_VPA:
6109f64bd8aSPaolo Bonzini         ret = register_vpa(tenv, vpa);
6119f64bd8aSPaolo Bonzini         break;
6129f64bd8aSPaolo Bonzini 
6139f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_VPA:
6149f64bd8aSPaolo Bonzini         ret = deregister_vpa(tenv, vpa);
6159f64bd8aSPaolo Bonzini         break;
6169f64bd8aSPaolo Bonzini 
6179f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_SLBSHADOW:
6189f64bd8aSPaolo Bonzini         ret = register_slb_shadow(tenv, vpa);
6199f64bd8aSPaolo Bonzini         break;
6209f64bd8aSPaolo Bonzini 
6219f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_SLBSHADOW:
6229f64bd8aSPaolo Bonzini         ret = deregister_slb_shadow(tenv, vpa);
6239f64bd8aSPaolo Bonzini         break;
6249f64bd8aSPaolo Bonzini 
6259f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_DTL:
6269f64bd8aSPaolo Bonzini         ret = register_dtl(tenv, vpa);
6279f64bd8aSPaolo Bonzini         break;
6289f64bd8aSPaolo Bonzini 
6299f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_DTL:
6309f64bd8aSPaolo Bonzini         ret = deregister_dtl(tenv, vpa);
6319f64bd8aSPaolo Bonzini         break;
6329f64bd8aSPaolo Bonzini     }
6339f64bd8aSPaolo Bonzini 
6349f64bd8aSPaolo Bonzini     return ret;
6359f64bd8aSPaolo Bonzini }
6369f64bd8aSPaolo Bonzini 
63728e02042SDavid Gibson static target_ulong h_cede(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6389f64bd8aSPaolo Bonzini                            target_ulong opcode, target_ulong *args)
6399f64bd8aSPaolo Bonzini {
6409f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
6419f64bd8aSPaolo Bonzini     CPUState *cs = CPU(cpu);
6429f64bd8aSPaolo Bonzini 
6439f64bd8aSPaolo Bonzini     env->msr |= (1ULL << MSR_EE);
6449f64bd8aSPaolo Bonzini     hreg_compute_hflags(env);
6459f64bd8aSPaolo Bonzini     if (!cpu_has_work(cs)) {
646259186a7SAndreas Färber         cs->halted = 1;
64727103424SAndreas Färber         cs->exception_index = EXCP_HLT;
6489f64bd8aSPaolo Bonzini         cs->exit_request = 1;
6499f64bd8aSPaolo Bonzini     }
6509f64bd8aSPaolo Bonzini     return H_SUCCESS;
6519f64bd8aSPaolo Bonzini }
6529f64bd8aSPaolo Bonzini 
65328e02042SDavid Gibson static target_ulong h_rtas(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6549f64bd8aSPaolo Bonzini                            target_ulong opcode, target_ulong *args)
6559f64bd8aSPaolo Bonzini {
6569f64bd8aSPaolo Bonzini     target_ulong rtas_r3 = args[0];
6574fe822e0SAlexey Kardashevskiy     uint32_t token = rtas_ld(rtas_r3, 0);
6584fe822e0SAlexey Kardashevskiy     uint32_t nargs = rtas_ld(rtas_r3, 1);
6594fe822e0SAlexey Kardashevskiy     uint32_t nret = rtas_ld(rtas_r3, 2);
6609f64bd8aSPaolo Bonzini 
661210b580bSAnthony Liguori     return spapr_rtas_call(cpu, spapr, token, nargs, rtas_r3 + 12,
6629f64bd8aSPaolo Bonzini                            nret, rtas_r3 + 12 + 4*nargs);
6639f64bd8aSPaolo Bonzini }
6649f64bd8aSPaolo Bonzini 
66528e02042SDavid Gibson static target_ulong h_logical_load(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6669f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
6679f64bd8aSPaolo Bonzini {
668fdfba1a2SEdgar E. Iglesias     CPUState *cs = CPU(cpu);
6699f64bd8aSPaolo Bonzini     target_ulong size = args[0];
6709f64bd8aSPaolo Bonzini     target_ulong addr = args[1];
6719f64bd8aSPaolo Bonzini 
6729f64bd8aSPaolo Bonzini     switch (size) {
6739f64bd8aSPaolo Bonzini     case 1:
6742c17449bSEdgar E. Iglesias         args[0] = ldub_phys(cs->as, addr);
6759f64bd8aSPaolo Bonzini         return H_SUCCESS;
6769f64bd8aSPaolo Bonzini     case 2:
67741701aa4SEdgar E. Iglesias         args[0] = lduw_phys(cs->as, addr);
6789f64bd8aSPaolo Bonzini         return H_SUCCESS;
6799f64bd8aSPaolo Bonzini     case 4:
680fdfba1a2SEdgar E. Iglesias         args[0] = ldl_phys(cs->as, addr);
6819f64bd8aSPaolo Bonzini         return H_SUCCESS;
6829f64bd8aSPaolo Bonzini     case 8:
6832c17449bSEdgar E. Iglesias         args[0] = ldq_phys(cs->as, addr);
6849f64bd8aSPaolo Bonzini         return H_SUCCESS;
6859f64bd8aSPaolo Bonzini     }
6869f64bd8aSPaolo Bonzini     return H_PARAMETER;
6879f64bd8aSPaolo Bonzini }
6889f64bd8aSPaolo Bonzini 
68928e02042SDavid Gibson static target_ulong h_logical_store(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6909f64bd8aSPaolo Bonzini                                     target_ulong opcode, target_ulong *args)
6919f64bd8aSPaolo Bonzini {
692f606604fSEdgar E. Iglesias     CPUState *cs = CPU(cpu);
693f606604fSEdgar E. Iglesias 
6949f64bd8aSPaolo Bonzini     target_ulong size = args[0];
6959f64bd8aSPaolo Bonzini     target_ulong addr = args[1];
6969f64bd8aSPaolo Bonzini     target_ulong val  = args[2];
6979f64bd8aSPaolo Bonzini 
6989f64bd8aSPaolo Bonzini     switch (size) {
6999f64bd8aSPaolo Bonzini     case 1:
700db3be60dSEdgar E. Iglesias         stb_phys(cs->as, addr, val);
7019f64bd8aSPaolo Bonzini         return H_SUCCESS;
7029f64bd8aSPaolo Bonzini     case 2:
7035ce5944dSEdgar E. Iglesias         stw_phys(cs->as, addr, val);
7049f64bd8aSPaolo Bonzini         return H_SUCCESS;
7059f64bd8aSPaolo Bonzini     case 4:
706ab1da857SEdgar E. Iglesias         stl_phys(cs->as, addr, val);
7079f64bd8aSPaolo Bonzini         return H_SUCCESS;
7089f64bd8aSPaolo Bonzini     case 8:
709f606604fSEdgar E. Iglesias         stq_phys(cs->as, addr, val);
7109f64bd8aSPaolo Bonzini         return H_SUCCESS;
7119f64bd8aSPaolo Bonzini     }
7129f64bd8aSPaolo Bonzini     return H_PARAMETER;
7139f64bd8aSPaolo Bonzini }
7149f64bd8aSPaolo Bonzini 
71528e02042SDavid Gibson static target_ulong h_logical_memop(PowerPCCPU *cpu, sPAPRMachineState *spapr,
7169f64bd8aSPaolo Bonzini                                     target_ulong opcode, target_ulong *args)
7179f64bd8aSPaolo Bonzini {
718fdfba1a2SEdgar E. Iglesias     CPUState *cs = CPU(cpu);
719fdfba1a2SEdgar E. Iglesias 
7209f64bd8aSPaolo Bonzini     target_ulong dst   = args[0]; /* Destination address */
7219f64bd8aSPaolo Bonzini     target_ulong src   = args[1]; /* Source address */
7229f64bd8aSPaolo Bonzini     target_ulong esize = args[2]; /* Element size (0=1,1=2,2=4,3=8) */
7239f64bd8aSPaolo Bonzini     target_ulong count = args[3]; /* Element count */
7249f64bd8aSPaolo Bonzini     target_ulong op    = args[4]; /* 0 = copy, 1 = invert */
7259f64bd8aSPaolo Bonzini     uint64_t tmp;
7269f64bd8aSPaolo Bonzini     unsigned int mask = (1 << esize) - 1;
7279f64bd8aSPaolo Bonzini     int step = 1 << esize;
7289f64bd8aSPaolo Bonzini 
7299f64bd8aSPaolo Bonzini     if (count > 0x80000000) {
7309f64bd8aSPaolo Bonzini         return H_PARAMETER;
7319f64bd8aSPaolo Bonzini     }
7329f64bd8aSPaolo Bonzini 
7339f64bd8aSPaolo Bonzini     if ((dst & mask) || (src & mask) || (op > 1)) {
7349f64bd8aSPaolo Bonzini         return H_PARAMETER;
7359f64bd8aSPaolo Bonzini     }
7369f64bd8aSPaolo Bonzini 
7379f64bd8aSPaolo Bonzini     if (dst >= src && dst < (src + (count << esize))) {
7389f64bd8aSPaolo Bonzini             dst = dst + ((count - 1) << esize);
7399f64bd8aSPaolo Bonzini             src = src + ((count - 1) << esize);
7409f64bd8aSPaolo Bonzini             step = -step;
7419f64bd8aSPaolo Bonzini     }
7429f64bd8aSPaolo Bonzini 
7439f64bd8aSPaolo Bonzini     while (count--) {
7449f64bd8aSPaolo Bonzini         switch (esize) {
7459f64bd8aSPaolo Bonzini         case 0:
7462c17449bSEdgar E. Iglesias             tmp = ldub_phys(cs->as, src);
7479f64bd8aSPaolo Bonzini             break;
7489f64bd8aSPaolo Bonzini         case 1:
74941701aa4SEdgar E. Iglesias             tmp = lduw_phys(cs->as, src);
7509f64bd8aSPaolo Bonzini             break;
7519f64bd8aSPaolo Bonzini         case 2:
752fdfba1a2SEdgar E. Iglesias             tmp = ldl_phys(cs->as, src);
7539f64bd8aSPaolo Bonzini             break;
7549f64bd8aSPaolo Bonzini         case 3:
7552c17449bSEdgar E. Iglesias             tmp = ldq_phys(cs->as, src);
7569f64bd8aSPaolo Bonzini             break;
7579f64bd8aSPaolo Bonzini         default:
7589f64bd8aSPaolo Bonzini             return H_PARAMETER;
7599f64bd8aSPaolo Bonzini         }
7609f64bd8aSPaolo Bonzini         if (op == 1) {
7619f64bd8aSPaolo Bonzini             tmp = ~tmp;
7629f64bd8aSPaolo Bonzini         }
7639f64bd8aSPaolo Bonzini         switch (esize) {
7649f64bd8aSPaolo Bonzini         case 0:
765db3be60dSEdgar E. Iglesias             stb_phys(cs->as, dst, tmp);
7669f64bd8aSPaolo Bonzini             break;
7679f64bd8aSPaolo Bonzini         case 1:
7685ce5944dSEdgar E. Iglesias             stw_phys(cs->as, dst, tmp);
7699f64bd8aSPaolo Bonzini             break;
7709f64bd8aSPaolo Bonzini         case 2:
771ab1da857SEdgar E. Iglesias             stl_phys(cs->as, dst, tmp);
7729f64bd8aSPaolo Bonzini             break;
7739f64bd8aSPaolo Bonzini         case 3:
774f606604fSEdgar E. Iglesias             stq_phys(cs->as, dst, tmp);
7759f64bd8aSPaolo Bonzini             break;
7769f64bd8aSPaolo Bonzini         }
7779f64bd8aSPaolo Bonzini         dst = dst + step;
7789f64bd8aSPaolo Bonzini         src = src + step;
7799f64bd8aSPaolo Bonzini     }
7809f64bd8aSPaolo Bonzini 
7819f64bd8aSPaolo Bonzini     return H_SUCCESS;
7829f64bd8aSPaolo Bonzini }
7839f64bd8aSPaolo Bonzini 
78428e02042SDavid Gibson static target_ulong h_logical_icbi(PowerPCCPU *cpu, sPAPRMachineState *spapr,
7859f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
7869f64bd8aSPaolo Bonzini {
7879f64bd8aSPaolo Bonzini     /* Nothing to do on emulation, KVM will trap this in the kernel */
7889f64bd8aSPaolo Bonzini     return H_SUCCESS;
7899f64bd8aSPaolo Bonzini }
7909f64bd8aSPaolo Bonzini 
79128e02042SDavid Gibson static target_ulong h_logical_dcbf(PowerPCCPU *cpu, sPAPRMachineState *spapr,
7929f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
7939f64bd8aSPaolo Bonzini {
7949f64bd8aSPaolo Bonzini     /* Nothing to do on emulation, KVM will trap this in the kernel */
7959f64bd8aSPaolo Bonzini     return H_SUCCESS;
7969f64bd8aSPaolo Bonzini }
7979f64bd8aSPaolo Bonzini 
7987d0cd464SPeter Maydell static target_ulong h_set_mode_resource_le(PowerPCCPU *cpu,
799c4015bbdSAlexey Kardashevskiy                                            target_ulong mflags,
800c4015bbdSAlexey Kardashevskiy                                            target_ulong value1,
801c4015bbdSAlexey Kardashevskiy                                            target_ulong value2)
80242561bf2SAnton Blanchard {
80342561bf2SAnton Blanchard     CPUState *cs;
80442561bf2SAnton Blanchard 
80542561bf2SAnton Blanchard     if (value1) {
806c4015bbdSAlexey Kardashevskiy         return H_P3;
80742561bf2SAnton Blanchard     }
80842561bf2SAnton Blanchard     if (value2) {
809c4015bbdSAlexey Kardashevskiy         return H_P4;
81042561bf2SAnton Blanchard     }
811c4015bbdSAlexey Kardashevskiy 
81242561bf2SAnton Blanchard     switch (mflags) {
81342561bf2SAnton Blanchard     case H_SET_MODE_ENDIAN_BIG:
814bdc44640SAndreas Färber         CPU_FOREACH(cs) {
815a46622fdSAlexey Kardashevskiy             set_spr(cs, SPR_LPCR, 0, LPCR_ILE);
81642561bf2SAnton Blanchard         }
817eefaccc0SDavid Gibson         spapr_pci_switch_vga(true);
818c4015bbdSAlexey Kardashevskiy         return H_SUCCESS;
81942561bf2SAnton Blanchard 
82042561bf2SAnton Blanchard     case H_SET_MODE_ENDIAN_LITTLE:
821bdc44640SAndreas Färber         CPU_FOREACH(cs) {
822a46622fdSAlexey Kardashevskiy             set_spr(cs, SPR_LPCR, LPCR_ILE, LPCR_ILE);
82342561bf2SAnton Blanchard         }
824eefaccc0SDavid Gibson         spapr_pci_switch_vga(false);
825c4015bbdSAlexey Kardashevskiy         return H_SUCCESS;
826c4015bbdSAlexey Kardashevskiy     }
827c4015bbdSAlexey Kardashevskiy 
828c4015bbdSAlexey Kardashevskiy     return H_UNSUPPORTED_FLAG;
829c4015bbdSAlexey Kardashevskiy }
830c4015bbdSAlexey Kardashevskiy 
8317d0cd464SPeter Maydell static target_ulong h_set_mode_resource_addr_trans_mode(PowerPCCPU *cpu,
832d5ac4f54SAlexey Kardashevskiy                                                         target_ulong mflags,
833d5ac4f54SAlexey Kardashevskiy                                                         target_ulong value1,
834d5ac4f54SAlexey Kardashevskiy                                                         target_ulong value2)
835d5ac4f54SAlexey Kardashevskiy {
836d5ac4f54SAlexey Kardashevskiy     CPUState *cs;
837d5ac4f54SAlexey Kardashevskiy     PowerPCCPUClass *pcc = POWERPC_CPU_GET_CLASS(cpu);
838d5ac4f54SAlexey Kardashevskiy 
839d5ac4f54SAlexey Kardashevskiy     if (!(pcc->insns_flags2 & PPC2_ISA207S)) {
840d5ac4f54SAlexey Kardashevskiy         return H_P2;
841d5ac4f54SAlexey Kardashevskiy     }
842d5ac4f54SAlexey Kardashevskiy     if (value1) {
843d5ac4f54SAlexey Kardashevskiy         return H_P3;
844d5ac4f54SAlexey Kardashevskiy     }
845d5ac4f54SAlexey Kardashevskiy     if (value2) {
846d5ac4f54SAlexey Kardashevskiy         return H_P4;
847d5ac4f54SAlexey Kardashevskiy     }
848d5ac4f54SAlexey Kardashevskiy 
8495c94b2a5SCédric Le Goater     if (mflags == AIL_RESERVED) {
850d5ac4f54SAlexey Kardashevskiy         return H_UNSUPPORTED_FLAG;
851d5ac4f54SAlexey Kardashevskiy     }
852d5ac4f54SAlexey Kardashevskiy 
853d5ac4f54SAlexey Kardashevskiy     CPU_FOREACH(cs) {
854d5ac4f54SAlexey Kardashevskiy         set_spr(cs, SPR_LPCR, mflags << LPCR_AIL_SHIFT, LPCR_AIL);
855d5ac4f54SAlexey Kardashevskiy     }
856d5ac4f54SAlexey Kardashevskiy 
857d5ac4f54SAlexey Kardashevskiy     return H_SUCCESS;
858d5ac4f54SAlexey Kardashevskiy }
859d5ac4f54SAlexey Kardashevskiy 
86028e02042SDavid Gibson static target_ulong h_set_mode(PowerPCCPU *cpu, sPAPRMachineState *spapr,
861c4015bbdSAlexey Kardashevskiy                                target_ulong opcode, target_ulong *args)
862c4015bbdSAlexey Kardashevskiy {
863c4015bbdSAlexey Kardashevskiy     target_ulong resource = args[1];
864c4015bbdSAlexey Kardashevskiy     target_ulong ret = H_P2;
865c4015bbdSAlexey Kardashevskiy 
866c4015bbdSAlexey Kardashevskiy     switch (resource) {
867c4015bbdSAlexey Kardashevskiy     case H_SET_MODE_RESOURCE_LE:
8687d0cd464SPeter Maydell         ret = h_set_mode_resource_le(cpu, args[0], args[2], args[3]);
86942561bf2SAnton Blanchard         break;
870d5ac4f54SAlexey Kardashevskiy     case H_SET_MODE_RESOURCE_ADDR_TRANS_MODE:
8717d0cd464SPeter Maydell         ret = h_set_mode_resource_addr_trans_mode(cpu, args[0],
872d5ac4f54SAlexey Kardashevskiy                                                   args[2], args[3]);
873d5ac4f54SAlexey Kardashevskiy         break;
87442561bf2SAnton Blanchard     }
87542561bf2SAnton Blanchard 
87642561bf2SAnton Blanchard     return ret;
87742561bf2SAnton Blanchard }
87842561bf2SAnton Blanchard 
87903d196b7SBharata B Rao /*
88003d196b7SBharata B Rao  * Return the offset to the requested option vector @vector in the
88103d196b7SBharata B Rao  * option vector table @table.
88203d196b7SBharata B Rao  */
88303d196b7SBharata B Rao static target_ulong cas_get_option_vector(int vector, target_ulong table)
88403d196b7SBharata B Rao {
88503d196b7SBharata B Rao     int i;
88603d196b7SBharata B Rao     char nr_vectors, nr_entries;
88703d196b7SBharata B Rao 
88803d196b7SBharata B Rao     if (!table) {
88903d196b7SBharata B Rao         return 0;
89003d196b7SBharata B Rao     }
89103d196b7SBharata B Rao 
89203d196b7SBharata B Rao     nr_vectors = (ldl_phys(&address_space_memory, table) >> 24) + 1;
89303d196b7SBharata B Rao     if (!vector || vector > nr_vectors) {
89403d196b7SBharata B Rao         return 0;
89503d196b7SBharata B Rao     }
89603d196b7SBharata B Rao     table++; /* skip nr option vectors */
89703d196b7SBharata B Rao 
89803d196b7SBharata B Rao     for (i = 0; i < vector - 1; i++) {
89903d196b7SBharata B Rao         nr_entries = ldl_phys(&address_space_memory, table) >> 24;
90003d196b7SBharata B Rao         table += nr_entries + 2;
90103d196b7SBharata B Rao     }
90203d196b7SBharata B Rao     return table;
90303d196b7SBharata B Rao }
90403d196b7SBharata B Rao 
9053794d548SAlexey Kardashevskiy typedef struct {
9063794d548SAlexey Kardashevskiy     PowerPCCPU *cpu;
9073794d548SAlexey Kardashevskiy     uint32_t cpu_version;
908f9ab1e87SDavid Gibson     Error *err;
9093794d548SAlexey Kardashevskiy } SetCompatState;
9103794d548SAlexey Kardashevskiy 
9113794d548SAlexey Kardashevskiy static void do_set_compat(void *arg)
9123794d548SAlexey Kardashevskiy {
9133794d548SAlexey Kardashevskiy     SetCompatState *s = arg;
9143794d548SAlexey Kardashevskiy 
9153794d548SAlexey Kardashevskiy     cpu_synchronize_state(CPU(s->cpu));
916f9ab1e87SDavid Gibson     ppc_set_compat(s->cpu, s->cpu_version, &s->err);
9173794d548SAlexey Kardashevskiy }
9183794d548SAlexey Kardashevskiy 
9193794d548SAlexey Kardashevskiy #define get_compat_level(cpuver) ( \
9203794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_05) ? 2050 : \
9213794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_06) ? 2060 : \
9223794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_06_PLUS) ? 2061 : \
9233794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_07) ? 2070 : 0)
9243794d548SAlexey Kardashevskiy 
92503d196b7SBharata B Rao #define OV5_DRCONF_MEMORY 0x20
92603d196b7SBharata B Rao 
9272a6593cbSAlexey Kardashevskiy static target_ulong h_client_architecture_support(PowerPCCPU *cpu_,
92828e02042SDavid Gibson                                                   sPAPRMachineState *spapr,
9292a6593cbSAlexey Kardashevskiy                                                   target_ulong opcode,
9302a6593cbSAlexey Kardashevskiy                                                   target_ulong *args)
9312a6593cbSAlexey Kardashevskiy {
93227ac3e06SDavid Gibson     target_ulong list = ppc64_phys_to_real(args[0]);
93327ac3e06SDavid Gibson     target_ulong ov_table, ov5;
9343794d548SAlexey Kardashevskiy     PowerPCCPUClass *pcc_ = POWERPC_CPU_GET_CLASS(cpu_);
9353794d548SAlexey Kardashevskiy     CPUState *cs;
93603d196b7SBharata B Rao     bool cpu_match = false, cpu_update = true, memory_update = false;
9373794d548SAlexey Kardashevskiy     unsigned old_cpu_version = cpu_->cpu_version;
9383794d548SAlexey Kardashevskiy     unsigned compat_lvl = 0, cpu_version = 0;
9393794d548SAlexey Kardashevskiy     unsigned max_lvl = get_compat_level(cpu_->max_compat);
9403794d548SAlexey Kardashevskiy     int counter;
94103d196b7SBharata B Rao     char ov5_byte2;
9423794d548SAlexey Kardashevskiy 
9433794d548SAlexey Kardashevskiy     /* Parse PVR list */
9443794d548SAlexey Kardashevskiy     for (counter = 0; counter < 512; ++counter) {
9453794d548SAlexey Kardashevskiy         uint32_t pvr, pvr_mask;
9463794d548SAlexey Kardashevskiy 
94727ac3e06SDavid Gibson         pvr_mask = ldl_be_phys(&address_space_memory, list);
9483794d548SAlexey Kardashevskiy         list += 4;
94927ac3e06SDavid Gibson         pvr = ldl_be_phys(&address_space_memory, list);
9503794d548SAlexey Kardashevskiy         list += 4;
9513794d548SAlexey Kardashevskiy 
9523794d548SAlexey Kardashevskiy         trace_spapr_cas_pvr_try(pvr);
9533794d548SAlexey Kardashevskiy         if (!max_lvl &&
9543794d548SAlexey Kardashevskiy             ((cpu_->env.spr[SPR_PVR] & pvr_mask) == (pvr & pvr_mask))) {
9553794d548SAlexey Kardashevskiy             cpu_match = true;
9563794d548SAlexey Kardashevskiy             cpu_version = 0;
9573794d548SAlexey Kardashevskiy         } else if (pvr == cpu_->cpu_version) {
9583794d548SAlexey Kardashevskiy             cpu_match = true;
9593794d548SAlexey Kardashevskiy             cpu_version = cpu_->cpu_version;
9603794d548SAlexey Kardashevskiy         } else if (!cpu_match) {
9613794d548SAlexey Kardashevskiy             /* If it is a logical PVR, try to determine the highest level */
9623794d548SAlexey Kardashevskiy             unsigned lvl = get_compat_level(pvr);
9633794d548SAlexey Kardashevskiy             if (lvl) {
9643794d548SAlexey Kardashevskiy                 bool is205 = (pcc_->pcr_mask & PCR_COMPAT_2_05) &&
9653794d548SAlexey Kardashevskiy                      (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_05));
9663794d548SAlexey Kardashevskiy                 bool is206 = (pcc_->pcr_mask & PCR_COMPAT_2_06) &&
9673794d548SAlexey Kardashevskiy                     ((lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06)) ||
9683794d548SAlexey Kardashevskiy                     (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06_PLUS)));
9693794d548SAlexey Kardashevskiy 
9703794d548SAlexey Kardashevskiy                 if (is205 || is206) {
9713794d548SAlexey Kardashevskiy                     if (!max_lvl) {
9723794d548SAlexey Kardashevskiy                         /* User did not set the level, choose the highest */
9733794d548SAlexey Kardashevskiy                         if (compat_lvl <= lvl) {
9743794d548SAlexey Kardashevskiy                             compat_lvl = lvl;
9753794d548SAlexey Kardashevskiy                             cpu_version = pvr;
9763794d548SAlexey Kardashevskiy                         }
9773794d548SAlexey Kardashevskiy                     } else if (max_lvl >= lvl) {
9783794d548SAlexey Kardashevskiy                         /* User chose the level, don't set higher than this */
9793794d548SAlexey Kardashevskiy                         compat_lvl = lvl;
9803794d548SAlexey Kardashevskiy                         cpu_version = pvr;
9813794d548SAlexey Kardashevskiy                     }
9823794d548SAlexey Kardashevskiy                 }
9833794d548SAlexey Kardashevskiy             }
9843794d548SAlexey Kardashevskiy         }
9853794d548SAlexey Kardashevskiy         /* Terminator record */
9863794d548SAlexey Kardashevskiy         if (~pvr_mask & pvr) {
9873794d548SAlexey Kardashevskiy             break;
9883794d548SAlexey Kardashevskiy         }
9893794d548SAlexey Kardashevskiy     }
9903794d548SAlexey Kardashevskiy 
9913794d548SAlexey Kardashevskiy     /* Parsing finished */
9923794d548SAlexey Kardashevskiy     trace_spapr_cas_pvr(cpu_->cpu_version, cpu_match,
9933794d548SAlexey Kardashevskiy                         cpu_version, pcc_->pcr_mask);
9943794d548SAlexey Kardashevskiy 
9953794d548SAlexey Kardashevskiy     /* Update CPUs */
9963794d548SAlexey Kardashevskiy     if (old_cpu_version != cpu_version) {
9973794d548SAlexey Kardashevskiy         CPU_FOREACH(cs) {
9983794d548SAlexey Kardashevskiy             SetCompatState s = {
9993794d548SAlexey Kardashevskiy                 .cpu = POWERPC_CPU(cs),
10003794d548SAlexey Kardashevskiy                 .cpu_version = cpu_version,
1001f9ab1e87SDavid Gibson                 .err = NULL,
10023794d548SAlexey Kardashevskiy             };
10033794d548SAlexey Kardashevskiy 
10043794d548SAlexey Kardashevskiy             run_on_cpu(cs, do_set_compat, &s);
10053794d548SAlexey Kardashevskiy 
1006f9ab1e87SDavid Gibson             if (s.err) {
1007f9ab1e87SDavid Gibson                 error_report_err(s.err);
10083794d548SAlexey Kardashevskiy                 return H_HARDWARE;
10093794d548SAlexey Kardashevskiy             }
10103794d548SAlexey Kardashevskiy         }
10113794d548SAlexey Kardashevskiy     }
10123794d548SAlexey Kardashevskiy 
10133794d548SAlexey Kardashevskiy     if (!cpu_version) {
101403d196b7SBharata B Rao         cpu_update = false;
10153794d548SAlexey Kardashevskiy     }
10162a6593cbSAlexey Kardashevskiy 
101703d196b7SBharata B Rao     /* For the future use: here @ov_table points to the first option vector */
101803d196b7SBharata B Rao     ov_table = list;
101903d196b7SBharata B Rao 
102027ac3e06SDavid Gibson     ov5 = cas_get_option_vector(5, ov_table);
102127ac3e06SDavid Gibson     if (!ov5) {
10222a6593cbSAlexey Kardashevskiy         return H_SUCCESS;
10232a6593cbSAlexey Kardashevskiy     }
10242a6593cbSAlexey Kardashevskiy 
102503d196b7SBharata B Rao     /* @list now points to OV 5 */
102627ac3e06SDavid Gibson     ov5_byte2 = ldub_phys(&address_space_memory, ov5 + 2);
102703d196b7SBharata B Rao     if (ov5_byte2 & OV5_DRCONF_MEMORY) {
102803d196b7SBharata B Rao         memory_update = true;
102903d196b7SBharata B Rao     }
103003d196b7SBharata B Rao 
103103d196b7SBharata B Rao     if (spapr_h_cas_compose_response(spapr, args[1], args[2],
103203d196b7SBharata B Rao                                      cpu_update, memory_update)) {
10332a6593cbSAlexey Kardashevskiy         qemu_system_reset_request();
10342a6593cbSAlexey Kardashevskiy     }
10352a6593cbSAlexey Kardashevskiy 
10362a6593cbSAlexey Kardashevskiy     return H_SUCCESS;
10372a6593cbSAlexey Kardashevskiy }
10382a6593cbSAlexey Kardashevskiy 
10399f64bd8aSPaolo Bonzini static spapr_hcall_fn papr_hypercall_table[(MAX_HCALL_OPCODE / 4) + 1];
10409f64bd8aSPaolo Bonzini static spapr_hcall_fn kvmppc_hypercall_table[KVMPPC_HCALL_MAX - KVMPPC_HCALL_BASE + 1];
10419f64bd8aSPaolo Bonzini 
10429f64bd8aSPaolo Bonzini void spapr_register_hypercall(target_ulong opcode, spapr_hcall_fn fn)
10439f64bd8aSPaolo Bonzini {
10449f64bd8aSPaolo Bonzini     spapr_hcall_fn *slot;
10459f64bd8aSPaolo Bonzini 
10469f64bd8aSPaolo Bonzini     if (opcode <= MAX_HCALL_OPCODE) {
10479f64bd8aSPaolo Bonzini         assert((opcode & 0x3) == 0);
10489f64bd8aSPaolo Bonzini 
10499f64bd8aSPaolo Bonzini         slot = &papr_hypercall_table[opcode / 4];
10509f64bd8aSPaolo Bonzini     } else {
10519f64bd8aSPaolo Bonzini         assert((opcode >= KVMPPC_HCALL_BASE) && (opcode <= KVMPPC_HCALL_MAX));
10529f64bd8aSPaolo Bonzini 
10539f64bd8aSPaolo Bonzini         slot = &kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE];
10549f64bd8aSPaolo Bonzini     }
10559f64bd8aSPaolo Bonzini 
10569f64bd8aSPaolo Bonzini     assert(!(*slot));
10579f64bd8aSPaolo Bonzini     *slot = fn;
10589f64bd8aSPaolo Bonzini }
10599f64bd8aSPaolo Bonzini 
10609f64bd8aSPaolo Bonzini target_ulong spapr_hypercall(PowerPCCPU *cpu, target_ulong opcode,
10619f64bd8aSPaolo Bonzini                              target_ulong *args)
10629f64bd8aSPaolo Bonzini {
106328e02042SDavid Gibson     sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
106428e02042SDavid Gibson 
10659f64bd8aSPaolo Bonzini     if ((opcode <= MAX_HCALL_OPCODE)
10669f64bd8aSPaolo Bonzini         && ((opcode & 0x3) == 0)) {
10679f64bd8aSPaolo Bonzini         spapr_hcall_fn fn = papr_hypercall_table[opcode / 4];
10689f64bd8aSPaolo Bonzini 
10699f64bd8aSPaolo Bonzini         if (fn) {
10709f64bd8aSPaolo Bonzini             return fn(cpu, spapr, opcode, args);
10719f64bd8aSPaolo Bonzini         }
10729f64bd8aSPaolo Bonzini     } else if ((opcode >= KVMPPC_HCALL_BASE) &&
10739f64bd8aSPaolo Bonzini                (opcode <= KVMPPC_HCALL_MAX)) {
10749f64bd8aSPaolo Bonzini         spapr_hcall_fn fn = kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE];
10759f64bd8aSPaolo Bonzini 
10769f64bd8aSPaolo Bonzini         if (fn) {
10779f64bd8aSPaolo Bonzini             return fn(cpu, spapr, opcode, args);
10789f64bd8aSPaolo Bonzini         }
10799f64bd8aSPaolo Bonzini     }
10809f64bd8aSPaolo Bonzini 
1081aaf87c66SThomas Huth     qemu_log_mask(LOG_UNIMP, "Unimplemented SPAPR hcall 0x" TARGET_FMT_lx "\n",
1082aaf87c66SThomas Huth                   opcode);
10839f64bd8aSPaolo Bonzini     return H_FUNCTION;
10849f64bd8aSPaolo Bonzini }
10859f64bd8aSPaolo Bonzini 
10869f64bd8aSPaolo Bonzini static void hypercall_register_types(void)
10879f64bd8aSPaolo Bonzini {
10889f64bd8aSPaolo Bonzini     /* hcall-pft */
10899f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_ENTER, h_enter);
10909f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_REMOVE, h_remove);
10919f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_PROTECT, h_protect);
1092fa388916SAnthony Liguori     spapr_register_hypercall(H_READ, h_read);
10939f64bd8aSPaolo Bonzini 
10949f64bd8aSPaolo Bonzini     /* hcall-bulk */
10959f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_BULK_REMOVE, h_bulk_remove);
10969f64bd8aSPaolo Bonzini 
10979f64bd8aSPaolo Bonzini     /* hcall-splpar */
10989f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_REGISTER_VPA, h_register_vpa);
10999f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_CEDE, h_cede);
11009f64bd8aSPaolo Bonzini 
1101423576f7SThomas Huth     /* processor register resource access h-calls */
1102423576f7SThomas Huth     spapr_register_hypercall(H_SET_SPRG0, h_set_sprg0);
1103af08a58fSThomas Huth     spapr_register_hypercall(H_SET_DABR, h_set_dabr);
1104e49ff266SThomas Huth     spapr_register_hypercall(H_SET_XDABR, h_set_xdabr);
11053240dd9aSThomas Huth     spapr_register_hypercall(H_PAGE_INIT, h_page_init);
1106423576f7SThomas Huth     spapr_register_hypercall(H_SET_MODE, h_set_mode);
1107423576f7SThomas Huth 
11089f64bd8aSPaolo Bonzini     /* "debugger" hcalls (also used by SLOF). Note: We do -not- differenciate
11099f64bd8aSPaolo Bonzini      * here between the "CI" and the "CACHE" variants, they will use whatever
11109f64bd8aSPaolo Bonzini      * mapping attributes qemu is using. When using KVM, the kernel will
11119f64bd8aSPaolo Bonzini      * enforce the attributes more strongly
11129f64bd8aSPaolo Bonzini      */
11139f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CI_LOAD, h_logical_load);
11149f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CI_STORE, h_logical_store);
11159f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CACHE_LOAD, h_logical_load);
11169f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CACHE_STORE, h_logical_store);
11179f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_ICBI, h_logical_icbi);
11189f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_DCBF, h_logical_dcbf);
11199f64bd8aSPaolo Bonzini     spapr_register_hypercall(KVMPPC_H_LOGICAL_MEMOP, h_logical_memop);
11209f64bd8aSPaolo Bonzini 
11219f64bd8aSPaolo Bonzini     /* qemu/KVM-PPC specific hcalls */
11229f64bd8aSPaolo Bonzini     spapr_register_hypercall(KVMPPC_H_RTAS, h_rtas);
112342561bf2SAnton Blanchard 
11242a6593cbSAlexey Kardashevskiy     /* ibm,client-architecture-support support */
11252a6593cbSAlexey Kardashevskiy     spapr_register_hypercall(KVMPPC_H_CAS, h_client_architecture_support);
11269f64bd8aSPaolo Bonzini }
11279f64bd8aSPaolo Bonzini 
11289f64bd8aSPaolo Bonzini type_init(hypercall_register_types)
1129