xref: /openbmc/qemu/hw/ppc/spapr_hcall.c (revision 27ac3e06)
10d75590dSPeter Maydell #include "qemu/osdep.h"
29f64bd8aSPaolo Bonzini #include "sysemu/sysemu.h"
39f64bd8aSPaolo Bonzini #include "cpu.h"
49f64bd8aSPaolo Bonzini #include "helper_regs.h"
50d09e41aSPaolo Bonzini #include "hw/ppc/spapr.h"
6d5aea6f3SDavid Gibson #include "mmu-hash64.h"
73794d548SAlexey Kardashevskiy #include "cpu-models.h"
83794d548SAlexey Kardashevskiy #include "trace.h"
93794d548SAlexey Kardashevskiy #include "kvm_ppc.h"
109f64bd8aSPaolo Bonzini 
11a46622fdSAlexey Kardashevskiy struct SPRSyncState {
12a46622fdSAlexey Kardashevskiy     CPUState *cs;
13a46622fdSAlexey Kardashevskiy     int spr;
14a46622fdSAlexey Kardashevskiy     target_ulong value;
15a46622fdSAlexey Kardashevskiy     target_ulong mask;
16a46622fdSAlexey Kardashevskiy };
17a46622fdSAlexey Kardashevskiy 
18a46622fdSAlexey Kardashevskiy static void do_spr_sync(void *arg)
19a46622fdSAlexey Kardashevskiy {
20a46622fdSAlexey Kardashevskiy     struct SPRSyncState *s = arg;
21a46622fdSAlexey Kardashevskiy     PowerPCCPU *cpu = POWERPC_CPU(s->cs);
22a46622fdSAlexey Kardashevskiy     CPUPPCState *env = &cpu->env;
23a46622fdSAlexey Kardashevskiy 
24a46622fdSAlexey Kardashevskiy     cpu_synchronize_state(s->cs);
25a46622fdSAlexey Kardashevskiy     env->spr[s->spr] &= ~s->mask;
26a46622fdSAlexey Kardashevskiy     env->spr[s->spr] |= s->value;
27a46622fdSAlexey Kardashevskiy }
28a46622fdSAlexey Kardashevskiy 
29a46622fdSAlexey Kardashevskiy static void set_spr(CPUState *cs, int spr, target_ulong value,
30a46622fdSAlexey Kardashevskiy                     target_ulong mask)
31a46622fdSAlexey Kardashevskiy {
32a46622fdSAlexey Kardashevskiy     struct SPRSyncState s = {
33a46622fdSAlexey Kardashevskiy         .cs = cs,
34a46622fdSAlexey Kardashevskiy         .spr = spr,
35a46622fdSAlexey Kardashevskiy         .value = value,
36a46622fdSAlexey Kardashevskiy         .mask = mask
37a46622fdSAlexey Kardashevskiy     };
38a46622fdSAlexey Kardashevskiy     run_on_cpu(cs, do_spr_sync, &s);
39a46622fdSAlexey Kardashevskiy }
40a46622fdSAlexey Kardashevskiy 
419f64bd8aSPaolo Bonzini static target_ulong compute_tlbie_rb(target_ulong v, target_ulong r,
429f64bd8aSPaolo Bonzini                                      target_ulong pte_index)
439f64bd8aSPaolo Bonzini {
449f64bd8aSPaolo Bonzini     target_ulong rb, va_low;
459f64bd8aSPaolo Bonzini 
469f64bd8aSPaolo Bonzini     rb = (v & ~0x7fULL) << 16; /* AVA field */
479f64bd8aSPaolo Bonzini     va_low = pte_index >> 3;
48d5aea6f3SDavid Gibson     if (v & HPTE64_V_SECONDARY) {
499f64bd8aSPaolo Bonzini         va_low = ~va_low;
509f64bd8aSPaolo Bonzini     }
519f64bd8aSPaolo Bonzini     /* xor vsid from AVA */
52d5aea6f3SDavid Gibson     if (!(v & HPTE64_V_1TB_SEG)) {
539f64bd8aSPaolo Bonzini         va_low ^= v >> 12;
549f64bd8aSPaolo Bonzini     } else {
559f64bd8aSPaolo Bonzini         va_low ^= v >> 24;
569f64bd8aSPaolo Bonzini     }
579f64bd8aSPaolo Bonzini     va_low &= 0x7ff;
58d5aea6f3SDavid Gibson     if (v & HPTE64_V_LARGE) {
599f64bd8aSPaolo Bonzini         rb |= 1;                         /* L field */
609f64bd8aSPaolo Bonzini #if 0 /* Disable that P7 specific bit for now */
619f64bd8aSPaolo Bonzini         if (r & 0xff000) {
629f64bd8aSPaolo Bonzini             /* non-16MB large page, must be 64k */
639f64bd8aSPaolo Bonzini             /* (masks depend on page size) */
649f64bd8aSPaolo Bonzini             rb |= 0x1000;                /* page encoding in LP field */
659f64bd8aSPaolo Bonzini             rb |= (va_low & 0x7f) << 16; /* 7b of VA in AVA/LP field */
669f64bd8aSPaolo Bonzini             rb |= (va_low & 0xfe);       /* AVAL field */
679f64bd8aSPaolo Bonzini         }
689f64bd8aSPaolo Bonzini #endif
699f64bd8aSPaolo Bonzini     } else {
709f64bd8aSPaolo Bonzini         /* 4kB page */
719f64bd8aSPaolo Bonzini         rb |= (va_low & 0x7ff) << 12;   /* remaining 11b of AVA */
729f64bd8aSPaolo Bonzini     }
739f64bd8aSPaolo Bonzini     rb |= (v >> 54) & 0x300;            /* B field */
749f64bd8aSPaolo Bonzini     return rb;
759f64bd8aSPaolo Bonzini }
769f64bd8aSPaolo Bonzini 
77f3c75d42SAneesh Kumar K.V static inline bool valid_pte_index(CPUPPCState *env, target_ulong pte_index)
78f3c75d42SAneesh Kumar K.V {
79f3c75d42SAneesh Kumar K.V     /*
80f3c75d42SAneesh Kumar K.V      * hash value/pteg group index is normalized by htab_mask
81f3c75d42SAneesh Kumar K.V      */
82f3c75d42SAneesh Kumar K.V     if (((pte_index & ~7ULL) / HPTES_PER_GROUP) & ~env->htab_mask) {
83f3c75d42SAneesh Kumar K.V         return false;
84f3c75d42SAneesh Kumar K.V     }
85f3c75d42SAneesh Kumar K.V     return true;
86f3c75d42SAneesh Kumar K.V }
87f3c75d42SAneesh Kumar K.V 
8828e02042SDavid Gibson static target_ulong h_enter(PowerPCCPU *cpu, sPAPRMachineState *spapr,
899f64bd8aSPaolo Bonzini                             target_ulong opcode, target_ulong *args)
909f64bd8aSPaolo Bonzini {
91fb164994SDavid Gibson     MachineState *machine = MACHINE(spapr);
929f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
939f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
949f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
959f64bd8aSPaolo Bonzini     target_ulong pteh = args[2];
969f64bd8aSPaolo Bonzini     target_ulong ptel = args[3];
979f64bd8aSPaolo Bonzini     target_ulong page_shift = 12;
989f64bd8aSPaolo Bonzini     target_ulong raddr;
997c43bca0SAneesh Kumar K.V     target_ulong index;
1007c43bca0SAneesh Kumar K.V     uint64_t token;
1019f64bd8aSPaolo Bonzini 
1029f64bd8aSPaolo Bonzini     /* only handle 4k and 16M pages for now */
103d5aea6f3SDavid Gibson     if (pteh & HPTE64_V_LARGE) {
1049f64bd8aSPaolo Bonzini #if 0 /* We don't support 64k pages yet */
1059f64bd8aSPaolo Bonzini         if ((ptel & 0xf000) == 0x1000) {
1069f64bd8aSPaolo Bonzini             /* 64k page */
1079f64bd8aSPaolo Bonzini         } else
1089f64bd8aSPaolo Bonzini #endif
1099f64bd8aSPaolo Bonzini         if ((ptel & 0xff000) == 0) {
1109f64bd8aSPaolo Bonzini             /* 16M page */
1119f64bd8aSPaolo Bonzini             page_shift = 24;
1129f64bd8aSPaolo Bonzini             /* lowest AVA bit must be 0 for 16M pages */
1139f64bd8aSPaolo Bonzini             if (pteh & 0x80) {
1149f64bd8aSPaolo Bonzini                 return H_PARAMETER;
1159f64bd8aSPaolo Bonzini             }
1169f64bd8aSPaolo Bonzini         } else {
1179f64bd8aSPaolo Bonzini             return H_PARAMETER;
1189f64bd8aSPaolo Bonzini         }
1199f64bd8aSPaolo Bonzini     }
1209f64bd8aSPaolo Bonzini 
121d5aea6f3SDavid Gibson     raddr = (ptel & HPTE64_R_RPN) & ~((1ULL << page_shift) - 1);
1229f64bd8aSPaolo Bonzini 
123fb164994SDavid Gibson     if (raddr < machine->ram_size) {
1249f64bd8aSPaolo Bonzini         /* Regular RAM - should have WIMG=0010 */
125d5aea6f3SDavid Gibson         if ((ptel & HPTE64_R_WIMG) != HPTE64_R_M) {
1269f64bd8aSPaolo Bonzini             return H_PARAMETER;
1279f64bd8aSPaolo Bonzini         }
1289f64bd8aSPaolo Bonzini     } else {
1299f64bd8aSPaolo Bonzini         /* Looks like an IO address */
1309f64bd8aSPaolo Bonzini         /* FIXME: What WIMG combinations could be sensible for IO?
1319f64bd8aSPaolo Bonzini          * For now we allow WIMG=010x, but are there others? */
1329f64bd8aSPaolo Bonzini         /* FIXME: Should we check against registered IO addresses? */
133d5aea6f3SDavid Gibson         if ((ptel & (HPTE64_R_W | HPTE64_R_I | HPTE64_R_M)) != HPTE64_R_I) {
1349f64bd8aSPaolo Bonzini             return H_PARAMETER;
1359f64bd8aSPaolo Bonzini         }
1369f64bd8aSPaolo Bonzini     }
1379f64bd8aSPaolo Bonzini 
1389f64bd8aSPaolo Bonzini     pteh &= ~0x60ULL;
1399f64bd8aSPaolo Bonzini 
140f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
1419f64bd8aSPaolo Bonzini         return H_PARAMETER;
1429f64bd8aSPaolo Bonzini     }
1437c43bca0SAneesh Kumar K.V 
1447c43bca0SAneesh Kumar K.V     index = 0;
1459f64bd8aSPaolo Bonzini     if (likely((flags & H_EXACT) == 0)) {
1469f64bd8aSPaolo Bonzini         pte_index &= ~7ULL;
1477c43bca0SAneesh Kumar K.V         token = ppc_hash64_start_access(cpu, pte_index);
1487aaf4957SAneesh Kumar K.V         for (; index < 8; index++) {
1497c43bca0SAneesh Kumar K.V             if ((ppc_hash64_load_hpte0(env, token, index) & HPTE64_V_VALID) == 0) {
1509f64bd8aSPaolo Bonzini                 break;
1519f64bd8aSPaolo Bonzini             }
1527aaf4957SAneesh Kumar K.V         }
1537c43bca0SAneesh Kumar K.V         ppc_hash64_stop_access(token);
1547aaf4957SAneesh Kumar K.V         if (index == 8) {
1557aaf4957SAneesh Kumar K.V             return H_PTEG_FULL;
1567aaf4957SAneesh Kumar K.V         }
1579f64bd8aSPaolo Bonzini     } else {
1587c43bca0SAneesh Kumar K.V         token = ppc_hash64_start_access(cpu, pte_index);
1597c43bca0SAneesh Kumar K.V         if (ppc_hash64_load_hpte0(env, token, 0) & HPTE64_V_VALID) {
1607c43bca0SAneesh Kumar K.V             ppc_hash64_stop_access(token);
1619f64bd8aSPaolo Bonzini             return H_PTEG_FULL;
1629f64bd8aSPaolo Bonzini         }
1637c43bca0SAneesh Kumar K.V         ppc_hash64_stop_access(token);
1649f64bd8aSPaolo Bonzini     }
1657c43bca0SAneesh Kumar K.V 
1663f94170bSAneesh Kumar K.V     ppc_hash64_store_hpte(env, pte_index + index,
1673f94170bSAneesh Kumar K.V                           pteh | HPTE64_V_HPTE_DIRTY, ptel);
1689f64bd8aSPaolo Bonzini 
1697c43bca0SAneesh Kumar K.V     args[0] = pte_index + index;
1709f64bd8aSPaolo Bonzini     return H_SUCCESS;
1719f64bd8aSPaolo Bonzini }
1729f64bd8aSPaolo Bonzini 
173a3801402SStefan Weil typedef enum {
1749f64bd8aSPaolo Bonzini     REMOVE_SUCCESS = 0,
1759f64bd8aSPaolo Bonzini     REMOVE_NOT_FOUND = 1,
1769f64bd8aSPaolo Bonzini     REMOVE_PARM = 2,
1779f64bd8aSPaolo Bonzini     REMOVE_HW = 3,
178a3801402SStefan Weil } RemoveResult;
1799f64bd8aSPaolo Bonzini 
180a3801402SStefan Weil static RemoveResult remove_hpte(CPUPPCState *env, target_ulong ptex,
1819f64bd8aSPaolo Bonzini                                 target_ulong avpn,
1829f64bd8aSPaolo Bonzini                                 target_ulong flags,
1839f64bd8aSPaolo Bonzini                                 target_ulong *vp, target_ulong *rp)
1849f64bd8aSPaolo Bonzini {
1857c43bca0SAneesh Kumar K.V     uint64_t token;
1869f64bd8aSPaolo Bonzini     target_ulong v, r, rb;
1879f64bd8aSPaolo Bonzini 
188f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, ptex)) {
1899f64bd8aSPaolo Bonzini         return REMOVE_PARM;
1909f64bd8aSPaolo Bonzini     }
1919f64bd8aSPaolo Bonzini 
1927c43bca0SAneesh Kumar K.V     token = ppc_hash64_start_access(ppc_env_get_cpu(env), ptex);
1937c43bca0SAneesh Kumar K.V     v = ppc_hash64_load_hpte0(env, token, 0);
1947c43bca0SAneesh Kumar K.V     r = ppc_hash64_load_hpte1(env, token, 0);
1957c43bca0SAneesh Kumar K.V     ppc_hash64_stop_access(token);
1969f64bd8aSPaolo Bonzini 
197d5aea6f3SDavid Gibson     if ((v & HPTE64_V_VALID) == 0 ||
1989f64bd8aSPaolo Bonzini         ((flags & H_AVPN) && (v & ~0x7fULL) != avpn) ||
1999f64bd8aSPaolo Bonzini         ((flags & H_ANDCOND) && (v & avpn) != 0)) {
2009f64bd8aSPaolo Bonzini         return REMOVE_NOT_FOUND;
2019f64bd8aSPaolo Bonzini     }
2029f64bd8aSPaolo Bonzini     *vp = v;
2039f64bd8aSPaolo Bonzini     *rp = r;
2043f94170bSAneesh Kumar K.V     ppc_hash64_store_hpte(env, ptex, HPTE64_V_HPTE_DIRTY, 0);
2059f64bd8aSPaolo Bonzini     rb = compute_tlbie_rb(v, r, ptex);
2069f64bd8aSPaolo Bonzini     ppc_tlb_invalidate_one(env, rb);
2079f64bd8aSPaolo Bonzini     return REMOVE_SUCCESS;
2089f64bd8aSPaolo Bonzini }
2099f64bd8aSPaolo Bonzini 
21028e02042SDavid Gibson static target_ulong h_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr,
2119f64bd8aSPaolo Bonzini                              target_ulong opcode, target_ulong *args)
2129f64bd8aSPaolo Bonzini {
2139f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
2149f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
2159f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
2169f64bd8aSPaolo Bonzini     target_ulong avpn = args[2];
217a3801402SStefan Weil     RemoveResult ret;
2189f64bd8aSPaolo Bonzini 
2199f64bd8aSPaolo Bonzini     ret = remove_hpte(env, pte_index, avpn, flags,
2209f64bd8aSPaolo Bonzini                       &args[0], &args[1]);
2219f64bd8aSPaolo Bonzini 
2229f64bd8aSPaolo Bonzini     switch (ret) {
2239f64bd8aSPaolo Bonzini     case REMOVE_SUCCESS:
2249f64bd8aSPaolo Bonzini         return H_SUCCESS;
2259f64bd8aSPaolo Bonzini 
2269f64bd8aSPaolo Bonzini     case REMOVE_NOT_FOUND:
2279f64bd8aSPaolo Bonzini         return H_NOT_FOUND;
2289f64bd8aSPaolo Bonzini 
2299f64bd8aSPaolo Bonzini     case REMOVE_PARM:
2309f64bd8aSPaolo Bonzini         return H_PARAMETER;
2319f64bd8aSPaolo Bonzini 
2329f64bd8aSPaolo Bonzini     case REMOVE_HW:
2339f64bd8aSPaolo Bonzini         return H_HARDWARE;
2349f64bd8aSPaolo Bonzini     }
2359f64bd8aSPaolo Bonzini 
2369a39970dSStefan Weil     g_assert_not_reached();
2379f64bd8aSPaolo Bonzini }
2389f64bd8aSPaolo Bonzini 
2399f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_TYPE             0xc000000000000000ULL
2409f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_REQUEST        0x4000000000000000ULL
2419f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_RESPONSE       0x8000000000000000ULL
2429f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_END            0xc000000000000000ULL
2439f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_CODE             0x3000000000000000ULL
2449f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_SUCCESS        0x0000000000000000ULL
2459f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_NOT_FOUND      0x1000000000000000ULL
2469f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_PARM           0x2000000000000000ULL
2479f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_HW             0x3000000000000000ULL
2489f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RC               0x0c00000000000000ULL
2499f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_FLAGS            0x0300000000000000ULL
2509f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_ABSOLUTE       0x0000000000000000ULL
2519f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_ANDCOND        0x0100000000000000ULL
2529f64bd8aSPaolo Bonzini #define   H_BULK_REMOVE_AVPN           0x0200000000000000ULL
2539f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PTEX             0x00ffffffffffffffULL
2549f64bd8aSPaolo Bonzini 
2559f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_MAX_BATCH        4
2569f64bd8aSPaolo Bonzini 
25728e02042SDavid Gibson static target_ulong h_bulk_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr,
2589f64bd8aSPaolo Bonzini                                   target_ulong opcode, target_ulong *args)
2599f64bd8aSPaolo Bonzini {
2609f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
2619f64bd8aSPaolo Bonzini     int i;
2629f64bd8aSPaolo Bonzini 
2639f64bd8aSPaolo Bonzini     for (i = 0; i < H_BULK_REMOVE_MAX_BATCH; i++) {
2649f64bd8aSPaolo Bonzini         target_ulong *tsh = &args[i*2];
2659f64bd8aSPaolo Bonzini         target_ulong tsl = args[i*2 + 1];
2669f64bd8aSPaolo Bonzini         target_ulong v, r, ret;
2679f64bd8aSPaolo Bonzini 
2689f64bd8aSPaolo Bonzini         if ((*tsh & H_BULK_REMOVE_TYPE) == H_BULK_REMOVE_END) {
2699f64bd8aSPaolo Bonzini             break;
2709f64bd8aSPaolo Bonzini         } else if ((*tsh & H_BULK_REMOVE_TYPE) != H_BULK_REMOVE_REQUEST) {
2719f64bd8aSPaolo Bonzini             return H_PARAMETER;
2729f64bd8aSPaolo Bonzini         }
2739f64bd8aSPaolo Bonzini 
2749f64bd8aSPaolo Bonzini         *tsh &= H_BULK_REMOVE_PTEX | H_BULK_REMOVE_FLAGS;
2759f64bd8aSPaolo Bonzini         *tsh |= H_BULK_REMOVE_RESPONSE;
2769f64bd8aSPaolo Bonzini 
2779f64bd8aSPaolo Bonzini         if ((*tsh & H_BULK_REMOVE_ANDCOND) && (*tsh & H_BULK_REMOVE_AVPN)) {
2789f64bd8aSPaolo Bonzini             *tsh |= H_BULK_REMOVE_PARM;
2799f64bd8aSPaolo Bonzini             return H_PARAMETER;
2809f64bd8aSPaolo Bonzini         }
2819f64bd8aSPaolo Bonzini 
2829f64bd8aSPaolo Bonzini         ret = remove_hpte(env, *tsh & H_BULK_REMOVE_PTEX, tsl,
2839f64bd8aSPaolo Bonzini                           (*tsh & H_BULK_REMOVE_FLAGS) >> 26,
2849f64bd8aSPaolo Bonzini                           &v, &r);
2859f64bd8aSPaolo Bonzini 
2869f64bd8aSPaolo Bonzini         *tsh |= ret << 60;
2879f64bd8aSPaolo Bonzini 
2889f64bd8aSPaolo Bonzini         switch (ret) {
2899f64bd8aSPaolo Bonzini         case REMOVE_SUCCESS:
290d5aea6f3SDavid Gibson             *tsh |= (r & (HPTE64_R_C | HPTE64_R_R)) << 43;
2919f64bd8aSPaolo Bonzini             break;
2929f64bd8aSPaolo Bonzini 
2939f64bd8aSPaolo Bonzini         case REMOVE_PARM:
2949f64bd8aSPaolo Bonzini             return H_PARAMETER;
2959f64bd8aSPaolo Bonzini 
2969f64bd8aSPaolo Bonzini         case REMOVE_HW:
2979f64bd8aSPaolo Bonzini             return H_HARDWARE;
2989f64bd8aSPaolo Bonzini         }
2999f64bd8aSPaolo Bonzini     }
3009f64bd8aSPaolo Bonzini 
3019f64bd8aSPaolo Bonzini     return H_SUCCESS;
3029f64bd8aSPaolo Bonzini }
3039f64bd8aSPaolo Bonzini 
30428e02042SDavid Gibson static target_ulong h_protect(PowerPCCPU *cpu, sPAPRMachineState *spapr,
3059f64bd8aSPaolo Bonzini                               target_ulong opcode, target_ulong *args)
3069f64bd8aSPaolo Bonzini {
3079f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
3089f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
3099f64bd8aSPaolo Bonzini     target_ulong pte_index = args[1];
3109f64bd8aSPaolo Bonzini     target_ulong avpn = args[2];
3117c43bca0SAneesh Kumar K.V     uint64_t token;
3129f64bd8aSPaolo Bonzini     target_ulong v, r, rb;
3139f64bd8aSPaolo Bonzini 
314f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
3159f64bd8aSPaolo Bonzini         return H_PARAMETER;
3169f64bd8aSPaolo Bonzini     }
3179f64bd8aSPaolo Bonzini 
3187c43bca0SAneesh Kumar K.V     token = ppc_hash64_start_access(cpu, pte_index);
3197c43bca0SAneesh Kumar K.V     v = ppc_hash64_load_hpte0(env, token, 0);
3207c43bca0SAneesh Kumar K.V     r = ppc_hash64_load_hpte1(env, token, 0);
3217c43bca0SAneesh Kumar K.V     ppc_hash64_stop_access(token);
3229f64bd8aSPaolo Bonzini 
323d5aea6f3SDavid Gibson     if ((v & HPTE64_V_VALID) == 0 ||
3249f64bd8aSPaolo Bonzini         ((flags & H_AVPN) && (v & ~0x7fULL) != avpn)) {
3259f64bd8aSPaolo Bonzini         return H_NOT_FOUND;
3269f64bd8aSPaolo Bonzini     }
3279f64bd8aSPaolo Bonzini 
328d5aea6f3SDavid Gibson     r &= ~(HPTE64_R_PP0 | HPTE64_R_PP | HPTE64_R_N |
329d5aea6f3SDavid Gibson            HPTE64_R_KEY_HI | HPTE64_R_KEY_LO);
330d5aea6f3SDavid Gibson     r |= (flags << 55) & HPTE64_R_PP0;
331d5aea6f3SDavid Gibson     r |= (flags << 48) & HPTE64_R_KEY_HI;
332d5aea6f3SDavid Gibson     r |= flags & (HPTE64_R_PP | HPTE64_R_N | HPTE64_R_KEY_LO);
3339f64bd8aSPaolo Bonzini     rb = compute_tlbie_rb(v, r, pte_index);
3343f94170bSAneesh Kumar K.V     ppc_hash64_store_hpte(env, pte_index,
3353f94170bSAneesh Kumar K.V                           (v & ~HPTE64_V_VALID) | HPTE64_V_HPTE_DIRTY, 0);
3369f64bd8aSPaolo Bonzini     ppc_tlb_invalidate_one(env, rb);
3379f64bd8aSPaolo Bonzini     /* Don't need a memory barrier, due to qemu's global lock */
3383f94170bSAneesh Kumar K.V     ppc_hash64_store_hpte(env, pte_index, v | HPTE64_V_HPTE_DIRTY, r);
3399f64bd8aSPaolo Bonzini     return H_SUCCESS;
3409f64bd8aSPaolo Bonzini }
3419f64bd8aSPaolo Bonzini 
34228e02042SDavid Gibson static target_ulong h_read(PowerPCCPU *cpu, sPAPRMachineState *spapr,
343fa388916SAnthony Liguori                            target_ulong opcode, target_ulong *args)
344fa388916SAnthony Liguori {
345fa388916SAnthony Liguori     CPUPPCState *env = &cpu->env;
346fa388916SAnthony Liguori     target_ulong flags = args[0];
347fa388916SAnthony Liguori     target_ulong pte_index = args[1];
348fa388916SAnthony Liguori     uint8_t *hpte;
349fa388916SAnthony Liguori     int i, ridx, n_entries = 1;
350fa388916SAnthony Liguori 
351f3c75d42SAneesh Kumar K.V     if (!valid_pte_index(env, pte_index)) {
352fa388916SAnthony Liguori         return H_PARAMETER;
353fa388916SAnthony Liguori     }
354fa388916SAnthony Liguori 
355fa388916SAnthony Liguori     if (flags & H_READ_4) {
356fa388916SAnthony Liguori         /* Clear the two low order bits */
357fa388916SAnthony Liguori         pte_index &= ~(3ULL);
358fa388916SAnthony Liguori         n_entries = 4;
359fa388916SAnthony Liguori     }
360fa388916SAnthony Liguori 
361fa388916SAnthony Liguori     hpte = env->external_htab + (pte_index * HASH_PTE_SIZE_64);
362fa388916SAnthony Liguori 
363fa388916SAnthony Liguori     for (i = 0, ridx = 0; i < n_entries; i++) {
364fa388916SAnthony Liguori         args[ridx++] = ldq_p(hpte);
365fa388916SAnthony Liguori         args[ridx++] = ldq_p(hpte + (HASH_PTE_SIZE_64/2));
366fa388916SAnthony Liguori         hpte += HASH_PTE_SIZE_64;
367fa388916SAnthony Liguori     }
368fa388916SAnthony Liguori 
369fa388916SAnthony Liguori     return H_SUCCESS;
370fa388916SAnthony Liguori }
371fa388916SAnthony Liguori 
37228e02042SDavid Gibson static target_ulong h_set_dabr(PowerPCCPU *cpu, sPAPRMachineState *spapr,
3739f64bd8aSPaolo Bonzini                                target_ulong opcode, target_ulong *args)
3749f64bd8aSPaolo Bonzini {
3759f64bd8aSPaolo Bonzini     /* FIXME: actually implement this */
3769f64bd8aSPaolo Bonzini     return H_HARDWARE;
3779f64bd8aSPaolo Bonzini }
3789f64bd8aSPaolo Bonzini 
3799f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_VPA         0x0000200000000000ULL
3809f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_DTL         0x0000400000000000ULL
3819f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_SLBSHADOW   0x0000600000000000ULL
3829f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_VPA       0x0000a00000000000ULL
3839f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_DTL       0x0000c00000000000ULL
3849f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_SLBSHADOW 0x0000e00000000000ULL
3859f64bd8aSPaolo Bonzini 
3869f64bd8aSPaolo Bonzini #define VPA_MIN_SIZE           640
3879f64bd8aSPaolo Bonzini #define VPA_SIZE_OFFSET        0x4
3889f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_OFFSET 0x9
3899f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_VAL    0x2
3909f64bd8aSPaolo Bonzini 
3919f64bd8aSPaolo Bonzini static target_ulong register_vpa(CPUPPCState *env, target_ulong vpa)
3929f64bd8aSPaolo Bonzini {
39333276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
3949f64bd8aSPaolo Bonzini     uint16_t size;
3959f64bd8aSPaolo Bonzini     uint8_t tmp;
3969f64bd8aSPaolo Bonzini 
3979f64bd8aSPaolo Bonzini     if (vpa == 0) {
3989f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with registering a VPA at logical 0\n");
3999f64bd8aSPaolo Bonzini         return H_HARDWARE;
4009f64bd8aSPaolo Bonzini     }
4019f64bd8aSPaolo Bonzini 
4029f64bd8aSPaolo Bonzini     if (vpa % env->dcache_line_size) {
4039f64bd8aSPaolo Bonzini         return H_PARAMETER;
4049f64bd8aSPaolo Bonzini     }
4059f64bd8aSPaolo Bonzini     /* FIXME: bounds check the address */
4069f64bd8aSPaolo Bonzini 
40741701aa4SEdgar E. Iglesias     size = lduw_be_phys(cs->as, vpa + 0x4);
4089f64bd8aSPaolo Bonzini 
4099f64bd8aSPaolo Bonzini     if (size < VPA_MIN_SIZE) {
4109f64bd8aSPaolo Bonzini         return H_PARAMETER;
4119f64bd8aSPaolo Bonzini     }
4129f64bd8aSPaolo Bonzini 
4139f64bd8aSPaolo Bonzini     /* VPA is not allowed to cross a page boundary */
4149f64bd8aSPaolo Bonzini     if ((vpa / 4096) != ((vpa + size - 1) / 4096)) {
4159f64bd8aSPaolo Bonzini         return H_PARAMETER;
4169f64bd8aSPaolo Bonzini     }
4179f64bd8aSPaolo Bonzini 
4189f64bd8aSPaolo Bonzini     env->vpa_addr = vpa;
4199f64bd8aSPaolo Bonzini 
4202c17449bSEdgar E. Iglesias     tmp = ldub_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET);
4219f64bd8aSPaolo Bonzini     tmp |= VPA_SHARED_PROC_VAL;
422db3be60dSEdgar E. Iglesias     stb_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET, tmp);
4239f64bd8aSPaolo Bonzini 
4249f64bd8aSPaolo Bonzini     return H_SUCCESS;
4259f64bd8aSPaolo Bonzini }
4269f64bd8aSPaolo Bonzini 
4279f64bd8aSPaolo Bonzini static target_ulong deregister_vpa(CPUPPCState *env, target_ulong vpa)
4289f64bd8aSPaolo Bonzini {
4299f64bd8aSPaolo Bonzini     if (env->slb_shadow_addr) {
4309f64bd8aSPaolo Bonzini         return H_RESOURCE;
4319f64bd8aSPaolo Bonzini     }
4329f64bd8aSPaolo Bonzini 
4339f64bd8aSPaolo Bonzini     if (env->dtl_addr) {
4349f64bd8aSPaolo Bonzini         return H_RESOURCE;
4359f64bd8aSPaolo Bonzini     }
4369f64bd8aSPaolo Bonzini 
4379f64bd8aSPaolo Bonzini     env->vpa_addr = 0;
4389f64bd8aSPaolo Bonzini     return H_SUCCESS;
4399f64bd8aSPaolo Bonzini }
4409f64bd8aSPaolo Bonzini 
4419f64bd8aSPaolo Bonzini static target_ulong register_slb_shadow(CPUPPCState *env, target_ulong addr)
4429f64bd8aSPaolo Bonzini {
44333276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
4449f64bd8aSPaolo Bonzini     uint32_t size;
4459f64bd8aSPaolo Bonzini 
4469f64bd8aSPaolo Bonzini     if (addr == 0) {
4479f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with SLB shadow at logical 0\n");
4489f64bd8aSPaolo Bonzini         return H_HARDWARE;
4499f64bd8aSPaolo Bonzini     }
4509f64bd8aSPaolo Bonzini 
451fdfba1a2SEdgar E. Iglesias     size = ldl_be_phys(cs->as, addr + 0x4);
4529f64bd8aSPaolo Bonzini     if (size < 0x8) {
4539f64bd8aSPaolo Bonzini         return H_PARAMETER;
4549f64bd8aSPaolo Bonzini     }
4559f64bd8aSPaolo Bonzini 
4569f64bd8aSPaolo Bonzini     if ((addr / 4096) != ((addr + size - 1) / 4096)) {
4579f64bd8aSPaolo Bonzini         return H_PARAMETER;
4589f64bd8aSPaolo Bonzini     }
4599f64bd8aSPaolo Bonzini 
4609f64bd8aSPaolo Bonzini     if (!env->vpa_addr) {
4619f64bd8aSPaolo Bonzini         return H_RESOURCE;
4629f64bd8aSPaolo Bonzini     }
4639f64bd8aSPaolo Bonzini 
4649f64bd8aSPaolo Bonzini     env->slb_shadow_addr = addr;
4659f64bd8aSPaolo Bonzini     env->slb_shadow_size = size;
4669f64bd8aSPaolo Bonzini 
4679f64bd8aSPaolo Bonzini     return H_SUCCESS;
4689f64bd8aSPaolo Bonzini }
4699f64bd8aSPaolo Bonzini 
4709f64bd8aSPaolo Bonzini static target_ulong deregister_slb_shadow(CPUPPCState *env, target_ulong addr)
4719f64bd8aSPaolo Bonzini {
4729f64bd8aSPaolo Bonzini     env->slb_shadow_addr = 0;
4739f64bd8aSPaolo Bonzini     env->slb_shadow_size = 0;
4749f64bd8aSPaolo Bonzini     return H_SUCCESS;
4759f64bd8aSPaolo Bonzini }
4769f64bd8aSPaolo Bonzini 
4779f64bd8aSPaolo Bonzini static target_ulong register_dtl(CPUPPCState *env, target_ulong addr)
4789f64bd8aSPaolo Bonzini {
47933276f1bSAndreas Färber     CPUState *cs = CPU(ppc_env_get_cpu(env));
4809f64bd8aSPaolo Bonzini     uint32_t size;
4819f64bd8aSPaolo Bonzini 
4829f64bd8aSPaolo Bonzini     if (addr == 0) {
4839f64bd8aSPaolo Bonzini         hcall_dprintf("Can't cope with DTL at logical 0\n");
4849f64bd8aSPaolo Bonzini         return H_HARDWARE;
4859f64bd8aSPaolo Bonzini     }
4869f64bd8aSPaolo Bonzini 
487fdfba1a2SEdgar E. Iglesias     size = ldl_be_phys(cs->as, addr + 0x4);
4889f64bd8aSPaolo Bonzini 
4899f64bd8aSPaolo Bonzini     if (size < 48) {
4909f64bd8aSPaolo Bonzini         return H_PARAMETER;
4919f64bd8aSPaolo Bonzini     }
4929f64bd8aSPaolo Bonzini 
4939f64bd8aSPaolo Bonzini     if (!env->vpa_addr) {
4949f64bd8aSPaolo Bonzini         return H_RESOURCE;
4959f64bd8aSPaolo Bonzini     }
4969f64bd8aSPaolo Bonzini 
4979f64bd8aSPaolo Bonzini     env->dtl_addr = addr;
4989f64bd8aSPaolo Bonzini     env->dtl_size = size;
4999f64bd8aSPaolo Bonzini 
5009f64bd8aSPaolo Bonzini     return H_SUCCESS;
5019f64bd8aSPaolo Bonzini }
5029f64bd8aSPaolo Bonzini 
5039f64bd8aSPaolo Bonzini static target_ulong deregister_dtl(CPUPPCState *env, target_ulong addr)
5049f64bd8aSPaolo Bonzini {
5059f64bd8aSPaolo Bonzini     env->dtl_addr = 0;
5069f64bd8aSPaolo Bonzini     env->dtl_size = 0;
5079f64bd8aSPaolo Bonzini 
5089f64bd8aSPaolo Bonzini     return H_SUCCESS;
5099f64bd8aSPaolo Bonzini }
5109f64bd8aSPaolo Bonzini 
51128e02042SDavid Gibson static target_ulong h_register_vpa(PowerPCCPU *cpu, sPAPRMachineState *spapr,
5129f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
5139f64bd8aSPaolo Bonzini {
5149f64bd8aSPaolo Bonzini     target_ulong flags = args[0];
5159f64bd8aSPaolo Bonzini     target_ulong procno = args[1];
5169f64bd8aSPaolo Bonzini     target_ulong vpa = args[2];
5179f64bd8aSPaolo Bonzini     target_ulong ret = H_PARAMETER;
5189f64bd8aSPaolo Bonzini     CPUPPCState *tenv;
5190f20ba62SAlexey Kardashevskiy     PowerPCCPU *tcpu;
5209f64bd8aSPaolo Bonzini 
5210f20ba62SAlexey Kardashevskiy     tcpu = ppc_get_vcpu_by_dt_id(procno);
5229f64bd8aSPaolo Bonzini     if (!tcpu) {
5239f64bd8aSPaolo Bonzini         return H_PARAMETER;
5249f64bd8aSPaolo Bonzini     }
5250f20ba62SAlexey Kardashevskiy     tenv = &tcpu->env;
5269f64bd8aSPaolo Bonzini 
5279f64bd8aSPaolo Bonzini     switch (flags) {
5289f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_VPA:
5299f64bd8aSPaolo Bonzini         ret = register_vpa(tenv, vpa);
5309f64bd8aSPaolo Bonzini         break;
5319f64bd8aSPaolo Bonzini 
5329f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_VPA:
5339f64bd8aSPaolo Bonzini         ret = deregister_vpa(tenv, vpa);
5349f64bd8aSPaolo Bonzini         break;
5359f64bd8aSPaolo Bonzini 
5369f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_SLBSHADOW:
5379f64bd8aSPaolo Bonzini         ret = register_slb_shadow(tenv, vpa);
5389f64bd8aSPaolo Bonzini         break;
5399f64bd8aSPaolo Bonzini 
5409f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_SLBSHADOW:
5419f64bd8aSPaolo Bonzini         ret = deregister_slb_shadow(tenv, vpa);
5429f64bd8aSPaolo Bonzini         break;
5439f64bd8aSPaolo Bonzini 
5449f64bd8aSPaolo Bonzini     case FLAGS_REGISTER_DTL:
5459f64bd8aSPaolo Bonzini         ret = register_dtl(tenv, vpa);
5469f64bd8aSPaolo Bonzini         break;
5479f64bd8aSPaolo Bonzini 
5489f64bd8aSPaolo Bonzini     case FLAGS_DEREGISTER_DTL:
5499f64bd8aSPaolo Bonzini         ret = deregister_dtl(tenv, vpa);
5509f64bd8aSPaolo Bonzini         break;
5519f64bd8aSPaolo Bonzini     }
5529f64bd8aSPaolo Bonzini 
5539f64bd8aSPaolo Bonzini     return ret;
5549f64bd8aSPaolo Bonzini }
5559f64bd8aSPaolo Bonzini 
55628e02042SDavid Gibson static target_ulong h_cede(PowerPCCPU *cpu, sPAPRMachineState *spapr,
5579f64bd8aSPaolo Bonzini                            target_ulong opcode, target_ulong *args)
5589f64bd8aSPaolo Bonzini {
5599f64bd8aSPaolo Bonzini     CPUPPCState *env = &cpu->env;
5609f64bd8aSPaolo Bonzini     CPUState *cs = CPU(cpu);
5619f64bd8aSPaolo Bonzini 
5629f64bd8aSPaolo Bonzini     env->msr |= (1ULL << MSR_EE);
5639f64bd8aSPaolo Bonzini     hreg_compute_hflags(env);
5649f64bd8aSPaolo Bonzini     if (!cpu_has_work(cs)) {
565259186a7SAndreas Färber         cs->halted = 1;
56627103424SAndreas Färber         cs->exception_index = EXCP_HLT;
5679f64bd8aSPaolo Bonzini         cs->exit_request = 1;
5689f64bd8aSPaolo Bonzini     }
5699f64bd8aSPaolo Bonzini     return H_SUCCESS;
5709f64bd8aSPaolo Bonzini }
5719f64bd8aSPaolo Bonzini 
57228e02042SDavid Gibson static target_ulong h_rtas(PowerPCCPU *cpu, sPAPRMachineState *spapr,
5739f64bd8aSPaolo Bonzini                            target_ulong opcode, target_ulong *args)
5749f64bd8aSPaolo Bonzini {
5759f64bd8aSPaolo Bonzini     target_ulong rtas_r3 = args[0];
5764fe822e0SAlexey Kardashevskiy     uint32_t token = rtas_ld(rtas_r3, 0);
5774fe822e0SAlexey Kardashevskiy     uint32_t nargs = rtas_ld(rtas_r3, 1);
5784fe822e0SAlexey Kardashevskiy     uint32_t nret = rtas_ld(rtas_r3, 2);
5799f64bd8aSPaolo Bonzini 
580210b580bSAnthony Liguori     return spapr_rtas_call(cpu, spapr, token, nargs, rtas_r3 + 12,
5819f64bd8aSPaolo Bonzini                            nret, rtas_r3 + 12 + 4*nargs);
5829f64bd8aSPaolo Bonzini }
5839f64bd8aSPaolo Bonzini 
58428e02042SDavid Gibson static target_ulong h_logical_load(PowerPCCPU *cpu, sPAPRMachineState *spapr,
5859f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
5869f64bd8aSPaolo Bonzini {
587fdfba1a2SEdgar E. Iglesias     CPUState *cs = CPU(cpu);
5889f64bd8aSPaolo Bonzini     target_ulong size = args[0];
5899f64bd8aSPaolo Bonzini     target_ulong addr = args[1];
5909f64bd8aSPaolo Bonzini 
5919f64bd8aSPaolo Bonzini     switch (size) {
5929f64bd8aSPaolo Bonzini     case 1:
5932c17449bSEdgar E. Iglesias         args[0] = ldub_phys(cs->as, addr);
5949f64bd8aSPaolo Bonzini         return H_SUCCESS;
5959f64bd8aSPaolo Bonzini     case 2:
59641701aa4SEdgar E. Iglesias         args[0] = lduw_phys(cs->as, addr);
5979f64bd8aSPaolo Bonzini         return H_SUCCESS;
5989f64bd8aSPaolo Bonzini     case 4:
599fdfba1a2SEdgar E. Iglesias         args[0] = ldl_phys(cs->as, addr);
6009f64bd8aSPaolo Bonzini         return H_SUCCESS;
6019f64bd8aSPaolo Bonzini     case 8:
6022c17449bSEdgar E. Iglesias         args[0] = ldq_phys(cs->as, addr);
6039f64bd8aSPaolo Bonzini         return H_SUCCESS;
6049f64bd8aSPaolo Bonzini     }
6059f64bd8aSPaolo Bonzini     return H_PARAMETER;
6069f64bd8aSPaolo Bonzini }
6079f64bd8aSPaolo Bonzini 
60828e02042SDavid Gibson static target_ulong h_logical_store(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6099f64bd8aSPaolo Bonzini                                     target_ulong opcode, target_ulong *args)
6109f64bd8aSPaolo Bonzini {
611f606604fSEdgar E. Iglesias     CPUState *cs = CPU(cpu);
612f606604fSEdgar E. Iglesias 
6139f64bd8aSPaolo Bonzini     target_ulong size = args[0];
6149f64bd8aSPaolo Bonzini     target_ulong addr = args[1];
6159f64bd8aSPaolo Bonzini     target_ulong val  = args[2];
6169f64bd8aSPaolo Bonzini 
6179f64bd8aSPaolo Bonzini     switch (size) {
6189f64bd8aSPaolo Bonzini     case 1:
619db3be60dSEdgar E. Iglesias         stb_phys(cs->as, addr, val);
6209f64bd8aSPaolo Bonzini         return H_SUCCESS;
6219f64bd8aSPaolo Bonzini     case 2:
6225ce5944dSEdgar E. Iglesias         stw_phys(cs->as, addr, val);
6239f64bd8aSPaolo Bonzini         return H_SUCCESS;
6249f64bd8aSPaolo Bonzini     case 4:
625ab1da857SEdgar E. Iglesias         stl_phys(cs->as, addr, val);
6269f64bd8aSPaolo Bonzini         return H_SUCCESS;
6279f64bd8aSPaolo Bonzini     case 8:
628f606604fSEdgar E. Iglesias         stq_phys(cs->as, addr, val);
6299f64bd8aSPaolo Bonzini         return H_SUCCESS;
6309f64bd8aSPaolo Bonzini     }
6319f64bd8aSPaolo Bonzini     return H_PARAMETER;
6329f64bd8aSPaolo Bonzini }
6339f64bd8aSPaolo Bonzini 
63428e02042SDavid Gibson static target_ulong h_logical_memop(PowerPCCPU *cpu, sPAPRMachineState *spapr,
6359f64bd8aSPaolo Bonzini                                     target_ulong opcode, target_ulong *args)
6369f64bd8aSPaolo Bonzini {
637fdfba1a2SEdgar E. Iglesias     CPUState *cs = CPU(cpu);
638fdfba1a2SEdgar E. Iglesias 
6399f64bd8aSPaolo Bonzini     target_ulong dst   = args[0]; /* Destination address */
6409f64bd8aSPaolo Bonzini     target_ulong src   = args[1]; /* Source address */
6419f64bd8aSPaolo Bonzini     target_ulong esize = args[2]; /* Element size (0=1,1=2,2=4,3=8) */
6429f64bd8aSPaolo Bonzini     target_ulong count = args[3]; /* Element count */
6439f64bd8aSPaolo Bonzini     target_ulong op    = args[4]; /* 0 = copy, 1 = invert */
6449f64bd8aSPaolo Bonzini     uint64_t tmp;
6459f64bd8aSPaolo Bonzini     unsigned int mask = (1 << esize) - 1;
6469f64bd8aSPaolo Bonzini     int step = 1 << esize;
6479f64bd8aSPaolo Bonzini 
6489f64bd8aSPaolo Bonzini     if (count > 0x80000000) {
6499f64bd8aSPaolo Bonzini         return H_PARAMETER;
6509f64bd8aSPaolo Bonzini     }
6519f64bd8aSPaolo Bonzini 
6529f64bd8aSPaolo Bonzini     if ((dst & mask) || (src & mask) || (op > 1)) {
6539f64bd8aSPaolo Bonzini         return H_PARAMETER;
6549f64bd8aSPaolo Bonzini     }
6559f64bd8aSPaolo Bonzini 
6569f64bd8aSPaolo Bonzini     if (dst >= src && dst < (src + (count << esize))) {
6579f64bd8aSPaolo Bonzini             dst = dst + ((count - 1) << esize);
6589f64bd8aSPaolo Bonzini             src = src + ((count - 1) << esize);
6599f64bd8aSPaolo Bonzini             step = -step;
6609f64bd8aSPaolo Bonzini     }
6619f64bd8aSPaolo Bonzini 
6629f64bd8aSPaolo Bonzini     while (count--) {
6639f64bd8aSPaolo Bonzini         switch (esize) {
6649f64bd8aSPaolo Bonzini         case 0:
6652c17449bSEdgar E. Iglesias             tmp = ldub_phys(cs->as, src);
6669f64bd8aSPaolo Bonzini             break;
6679f64bd8aSPaolo Bonzini         case 1:
66841701aa4SEdgar E. Iglesias             tmp = lduw_phys(cs->as, src);
6699f64bd8aSPaolo Bonzini             break;
6709f64bd8aSPaolo Bonzini         case 2:
671fdfba1a2SEdgar E. Iglesias             tmp = ldl_phys(cs->as, src);
6729f64bd8aSPaolo Bonzini             break;
6739f64bd8aSPaolo Bonzini         case 3:
6742c17449bSEdgar E. Iglesias             tmp = ldq_phys(cs->as, src);
6759f64bd8aSPaolo Bonzini             break;
6769f64bd8aSPaolo Bonzini         default:
6779f64bd8aSPaolo Bonzini             return H_PARAMETER;
6789f64bd8aSPaolo Bonzini         }
6799f64bd8aSPaolo Bonzini         if (op == 1) {
6809f64bd8aSPaolo Bonzini             tmp = ~tmp;
6819f64bd8aSPaolo Bonzini         }
6829f64bd8aSPaolo Bonzini         switch (esize) {
6839f64bd8aSPaolo Bonzini         case 0:
684db3be60dSEdgar E. Iglesias             stb_phys(cs->as, dst, tmp);
6859f64bd8aSPaolo Bonzini             break;
6869f64bd8aSPaolo Bonzini         case 1:
6875ce5944dSEdgar E. Iglesias             stw_phys(cs->as, dst, tmp);
6889f64bd8aSPaolo Bonzini             break;
6899f64bd8aSPaolo Bonzini         case 2:
690ab1da857SEdgar E. Iglesias             stl_phys(cs->as, dst, tmp);
6919f64bd8aSPaolo Bonzini             break;
6929f64bd8aSPaolo Bonzini         case 3:
693f606604fSEdgar E. Iglesias             stq_phys(cs->as, dst, tmp);
6949f64bd8aSPaolo Bonzini             break;
6959f64bd8aSPaolo Bonzini         }
6969f64bd8aSPaolo Bonzini         dst = dst + step;
6979f64bd8aSPaolo Bonzini         src = src + step;
6989f64bd8aSPaolo Bonzini     }
6999f64bd8aSPaolo Bonzini 
7009f64bd8aSPaolo Bonzini     return H_SUCCESS;
7019f64bd8aSPaolo Bonzini }
7029f64bd8aSPaolo Bonzini 
70328e02042SDavid Gibson static target_ulong h_logical_icbi(PowerPCCPU *cpu, sPAPRMachineState *spapr,
7049f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
7059f64bd8aSPaolo Bonzini {
7069f64bd8aSPaolo Bonzini     /* Nothing to do on emulation, KVM will trap this in the kernel */
7079f64bd8aSPaolo Bonzini     return H_SUCCESS;
7089f64bd8aSPaolo Bonzini }
7099f64bd8aSPaolo Bonzini 
71028e02042SDavid Gibson static target_ulong h_logical_dcbf(PowerPCCPU *cpu, sPAPRMachineState *spapr,
7119f64bd8aSPaolo Bonzini                                    target_ulong opcode, target_ulong *args)
7129f64bd8aSPaolo Bonzini {
7139f64bd8aSPaolo Bonzini     /* Nothing to do on emulation, KVM will trap this in the kernel */
7149f64bd8aSPaolo Bonzini     return H_SUCCESS;
7159f64bd8aSPaolo Bonzini }
7169f64bd8aSPaolo Bonzini 
7177d0cd464SPeter Maydell static target_ulong h_set_mode_resource_le(PowerPCCPU *cpu,
718c4015bbdSAlexey Kardashevskiy                                            target_ulong mflags,
719c4015bbdSAlexey Kardashevskiy                                            target_ulong value1,
720c4015bbdSAlexey Kardashevskiy                                            target_ulong value2)
72142561bf2SAnton Blanchard {
72242561bf2SAnton Blanchard     CPUState *cs;
72342561bf2SAnton Blanchard 
72442561bf2SAnton Blanchard     if (value1) {
725c4015bbdSAlexey Kardashevskiy         return H_P3;
72642561bf2SAnton Blanchard     }
72742561bf2SAnton Blanchard     if (value2) {
728c4015bbdSAlexey Kardashevskiy         return H_P4;
72942561bf2SAnton Blanchard     }
730c4015bbdSAlexey Kardashevskiy 
73142561bf2SAnton Blanchard     switch (mflags) {
73242561bf2SAnton Blanchard     case H_SET_MODE_ENDIAN_BIG:
733bdc44640SAndreas Färber         CPU_FOREACH(cs) {
734a46622fdSAlexey Kardashevskiy             set_spr(cs, SPR_LPCR, 0, LPCR_ILE);
73542561bf2SAnton Blanchard         }
736eefaccc0SDavid Gibson         spapr_pci_switch_vga(true);
737c4015bbdSAlexey Kardashevskiy         return H_SUCCESS;
73842561bf2SAnton Blanchard 
73942561bf2SAnton Blanchard     case H_SET_MODE_ENDIAN_LITTLE:
740bdc44640SAndreas Färber         CPU_FOREACH(cs) {
741a46622fdSAlexey Kardashevskiy             set_spr(cs, SPR_LPCR, LPCR_ILE, LPCR_ILE);
74242561bf2SAnton Blanchard         }
743eefaccc0SDavid Gibson         spapr_pci_switch_vga(false);
744c4015bbdSAlexey Kardashevskiy         return H_SUCCESS;
745c4015bbdSAlexey Kardashevskiy     }
746c4015bbdSAlexey Kardashevskiy 
747c4015bbdSAlexey Kardashevskiy     return H_UNSUPPORTED_FLAG;
748c4015bbdSAlexey Kardashevskiy }
749c4015bbdSAlexey Kardashevskiy 
7507d0cd464SPeter Maydell static target_ulong h_set_mode_resource_addr_trans_mode(PowerPCCPU *cpu,
751d5ac4f54SAlexey Kardashevskiy                                                         target_ulong mflags,
752d5ac4f54SAlexey Kardashevskiy                                                         target_ulong value1,
753d5ac4f54SAlexey Kardashevskiy                                                         target_ulong value2)
754d5ac4f54SAlexey Kardashevskiy {
755d5ac4f54SAlexey Kardashevskiy     CPUState *cs;
756d5ac4f54SAlexey Kardashevskiy     PowerPCCPUClass *pcc = POWERPC_CPU_GET_CLASS(cpu);
757d5ac4f54SAlexey Kardashevskiy     target_ulong prefix;
758d5ac4f54SAlexey Kardashevskiy 
759d5ac4f54SAlexey Kardashevskiy     if (!(pcc->insns_flags2 & PPC2_ISA207S)) {
760d5ac4f54SAlexey Kardashevskiy         return H_P2;
761d5ac4f54SAlexey Kardashevskiy     }
762d5ac4f54SAlexey Kardashevskiy     if (value1) {
763d5ac4f54SAlexey Kardashevskiy         return H_P3;
764d5ac4f54SAlexey Kardashevskiy     }
765d5ac4f54SAlexey Kardashevskiy     if (value2) {
766d5ac4f54SAlexey Kardashevskiy         return H_P4;
767d5ac4f54SAlexey Kardashevskiy     }
768d5ac4f54SAlexey Kardashevskiy 
769d5ac4f54SAlexey Kardashevskiy     switch (mflags) {
770d5ac4f54SAlexey Kardashevskiy     case H_SET_MODE_ADDR_TRANS_NONE:
771d5ac4f54SAlexey Kardashevskiy         prefix = 0;
772d5ac4f54SAlexey Kardashevskiy         break;
773d5ac4f54SAlexey Kardashevskiy     case H_SET_MODE_ADDR_TRANS_0001_8000:
774d5ac4f54SAlexey Kardashevskiy         prefix = 0x18000;
775d5ac4f54SAlexey Kardashevskiy         break;
776d5ac4f54SAlexey Kardashevskiy     case H_SET_MODE_ADDR_TRANS_C000_0000_0000_4000:
777b653282eSPeter Maydell         prefix = 0xC000000000004000ULL;
778d5ac4f54SAlexey Kardashevskiy         break;
779d5ac4f54SAlexey Kardashevskiy     default:
780d5ac4f54SAlexey Kardashevskiy         return H_UNSUPPORTED_FLAG;
781d5ac4f54SAlexey Kardashevskiy     }
782d5ac4f54SAlexey Kardashevskiy 
783d5ac4f54SAlexey Kardashevskiy     CPU_FOREACH(cs) {
784d5ac4f54SAlexey Kardashevskiy         CPUPPCState *env = &POWERPC_CPU(cpu)->env;
785d5ac4f54SAlexey Kardashevskiy 
786d5ac4f54SAlexey Kardashevskiy         set_spr(cs, SPR_LPCR, mflags << LPCR_AIL_SHIFT, LPCR_AIL);
787d5ac4f54SAlexey Kardashevskiy         env->excp_prefix = prefix;
788d5ac4f54SAlexey Kardashevskiy     }
789d5ac4f54SAlexey Kardashevskiy 
790d5ac4f54SAlexey Kardashevskiy     return H_SUCCESS;
791d5ac4f54SAlexey Kardashevskiy }
792d5ac4f54SAlexey Kardashevskiy 
79328e02042SDavid Gibson static target_ulong h_set_mode(PowerPCCPU *cpu, sPAPRMachineState *spapr,
794c4015bbdSAlexey Kardashevskiy                                target_ulong opcode, target_ulong *args)
795c4015bbdSAlexey Kardashevskiy {
796c4015bbdSAlexey Kardashevskiy     target_ulong resource = args[1];
797c4015bbdSAlexey Kardashevskiy     target_ulong ret = H_P2;
798c4015bbdSAlexey Kardashevskiy 
799c4015bbdSAlexey Kardashevskiy     switch (resource) {
800c4015bbdSAlexey Kardashevskiy     case H_SET_MODE_RESOURCE_LE:
8017d0cd464SPeter Maydell         ret = h_set_mode_resource_le(cpu, args[0], args[2], args[3]);
80242561bf2SAnton Blanchard         break;
803d5ac4f54SAlexey Kardashevskiy     case H_SET_MODE_RESOURCE_ADDR_TRANS_MODE:
8047d0cd464SPeter Maydell         ret = h_set_mode_resource_addr_trans_mode(cpu, args[0],
805d5ac4f54SAlexey Kardashevskiy                                                   args[2], args[3]);
806d5ac4f54SAlexey Kardashevskiy         break;
80742561bf2SAnton Blanchard     }
80842561bf2SAnton Blanchard 
80942561bf2SAnton Blanchard     return ret;
81042561bf2SAnton Blanchard }
81142561bf2SAnton Blanchard 
81203d196b7SBharata B Rao /*
81303d196b7SBharata B Rao  * Return the offset to the requested option vector @vector in the
81403d196b7SBharata B Rao  * option vector table @table.
81503d196b7SBharata B Rao  */
81603d196b7SBharata B Rao static target_ulong cas_get_option_vector(int vector, target_ulong table)
81703d196b7SBharata B Rao {
81803d196b7SBharata B Rao     int i;
81903d196b7SBharata B Rao     char nr_vectors, nr_entries;
82003d196b7SBharata B Rao 
82103d196b7SBharata B Rao     if (!table) {
82203d196b7SBharata B Rao         return 0;
82303d196b7SBharata B Rao     }
82403d196b7SBharata B Rao 
82503d196b7SBharata B Rao     nr_vectors = (ldl_phys(&address_space_memory, table) >> 24) + 1;
82603d196b7SBharata B Rao     if (!vector || vector > nr_vectors) {
82703d196b7SBharata B Rao         return 0;
82803d196b7SBharata B Rao     }
82903d196b7SBharata B Rao     table++; /* skip nr option vectors */
83003d196b7SBharata B Rao 
83103d196b7SBharata B Rao     for (i = 0; i < vector - 1; i++) {
83203d196b7SBharata B Rao         nr_entries = ldl_phys(&address_space_memory, table) >> 24;
83303d196b7SBharata B Rao         table += nr_entries + 2;
83403d196b7SBharata B Rao     }
83503d196b7SBharata B Rao     return table;
83603d196b7SBharata B Rao }
83703d196b7SBharata B Rao 
8383794d548SAlexey Kardashevskiy typedef struct {
8393794d548SAlexey Kardashevskiy     PowerPCCPU *cpu;
8403794d548SAlexey Kardashevskiy     uint32_t cpu_version;
8413794d548SAlexey Kardashevskiy     int ret;
8423794d548SAlexey Kardashevskiy } SetCompatState;
8433794d548SAlexey Kardashevskiy 
8443794d548SAlexey Kardashevskiy static void do_set_compat(void *arg)
8453794d548SAlexey Kardashevskiy {
8463794d548SAlexey Kardashevskiy     SetCompatState *s = arg;
8473794d548SAlexey Kardashevskiy 
8483794d548SAlexey Kardashevskiy     cpu_synchronize_state(CPU(s->cpu));
8493794d548SAlexey Kardashevskiy     s->ret = ppc_set_compat(s->cpu, s->cpu_version);
8503794d548SAlexey Kardashevskiy }
8513794d548SAlexey Kardashevskiy 
8523794d548SAlexey Kardashevskiy #define get_compat_level(cpuver) ( \
8533794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_05) ? 2050 : \
8543794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_06) ? 2060 : \
8553794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_06_PLUS) ? 2061 : \
8563794d548SAlexey Kardashevskiy     ((cpuver) == CPU_POWERPC_LOGICAL_2_07) ? 2070 : 0)
8573794d548SAlexey Kardashevskiy 
85803d196b7SBharata B Rao #define OV5_DRCONF_MEMORY 0x20
85903d196b7SBharata B Rao 
8602a6593cbSAlexey Kardashevskiy static target_ulong h_client_architecture_support(PowerPCCPU *cpu_,
86128e02042SDavid Gibson                                                   sPAPRMachineState *spapr,
8622a6593cbSAlexey Kardashevskiy                                                   target_ulong opcode,
8632a6593cbSAlexey Kardashevskiy                                                   target_ulong *args)
8642a6593cbSAlexey Kardashevskiy {
865*27ac3e06SDavid Gibson     target_ulong list = ppc64_phys_to_real(args[0]);
866*27ac3e06SDavid Gibson     target_ulong ov_table, ov5;
8673794d548SAlexey Kardashevskiy     PowerPCCPUClass *pcc_ = POWERPC_CPU_GET_CLASS(cpu_);
8683794d548SAlexey Kardashevskiy     CPUState *cs;
86903d196b7SBharata B Rao     bool cpu_match = false, cpu_update = true, memory_update = false;
8703794d548SAlexey Kardashevskiy     unsigned old_cpu_version = cpu_->cpu_version;
8713794d548SAlexey Kardashevskiy     unsigned compat_lvl = 0, cpu_version = 0;
8723794d548SAlexey Kardashevskiy     unsigned max_lvl = get_compat_level(cpu_->max_compat);
8733794d548SAlexey Kardashevskiy     int counter;
87403d196b7SBharata B Rao     char ov5_byte2;
8753794d548SAlexey Kardashevskiy 
8763794d548SAlexey Kardashevskiy     /* Parse PVR list */
8773794d548SAlexey Kardashevskiy     for (counter = 0; counter < 512; ++counter) {
8783794d548SAlexey Kardashevskiy         uint32_t pvr, pvr_mask;
8793794d548SAlexey Kardashevskiy 
880*27ac3e06SDavid Gibson         pvr_mask = ldl_be_phys(&address_space_memory, list);
8813794d548SAlexey Kardashevskiy         list += 4;
882*27ac3e06SDavid Gibson         pvr = ldl_be_phys(&address_space_memory, list);
8833794d548SAlexey Kardashevskiy         list += 4;
8843794d548SAlexey Kardashevskiy 
8853794d548SAlexey Kardashevskiy         trace_spapr_cas_pvr_try(pvr);
8863794d548SAlexey Kardashevskiy         if (!max_lvl &&
8873794d548SAlexey Kardashevskiy             ((cpu_->env.spr[SPR_PVR] & pvr_mask) == (pvr & pvr_mask))) {
8883794d548SAlexey Kardashevskiy             cpu_match = true;
8893794d548SAlexey Kardashevskiy             cpu_version = 0;
8903794d548SAlexey Kardashevskiy         } else if (pvr == cpu_->cpu_version) {
8913794d548SAlexey Kardashevskiy             cpu_match = true;
8923794d548SAlexey Kardashevskiy             cpu_version = cpu_->cpu_version;
8933794d548SAlexey Kardashevskiy         } else if (!cpu_match) {
8943794d548SAlexey Kardashevskiy             /* If it is a logical PVR, try to determine the highest level */
8953794d548SAlexey Kardashevskiy             unsigned lvl = get_compat_level(pvr);
8963794d548SAlexey Kardashevskiy             if (lvl) {
8973794d548SAlexey Kardashevskiy                 bool is205 = (pcc_->pcr_mask & PCR_COMPAT_2_05) &&
8983794d548SAlexey Kardashevskiy                      (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_05));
8993794d548SAlexey Kardashevskiy                 bool is206 = (pcc_->pcr_mask & PCR_COMPAT_2_06) &&
9003794d548SAlexey Kardashevskiy                     ((lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06)) ||
9013794d548SAlexey Kardashevskiy                     (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06_PLUS)));
9023794d548SAlexey Kardashevskiy 
9033794d548SAlexey Kardashevskiy                 if (is205 || is206) {
9043794d548SAlexey Kardashevskiy                     if (!max_lvl) {
9053794d548SAlexey Kardashevskiy                         /* User did not set the level, choose the highest */
9063794d548SAlexey Kardashevskiy                         if (compat_lvl <= lvl) {
9073794d548SAlexey Kardashevskiy                             compat_lvl = lvl;
9083794d548SAlexey Kardashevskiy                             cpu_version = pvr;
9093794d548SAlexey Kardashevskiy                         }
9103794d548SAlexey Kardashevskiy                     } else if (max_lvl >= lvl) {
9113794d548SAlexey Kardashevskiy                         /* User chose the level, don't set higher than this */
9123794d548SAlexey Kardashevskiy                         compat_lvl = lvl;
9133794d548SAlexey Kardashevskiy                         cpu_version = pvr;
9143794d548SAlexey Kardashevskiy                     }
9153794d548SAlexey Kardashevskiy                 }
9163794d548SAlexey Kardashevskiy             }
9173794d548SAlexey Kardashevskiy         }
9183794d548SAlexey Kardashevskiy         /* Terminator record */
9193794d548SAlexey Kardashevskiy         if (~pvr_mask & pvr) {
9203794d548SAlexey Kardashevskiy             break;
9213794d548SAlexey Kardashevskiy         }
9223794d548SAlexey Kardashevskiy     }
9233794d548SAlexey Kardashevskiy 
9243794d548SAlexey Kardashevskiy     /* Parsing finished */
9253794d548SAlexey Kardashevskiy     trace_spapr_cas_pvr(cpu_->cpu_version, cpu_match,
9263794d548SAlexey Kardashevskiy                         cpu_version, pcc_->pcr_mask);
9273794d548SAlexey Kardashevskiy 
9283794d548SAlexey Kardashevskiy     /* Update CPUs */
9293794d548SAlexey Kardashevskiy     if (old_cpu_version != cpu_version) {
9303794d548SAlexey Kardashevskiy         CPU_FOREACH(cs) {
9313794d548SAlexey Kardashevskiy             SetCompatState s = {
9323794d548SAlexey Kardashevskiy                 .cpu = POWERPC_CPU(cs),
9333794d548SAlexey Kardashevskiy                 .cpu_version = cpu_version,
9343794d548SAlexey Kardashevskiy                 .ret = 0
9353794d548SAlexey Kardashevskiy             };
9363794d548SAlexey Kardashevskiy 
9373794d548SAlexey Kardashevskiy             run_on_cpu(cs, do_set_compat, &s);
9383794d548SAlexey Kardashevskiy 
9393794d548SAlexey Kardashevskiy             if (s.ret < 0) {
9403794d548SAlexey Kardashevskiy                 fprintf(stderr, "Unable to set compatibility mode\n");
9413794d548SAlexey Kardashevskiy                 return H_HARDWARE;
9423794d548SAlexey Kardashevskiy             }
9433794d548SAlexey Kardashevskiy         }
9443794d548SAlexey Kardashevskiy     }
9453794d548SAlexey Kardashevskiy 
9463794d548SAlexey Kardashevskiy     if (!cpu_version) {
94703d196b7SBharata B Rao         cpu_update = false;
9483794d548SAlexey Kardashevskiy     }
9492a6593cbSAlexey Kardashevskiy 
95003d196b7SBharata B Rao     /* For the future use: here @ov_table points to the first option vector */
95103d196b7SBharata B Rao     ov_table = list;
95203d196b7SBharata B Rao 
953*27ac3e06SDavid Gibson     ov5 = cas_get_option_vector(5, ov_table);
954*27ac3e06SDavid Gibson     if (!ov5) {
9552a6593cbSAlexey Kardashevskiy         return H_SUCCESS;
9562a6593cbSAlexey Kardashevskiy     }
9572a6593cbSAlexey Kardashevskiy 
95803d196b7SBharata B Rao     /* @list now points to OV 5 */
959*27ac3e06SDavid Gibson     ov5_byte2 = ldub_phys(&address_space_memory, ov5 + 2);
96003d196b7SBharata B Rao     if (ov5_byte2 & OV5_DRCONF_MEMORY) {
96103d196b7SBharata B Rao         memory_update = true;
96203d196b7SBharata B Rao     }
96303d196b7SBharata B Rao 
96403d196b7SBharata B Rao     if (spapr_h_cas_compose_response(spapr, args[1], args[2],
96503d196b7SBharata B Rao                                      cpu_update, memory_update)) {
9662a6593cbSAlexey Kardashevskiy         qemu_system_reset_request();
9672a6593cbSAlexey Kardashevskiy     }
9682a6593cbSAlexey Kardashevskiy 
9692a6593cbSAlexey Kardashevskiy     return H_SUCCESS;
9702a6593cbSAlexey Kardashevskiy }
9712a6593cbSAlexey Kardashevskiy 
9729f64bd8aSPaolo Bonzini static spapr_hcall_fn papr_hypercall_table[(MAX_HCALL_OPCODE / 4) + 1];
9739f64bd8aSPaolo Bonzini static spapr_hcall_fn kvmppc_hypercall_table[KVMPPC_HCALL_MAX - KVMPPC_HCALL_BASE + 1];
9749f64bd8aSPaolo Bonzini 
9759f64bd8aSPaolo Bonzini void spapr_register_hypercall(target_ulong opcode, spapr_hcall_fn fn)
9769f64bd8aSPaolo Bonzini {
9779f64bd8aSPaolo Bonzini     spapr_hcall_fn *slot;
9789f64bd8aSPaolo Bonzini 
9799f64bd8aSPaolo Bonzini     if (opcode <= MAX_HCALL_OPCODE) {
9809f64bd8aSPaolo Bonzini         assert((opcode & 0x3) == 0);
9819f64bd8aSPaolo Bonzini 
9829f64bd8aSPaolo Bonzini         slot = &papr_hypercall_table[opcode / 4];
9839f64bd8aSPaolo Bonzini     } else {
9849f64bd8aSPaolo Bonzini         assert((opcode >= KVMPPC_HCALL_BASE) && (opcode <= KVMPPC_HCALL_MAX));
9859f64bd8aSPaolo Bonzini 
9869f64bd8aSPaolo Bonzini         slot = &kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE];
9879f64bd8aSPaolo Bonzini     }
9889f64bd8aSPaolo Bonzini 
9899f64bd8aSPaolo Bonzini     assert(!(*slot));
9909f64bd8aSPaolo Bonzini     *slot = fn;
9919f64bd8aSPaolo Bonzini }
9929f64bd8aSPaolo Bonzini 
9939f64bd8aSPaolo Bonzini target_ulong spapr_hypercall(PowerPCCPU *cpu, target_ulong opcode,
9949f64bd8aSPaolo Bonzini                              target_ulong *args)
9959f64bd8aSPaolo Bonzini {
99628e02042SDavid Gibson     sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine());
99728e02042SDavid Gibson 
9989f64bd8aSPaolo Bonzini     if ((opcode <= MAX_HCALL_OPCODE)
9999f64bd8aSPaolo Bonzini         && ((opcode & 0x3) == 0)) {
10009f64bd8aSPaolo Bonzini         spapr_hcall_fn fn = papr_hypercall_table[opcode / 4];
10019f64bd8aSPaolo Bonzini 
10029f64bd8aSPaolo Bonzini         if (fn) {
10039f64bd8aSPaolo Bonzini             return fn(cpu, spapr, opcode, args);
10049f64bd8aSPaolo Bonzini         }
10059f64bd8aSPaolo Bonzini     } else if ((opcode >= KVMPPC_HCALL_BASE) &&
10069f64bd8aSPaolo Bonzini                (opcode <= KVMPPC_HCALL_MAX)) {
10079f64bd8aSPaolo Bonzini         spapr_hcall_fn fn = kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE];
10089f64bd8aSPaolo Bonzini 
10099f64bd8aSPaolo Bonzini         if (fn) {
10109f64bd8aSPaolo Bonzini             return fn(cpu, spapr, opcode, args);
10119f64bd8aSPaolo Bonzini         }
10129f64bd8aSPaolo Bonzini     }
10139f64bd8aSPaolo Bonzini 
1014aaf87c66SThomas Huth     qemu_log_mask(LOG_UNIMP, "Unimplemented SPAPR hcall 0x" TARGET_FMT_lx "\n",
1015aaf87c66SThomas Huth                   opcode);
10169f64bd8aSPaolo Bonzini     return H_FUNCTION;
10179f64bd8aSPaolo Bonzini }
10189f64bd8aSPaolo Bonzini 
10199f64bd8aSPaolo Bonzini static void hypercall_register_types(void)
10209f64bd8aSPaolo Bonzini {
10219f64bd8aSPaolo Bonzini     /* hcall-pft */
10229f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_ENTER, h_enter);
10239f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_REMOVE, h_remove);
10249f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_PROTECT, h_protect);
1025fa388916SAnthony Liguori     spapr_register_hypercall(H_READ, h_read);
10269f64bd8aSPaolo Bonzini 
10279f64bd8aSPaolo Bonzini     /* hcall-bulk */
10289f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_BULK_REMOVE, h_bulk_remove);
10299f64bd8aSPaolo Bonzini 
10309f64bd8aSPaolo Bonzini     /* hcall-dabr */
10319f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_SET_DABR, h_set_dabr);
10329f64bd8aSPaolo Bonzini 
10339f64bd8aSPaolo Bonzini     /* hcall-splpar */
10349f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_REGISTER_VPA, h_register_vpa);
10359f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_CEDE, h_cede);
10369f64bd8aSPaolo Bonzini 
10379f64bd8aSPaolo Bonzini     /* "debugger" hcalls (also used by SLOF). Note: We do -not- differenciate
10389f64bd8aSPaolo Bonzini      * here between the "CI" and the "CACHE" variants, they will use whatever
10399f64bd8aSPaolo Bonzini      * mapping attributes qemu is using. When using KVM, the kernel will
10409f64bd8aSPaolo Bonzini      * enforce the attributes more strongly
10419f64bd8aSPaolo Bonzini      */
10429f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CI_LOAD, h_logical_load);
10439f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CI_STORE, h_logical_store);
10449f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CACHE_LOAD, h_logical_load);
10459f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_CACHE_STORE, h_logical_store);
10469f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_ICBI, h_logical_icbi);
10479f64bd8aSPaolo Bonzini     spapr_register_hypercall(H_LOGICAL_DCBF, h_logical_dcbf);
10489f64bd8aSPaolo Bonzini     spapr_register_hypercall(KVMPPC_H_LOGICAL_MEMOP, h_logical_memop);
10499f64bd8aSPaolo Bonzini 
10509f64bd8aSPaolo Bonzini     /* qemu/KVM-PPC specific hcalls */
10519f64bd8aSPaolo Bonzini     spapr_register_hypercall(KVMPPC_H_RTAS, h_rtas);
105242561bf2SAnton Blanchard 
105342561bf2SAnton Blanchard     spapr_register_hypercall(H_SET_MODE, h_set_mode);
10542a6593cbSAlexey Kardashevskiy 
10552a6593cbSAlexey Kardashevskiy     /* ibm,client-architecture-support support */
10562a6593cbSAlexey Kardashevskiy     spapr_register_hypercall(KVMPPC_H_CAS, h_client_architecture_support);
10579f64bd8aSPaolo Bonzini }
10589f64bd8aSPaolo Bonzini 
10599f64bd8aSPaolo Bonzini type_init(hypercall_register_types)
1060