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" 14facdb8b6SMichael Roth #include "hw/ppc/spapr_ovec.h" 159f64bd8aSPaolo Bonzini 16a46622fdSAlexey Kardashevskiy struct SPRSyncState { 17a46622fdSAlexey Kardashevskiy int spr; 18a46622fdSAlexey Kardashevskiy target_ulong value; 19a46622fdSAlexey Kardashevskiy target_ulong mask; 20a46622fdSAlexey Kardashevskiy }; 21a46622fdSAlexey Kardashevskiy 22e0eeb4a2SAlex Bennée static void do_spr_sync(CPUState *cs, void *arg) 23a46622fdSAlexey Kardashevskiy { 24a46622fdSAlexey Kardashevskiy struct SPRSyncState *s = arg; 25e0eeb4a2SAlex Bennée PowerPCCPU *cpu = POWERPC_CPU(cs); 26a46622fdSAlexey Kardashevskiy CPUPPCState *env = &cpu->env; 27a46622fdSAlexey Kardashevskiy 28e0eeb4a2SAlex Bennée cpu_synchronize_state(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 .spr = spr, 38a46622fdSAlexey Kardashevskiy .value = value, 39a46622fdSAlexey Kardashevskiy .mask = mask 40a46622fdSAlexey Kardashevskiy }; 41a46622fdSAlexey Kardashevskiy run_on_cpu(cs, do_spr_sync, &s); 42a46622fdSAlexey Kardashevskiy } 43a46622fdSAlexey Kardashevskiy 44af08a58fSThomas Huth static bool has_spr(PowerPCCPU *cpu, int spr) 45af08a58fSThomas Huth { 46af08a58fSThomas Huth /* We can test whether the SPR is defined by checking for a valid name */ 47af08a58fSThomas Huth return cpu->env.spr_cb[spr].name != NULL; 48af08a58fSThomas Huth } 49af08a58fSThomas Huth 50f3c75d42SAneesh Kumar K.V static inline bool valid_pte_index(CPUPPCState *env, target_ulong pte_index) 51f3c75d42SAneesh Kumar K.V { 52f3c75d42SAneesh Kumar K.V /* 53f3c75d42SAneesh Kumar K.V * hash value/pteg group index is normalized by htab_mask 54f3c75d42SAneesh Kumar K.V */ 55f3c75d42SAneesh Kumar K.V if (((pte_index & ~7ULL) / HPTES_PER_GROUP) & ~env->htab_mask) { 56f3c75d42SAneesh Kumar K.V return false; 57f3c75d42SAneesh Kumar K.V } 58f3c75d42SAneesh Kumar K.V return true; 59f3c75d42SAneesh Kumar K.V } 60f3c75d42SAneesh Kumar K.V 61ecbc25faSDavid Gibson static bool is_ram_address(sPAPRMachineState *spapr, hwaddr addr) 62ecbc25faSDavid Gibson { 63ecbc25faSDavid Gibson MachineState *machine = MACHINE(spapr); 64ecbc25faSDavid Gibson MemoryHotplugState *hpms = &spapr->hotplug_memory; 65ecbc25faSDavid Gibson 66ecbc25faSDavid Gibson if (addr < machine->ram_size) { 67ecbc25faSDavid Gibson return true; 68ecbc25faSDavid Gibson } 69ecbc25faSDavid Gibson if ((addr >= hpms->base) 70ecbc25faSDavid Gibson && ((addr - hpms->base) < memory_region_size(&hpms->mr))) { 71ecbc25faSDavid Gibson return true; 72ecbc25faSDavid Gibson } 73ecbc25faSDavid Gibson 74ecbc25faSDavid Gibson return false; 75ecbc25faSDavid Gibson } 76ecbc25faSDavid Gibson 7728e02042SDavid Gibson static target_ulong h_enter(PowerPCCPU *cpu, sPAPRMachineState *spapr, 789f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 799f64bd8aSPaolo Bonzini { 809f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 819f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 829f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 839f64bd8aSPaolo Bonzini target_ulong pteh = args[2]; 849f64bd8aSPaolo Bonzini target_ulong ptel = args[3]; 851f0252e6SCédric Le Goater unsigned apshift; 869f64bd8aSPaolo Bonzini target_ulong raddr; 877c43bca0SAneesh Kumar K.V target_ulong index; 887c43bca0SAneesh Kumar K.V uint64_t token; 899f64bd8aSPaolo Bonzini 901f0252e6SCédric Le Goater apshift = ppc_hash64_hpte_page_shift_noslb(cpu, pteh, ptel); 911114e712SDavid Gibson if (!apshift) { 921114e712SDavid Gibson /* Bad page size encoding */ 939f64bd8aSPaolo Bonzini return H_PARAMETER; 949f64bd8aSPaolo Bonzini } 959f64bd8aSPaolo Bonzini 961114e712SDavid Gibson raddr = (ptel & HPTE64_R_RPN) & ~((1ULL << apshift) - 1); 979f64bd8aSPaolo Bonzini 98ecbc25faSDavid Gibson if (is_ram_address(spapr, raddr)) { 999f64bd8aSPaolo Bonzini /* Regular RAM - should have WIMG=0010 */ 100d5aea6f3SDavid Gibson if ((ptel & HPTE64_R_WIMG) != HPTE64_R_M) { 1019f64bd8aSPaolo Bonzini return H_PARAMETER; 1029f64bd8aSPaolo Bonzini } 1039f64bd8aSPaolo Bonzini } else { 104c1175907SAneesh Kumar K.V target_ulong wimg_flags; 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? */ 109c1175907SAneesh Kumar K.V wimg_flags = (ptel & (HPTE64_R_W | HPTE64_R_I | HPTE64_R_M)); 110c1175907SAneesh Kumar K.V 111c1175907SAneesh Kumar K.V if (wimg_flags != HPTE64_R_I && 112c1175907SAneesh Kumar K.V wimg_flags != (HPTE64_R_I | HPTE64_R_M)) { 1139f64bd8aSPaolo Bonzini return H_PARAMETER; 1149f64bd8aSPaolo Bonzini } 1159f64bd8aSPaolo Bonzini } 1169f64bd8aSPaolo Bonzini 1179f64bd8aSPaolo Bonzini pteh &= ~0x60ULL; 1189f64bd8aSPaolo Bonzini 119f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 1209f64bd8aSPaolo Bonzini return H_PARAMETER; 1219f64bd8aSPaolo Bonzini } 1227c43bca0SAneesh Kumar K.V 1237c43bca0SAneesh Kumar K.V index = 0; 1249f64bd8aSPaolo Bonzini if (likely((flags & H_EXACT) == 0)) { 1259f64bd8aSPaolo Bonzini pte_index &= ~7ULL; 1267c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 1277aaf4957SAneesh Kumar K.V for (; index < 8; index++) { 1287ef23068SDavid Gibson if (!(ppc_hash64_load_hpte0(cpu, token, index) & HPTE64_V_VALID)) { 1299f64bd8aSPaolo Bonzini break; 1309f64bd8aSPaolo Bonzini } 1317aaf4957SAneesh Kumar K.V } 132c18ad9a5SDavid Gibson ppc_hash64_stop_access(cpu, token); 1337aaf4957SAneesh Kumar K.V if (index == 8) { 1347aaf4957SAneesh Kumar K.V return H_PTEG_FULL; 1357aaf4957SAneesh Kumar K.V } 1369f64bd8aSPaolo Bonzini } else { 1377c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 1387ef23068SDavid Gibson if (ppc_hash64_load_hpte0(cpu, token, 0) & HPTE64_V_VALID) { 139c18ad9a5SDavid Gibson ppc_hash64_stop_access(cpu, token); 1409f64bd8aSPaolo Bonzini return H_PTEG_FULL; 1419f64bd8aSPaolo Bonzini } 142c18ad9a5SDavid Gibson ppc_hash64_stop_access(cpu, token); 1439f64bd8aSPaolo Bonzini } 1447c43bca0SAneesh Kumar K.V 1457ef23068SDavid Gibson ppc_hash64_store_hpte(cpu, pte_index + index, 1463f94170bSAneesh Kumar K.V pteh | HPTE64_V_HPTE_DIRTY, ptel); 1479f64bd8aSPaolo Bonzini 1487c43bca0SAneesh Kumar K.V args[0] = pte_index + index; 1499f64bd8aSPaolo Bonzini return H_SUCCESS; 1509f64bd8aSPaolo Bonzini } 1519f64bd8aSPaolo Bonzini 152a3801402SStefan Weil typedef enum { 1539f64bd8aSPaolo Bonzini REMOVE_SUCCESS = 0, 1549f64bd8aSPaolo Bonzini REMOVE_NOT_FOUND = 1, 1559f64bd8aSPaolo Bonzini REMOVE_PARM = 2, 1569f64bd8aSPaolo Bonzini REMOVE_HW = 3, 157a3801402SStefan Weil } RemoveResult; 1589f64bd8aSPaolo Bonzini 1597ef23068SDavid Gibson static RemoveResult remove_hpte(PowerPCCPU *cpu, target_ulong ptex, 1609f64bd8aSPaolo Bonzini target_ulong avpn, 1619f64bd8aSPaolo Bonzini target_ulong flags, 1629f64bd8aSPaolo Bonzini target_ulong *vp, target_ulong *rp) 1639f64bd8aSPaolo Bonzini { 1647ef23068SDavid Gibson CPUPPCState *env = &cpu->env; 1657c43bca0SAneesh Kumar K.V uint64_t token; 16661a36c9bSDavid Gibson target_ulong v, r; 1679f64bd8aSPaolo Bonzini 168f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, ptex)) { 1699f64bd8aSPaolo Bonzini return REMOVE_PARM; 1709f64bd8aSPaolo Bonzini } 1719f64bd8aSPaolo Bonzini 1727ef23068SDavid Gibson token = ppc_hash64_start_access(cpu, ptex); 1737ef23068SDavid Gibson v = ppc_hash64_load_hpte0(cpu, token, 0); 1747ef23068SDavid Gibson r = ppc_hash64_load_hpte1(cpu, token, 0); 175c18ad9a5SDavid Gibson ppc_hash64_stop_access(cpu, token); 1769f64bd8aSPaolo Bonzini 177d5aea6f3SDavid Gibson if ((v & HPTE64_V_VALID) == 0 || 1789f64bd8aSPaolo Bonzini ((flags & H_AVPN) && (v & ~0x7fULL) != avpn) || 1799f64bd8aSPaolo Bonzini ((flags & H_ANDCOND) && (v & avpn) != 0)) { 1809f64bd8aSPaolo Bonzini return REMOVE_NOT_FOUND; 1819f64bd8aSPaolo Bonzini } 1829f64bd8aSPaolo Bonzini *vp = v; 1839f64bd8aSPaolo Bonzini *rp = r; 1847ef23068SDavid Gibson ppc_hash64_store_hpte(cpu, ptex, HPTE64_V_HPTE_DIRTY, 0); 18561a36c9bSDavid Gibson ppc_hash64_tlb_flush_hpte(cpu, ptex, v, r); 1869f64bd8aSPaolo Bonzini return REMOVE_SUCCESS; 1879f64bd8aSPaolo Bonzini } 1889f64bd8aSPaolo Bonzini 18928e02042SDavid Gibson static target_ulong h_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr, 1909f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 1919f64bd8aSPaolo Bonzini { 192cd0c6f47SBenjamin Herrenschmidt CPUPPCState *env = &cpu->env; 1939f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 1949f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 1959f64bd8aSPaolo Bonzini target_ulong avpn = args[2]; 196a3801402SStefan Weil RemoveResult ret; 1979f64bd8aSPaolo Bonzini 1987ef23068SDavid Gibson ret = remove_hpte(cpu, pte_index, avpn, flags, 1999f64bd8aSPaolo Bonzini &args[0], &args[1]); 2009f64bd8aSPaolo Bonzini 2019f64bd8aSPaolo Bonzini switch (ret) { 2029f64bd8aSPaolo Bonzini case REMOVE_SUCCESS: 203e3cffe6fSNikunj A Dadhania check_tlb_flush(env, true); 2049f64bd8aSPaolo Bonzini return H_SUCCESS; 2059f64bd8aSPaolo Bonzini 2069f64bd8aSPaolo Bonzini case REMOVE_NOT_FOUND: 2079f64bd8aSPaolo Bonzini return H_NOT_FOUND; 2089f64bd8aSPaolo Bonzini 2099f64bd8aSPaolo Bonzini case REMOVE_PARM: 2109f64bd8aSPaolo Bonzini return H_PARAMETER; 2119f64bd8aSPaolo Bonzini 2129f64bd8aSPaolo Bonzini case REMOVE_HW: 2139f64bd8aSPaolo Bonzini return H_HARDWARE; 2149f64bd8aSPaolo Bonzini } 2159f64bd8aSPaolo Bonzini 2169a39970dSStefan Weil g_assert_not_reached(); 2179f64bd8aSPaolo Bonzini } 2189f64bd8aSPaolo Bonzini 2199f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_TYPE 0xc000000000000000ULL 2209f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_REQUEST 0x4000000000000000ULL 2219f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RESPONSE 0x8000000000000000ULL 2229f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_END 0xc000000000000000ULL 2239f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_CODE 0x3000000000000000ULL 2249f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_SUCCESS 0x0000000000000000ULL 2259f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_NOT_FOUND 0x1000000000000000ULL 2269f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PARM 0x2000000000000000ULL 2279f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_HW 0x3000000000000000ULL 2289f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RC 0x0c00000000000000ULL 2299f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_FLAGS 0x0300000000000000ULL 2309f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_ABSOLUTE 0x0000000000000000ULL 2319f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_ANDCOND 0x0100000000000000ULL 2329f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_AVPN 0x0200000000000000ULL 2339f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PTEX 0x00ffffffffffffffULL 2349f64bd8aSPaolo Bonzini 2359f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_MAX_BATCH 4 2369f64bd8aSPaolo Bonzini 23728e02042SDavid Gibson static target_ulong h_bulk_remove(PowerPCCPU *cpu, sPAPRMachineState *spapr, 2389f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 2399f64bd8aSPaolo Bonzini { 240cd0c6f47SBenjamin Herrenschmidt CPUPPCState *env = &cpu->env; 2419f64bd8aSPaolo Bonzini int i; 242cd0c6f47SBenjamin Herrenschmidt target_ulong rc = H_SUCCESS; 2439f64bd8aSPaolo Bonzini 2449f64bd8aSPaolo Bonzini for (i = 0; i < H_BULK_REMOVE_MAX_BATCH; i++) { 2459f64bd8aSPaolo Bonzini target_ulong *tsh = &args[i*2]; 2469f64bd8aSPaolo Bonzini target_ulong tsl = args[i*2 + 1]; 2479f64bd8aSPaolo Bonzini target_ulong v, r, ret; 2489f64bd8aSPaolo Bonzini 2499f64bd8aSPaolo Bonzini if ((*tsh & H_BULK_REMOVE_TYPE) == H_BULK_REMOVE_END) { 2509f64bd8aSPaolo Bonzini break; 2519f64bd8aSPaolo Bonzini } else if ((*tsh & H_BULK_REMOVE_TYPE) != H_BULK_REMOVE_REQUEST) { 2529f64bd8aSPaolo Bonzini return H_PARAMETER; 2539f64bd8aSPaolo Bonzini } 2549f64bd8aSPaolo Bonzini 2559f64bd8aSPaolo Bonzini *tsh &= H_BULK_REMOVE_PTEX | H_BULK_REMOVE_FLAGS; 2569f64bd8aSPaolo Bonzini *tsh |= H_BULK_REMOVE_RESPONSE; 2579f64bd8aSPaolo Bonzini 2589f64bd8aSPaolo Bonzini if ((*tsh & H_BULK_REMOVE_ANDCOND) && (*tsh & H_BULK_REMOVE_AVPN)) { 2599f64bd8aSPaolo Bonzini *tsh |= H_BULK_REMOVE_PARM; 2609f64bd8aSPaolo Bonzini return H_PARAMETER; 2619f64bd8aSPaolo Bonzini } 2629f64bd8aSPaolo Bonzini 2637ef23068SDavid Gibson ret = remove_hpte(cpu, *tsh & H_BULK_REMOVE_PTEX, tsl, 2649f64bd8aSPaolo Bonzini (*tsh & H_BULK_REMOVE_FLAGS) >> 26, 2659f64bd8aSPaolo Bonzini &v, &r); 2669f64bd8aSPaolo Bonzini 2679f64bd8aSPaolo Bonzini *tsh |= ret << 60; 2689f64bd8aSPaolo Bonzini 2699f64bd8aSPaolo Bonzini switch (ret) { 2709f64bd8aSPaolo Bonzini case REMOVE_SUCCESS: 271d5aea6f3SDavid Gibson *tsh |= (r & (HPTE64_R_C | HPTE64_R_R)) << 43; 2729f64bd8aSPaolo Bonzini break; 2739f64bd8aSPaolo Bonzini 2749f64bd8aSPaolo Bonzini case REMOVE_PARM: 275cd0c6f47SBenjamin Herrenschmidt rc = H_PARAMETER; 276cd0c6f47SBenjamin Herrenschmidt goto exit; 2779f64bd8aSPaolo Bonzini 2789f64bd8aSPaolo Bonzini case REMOVE_HW: 279cd0c6f47SBenjamin Herrenschmidt rc = H_HARDWARE; 280cd0c6f47SBenjamin Herrenschmidt goto exit; 2819f64bd8aSPaolo Bonzini } 2829f64bd8aSPaolo Bonzini } 283cd0c6f47SBenjamin Herrenschmidt exit: 284e3cffe6fSNikunj A Dadhania check_tlb_flush(env, true); 2859f64bd8aSPaolo Bonzini 286cd0c6f47SBenjamin Herrenschmidt return rc; 2879f64bd8aSPaolo Bonzini } 2889f64bd8aSPaolo Bonzini 28928e02042SDavid Gibson static target_ulong h_protect(PowerPCCPU *cpu, sPAPRMachineState *spapr, 2909f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 2919f64bd8aSPaolo Bonzini { 2929f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 2939f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 2949f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 2959f64bd8aSPaolo Bonzini target_ulong avpn = args[2]; 2967c43bca0SAneesh Kumar K.V uint64_t token; 29761a36c9bSDavid Gibson target_ulong v, r; 2989f64bd8aSPaolo Bonzini 299f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 3009f64bd8aSPaolo Bonzini return H_PARAMETER; 3019f64bd8aSPaolo Bonzini } 3029f64bd8aSPaolo Bonzini 3037c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 3047ef23068SDavid Gibson v = ppc_hash64_load_hpte0(cpu, token, 0); 3057ef23068SDavid Gibson r = ppc_hash64_load_hpte1(cpu, token, 0); 306c18ad9a5SDavid Gibson ppc_hash64_stop_access(cpu, token); 3079f64bd8aSPaolo Bonzini 308d5aea6f3SDavid Gibson if ((v & HPTE64_V_VALID) == 0 || 3099f64bd8aSPaolo Bonzini ((flags & H_AVPN) && (v & ~0x7fULL) != avpn)) { 3109f64bd8aSPaolo Bonzini return H_NOT_FOUND; 3119f64bd8aSPaolo Bonzini } 3129f64bd8aSPaolo Bonzini 313d5aea6f3SDavid Gibson r &= ~(HPTE64_R_PP0 | HPTE64_R_PP | HPTE64_R_N | 314d5aea6f3SDavid Gibson HPTE64_R_KEY_HI | HPTE64_R_KEY_LO); 315d5aea6f3SDavid Gibson r |= (flags << 55) & HPTE64_R_PP0; 316d5aea6f3SDavid Gibson r |= (flags << 48) & HPTE64_R_KEY_HI; 317d5aea6f3SDavid Gibson r |= flags & (HPTE64_R_PP | HPTE64_R_N | HPTE64_R_KEY_LO); 3187ef23068SDavid Gibson ppc_hash64_store_hpte(cpu, pte_index, 3193f94170bSAneesh Kumar K.V (v & ~HPTE64_V_VALID) | HPTE64_V_HPTE_DIRTY, 0); 32061a36c9bSDavid Gibson ppc_hash64_tlb_flush_hpte(cpu, pte_index, v, r); 321d76ab5e1SNikunj A Dadhania /* Flush the tlb */ 322d76ab5e1SNikunj A Dadhania check_tlb_flush(env, true); 3239f64bd8aSPaolo Bonzini /* Don't need a memory barrier, due to qemu's global lock */ 3247ef23068SDavid Gibson ppc_hash64_store_hpte(cpu, pte_index, v | HPTE64_V_HPTE_DIRTY, r); 3259f64bd8aSPaolo Bonzini return H_SUCCESS; 3269f64bd8aSPaolo Bonzini } 3279f64bd8aSPaolo Bonzini 32828e02042SDavid Gibson static target_ulong h_read(PowerPCCPU *cpu, sPAPRMachineState *spapr, 329fa388916SAnthony Liguori target_ulong opcode, target_ulong *args) 330fa388916SAnthony Liguori { 331fa388916SAnthony Liguori CPUPPCState *env = &cpu->env; 332fa388916SAnthony Liguori target_ulong flags = args[0]; 333fa388916SAnthony Liguori target_ulong pte_index = args[1]; 334fa388916SAnthony Liguori uint8_t *hpte; 335fa388916SAnthony Liguori int i, ridx, n_entries = 1; 336fa388916SAnthony Liguori 337f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 338fa388916SAnthony Liguori return H_PARAMETER; 339fa388916SAnthony Liguori } 340fa388916SAnthony Liguori 341fa388916SAnthony Liguori if (flags & H_READ_4) { 342fa388916SAnthony Liguori /* Clear the two low order bits */ 343fa388916SAnthony Liguori pte_index &= ~(3ULL); 344fa388916SAnthony Liguori n_entries = 4; 345fa388916SAnthony Liguori } 346fa388916SAnthony Liguori 347fa388916SAnthony Liguori hpte = env->external_htab + (pte_index * HASH_PTE_SIZE_64); 348fa388916SAnthony Liguori 349fa388916SAnthony Liguori for (i = 0, ridx = 0; i < n_entries; i++) { 350fa388916SAnthony Liguori args[ridx++] = ldq_p(hpte); 351fa388916SAnthony Liguori args[ridx++] = ldq_p(hpte + (HASH_PTE_SIZE_64/2)); 352fa388916SAnthony Liguori hpte += HASH_PTE_SIZE_64; 353fa388916SAnthony Liguori } 354fa388916SAnthony Liguori 355fa388916SAnthony Liguori return H_SUCCESS; 356fa388916SAnthony Liguori } 357fa388916SAnthony Liguori 358423576f7SThomas Huth static target_ulong h_set_sprg0(PowerPCCPU *cpu, sPAPRMachineState *spapr, 359423576f7SThomas Huth target_ulong opcode, target_ulong *args) 360423576f7SThomas Huth { 361423576f7SThomas Huth cpu_synchronize_state(CPU(cpu)); 362423576f7SThomas Huth cpu->env.spr[SPR_SPRG0] = args[0]; 363423576f7SThomas Huth 364423576f7SThomas Huth return H_SUCCESS; 365423576f7SThomas Huth } 366423576f7SThomas Huth 36728e02042SDavid Gibson static target_ulong h_set_dabr(PowerPCCPU *cpu, sPAPRMachineState *spapr, 3689f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 3699f64bd8aSPaolo Bonzini { 370af08a58fSThomas Huth if (!has_spr(cpu, SPR_DABR)) { 371af08a58fSThomas Huth return H_HARDWARE; /* DABR register not available */ 372af08a58fSThomas Huth } 373af08a58fSThomas Huth cpu_synchronize_state(CPU(cpu)); 374af08a58fSThomas Huth 375af08a58fSThomas Huth if (has_spr(cpu, SPR_DABRX)) { 376af08a58fSThomas Huth cpu->env.spr[SPR_DABRX] = 0x3; /* Use Problem and Privileged state */ 377af08a58fSThomas Huth } else if (!(args[0] & 0x4)) { /* Breakpoint Translation set? */ 378af08a58fSThomas Huth return H_RESERVED_DABR; 379af08a58fSThomas Huth } 380af08a58fSThomas Huth 381af08a58fSThomas Huth cpu->env.spr[SPR_DABR] = args[0]; 382af08a58fSThomas Huth return H_SUCCESS; 3839f64bd8aSPaolo Bonzini } 3849f64bd8aSPaolo Bonzini 385e49ff266SThomas Huth static target_ulong h_set_xdabr(PowerPCCPU *cpu, sPAPRMachineState *spapr, 386e49ff266SThomas Huth target_ulong opcode, target_ulong *args) 387e49ff266SThomas Huth { 388e49ff266SThomas Huth target_ulong dabrx = args[1]; 389e49ff266SThomas Huth 390e49ff266SThomas Huth if (!has_spr(cpu, SPR_DABR) || !has_spr(cpu, SPR_DABRX)) { 391e49ff266SThomas Huth return H_HARDWARE; 392e49ff266SThomas Huth } 393e49ff266SThomas Huth 394e49ff266SThomas Huth if ((dabrx & ~0xfULL) != 0 || (dabrx & H_DABRX_HYPERVISOR) != 0 395e49ff266SThomas Huth || (dabrx & (H_DABRX_KERNEL | H_DABRX_USER)) == 0) { 396e49ff266SThomas Huth return H_PARAMETER; 397e49ff266SThomas Huth } 398e49ff266SThomas Huth 399e49ff266SThomas Huth cpu_synchronize_state(CPU(cpu)); 400e49ff266SThomas Huth cpu->env.spr[SPR_DABRX] = dabrx; 401e49ff266SThomas Huth cpu->env.spr[SPR_DABR] = args[0]; 402e49ff266SThomas Huth 403e49ff266SThomas Huth return H_SUCCESS; 404e49ff266SThomas Huth } 405e49ff266SThomas Huth 4063240dd9aSThomas Huth static target_ulong h_page_init(PowerPCCPU *cpu, sPAPRMachineState *spapr, 4073240dd9aSThomas Huth target_ulong opcode, target_ulong *args) 4083240dd9aSThomas Huth { 4093240dd9aSThomas Huth target_ulong flags = args[0]; 4103240dd9aSThomas Huth hwaddr dst = args[1]; 4113240dd9aSThomas Huth hwaddr src = args[2]; 4123240dd9aSThomas Huth hwaddr len = TARGET_PAGE_SIZE; 4133240dd9aSThomas Huth uint8_t *pdst, *psrc; 4143240dd9aSThomas Huth target_long ret = H_SUCCESS; 4153240dd9aSThomas Huth 4163240dd9aSThomas Huth if (flags & ~(H_ICACHE_SYNCHRONIZE | H_ICACHE_INVALIDATE 4173240dd9aSThomas Huth | H_COPY_PAGE | H_ZERO_PAGE)) { 4183240dd9aSThomas Huth qemu_log_mask(LOG_UNIMP, "h_page_init: Bad flags (" TARGET_FMT_lx "\n", 4193240dd9aSThomas Huth flags); 4203240dd9aSThomas Huth return H_PARAMETER; 4213240dd9aSThomas Huth } 4223240dd9aSThomas Huth 4233240dd9aSThomas Huth /* Map-in destination */ 4243240dd9aSThomas Huth if (!is_ram_address(spapr, dst) || (dst & ~TARGET_PAGE_MASK) != 0) { 4253240dd9aSThomas Huth return H_PARAMETER; 4263240dd9aSThomas Huth } 4273240dd9aSThomas Huth pdst = cpu_physical_memory_map(dst, &len, 1); 4283240dd9aSThomas Huth if (!pdst || len != TARGET_PAGE_SIZE) { 4293240dd9aSThomas Huth return H_PARAMETER; 4303240dd9aSThomas Huth } 4313240dd9aSThomas Huth 4323240dd9aSThomas Huth if (flags & H_COPY_PAGE) { 4333240dd9aSThomas Huth /* Map-in source, copy to destination, and unmap source again */ 4343240dd9aSThomas Huth if (!is_ram_address(spapr, src) || (src & ~TARGET_PAGE_MASK) != 0) { 4353240dd9aSThomas Huth ret = H_PARAMETER; 4363240dd9aSThomas Huth goto unmap_out; 4373240dd9aSThomas Huth } 4383240dd9aSThomas Huth psrc = cpu_physical_memory_map(src, &len, 0); 4393240dd9aSThomas Huth if (!psrc || len != TARGET_PAGE_SIZE) { 4403240dd9aSThomas Huth ret = H_PARAMETER; 4413240dd9aSThomas Huth goto unmap_out; 4423240dd9aSThomas Huth } 4433240dd9aSThomas Huth memcpy(pdst, psrc, len); 4443240dd9aSThomas Huth cpu_physical_memory_unmap(psrc, len, 0, len); 4453240dd9aSThomas Huth } else if (flags & H_ZERO_PAGE) { 4463240dd9aSThomas Huth memset(pdst, 0, len); /* Just clear the destination page */ 4473240dd9aSThomas Huth } 4483240dd9aSThomas Huth 4493240dd9aSThomas Huth if (kvm_enabled() && (flags & H_ICACHE_SYNCHRONIZE) != 0) { 4503240dd9aSThomas Huth kvmppc_dcbst_range(cpu, pdst, len); 4513240dd9aSThomas Huth } 4523240dd9aSThomas Huth if (flags & (H_ICACHE_SYNCHRONIZE | H_ICACHE_INVALIDATE)) { 4533240dd9aSThomas Huth if (kvm_enabled()) { 4543240dd9aSThomas Huth kvmppc_icbi_range(cpu, pdst, len); 4553240dd9aSThomas Huth } else { 4563240dd9aSThomas Huth tb_flush(CPU(cpu)); 4573240dd9aSThomas Huth } 4583240dd9aSThomas Huth } 4593240dd9aSThomas Huth 4603240dd9aSThomas Huth unmap_out: 4613240dd9aSThomas Huth cpu_physical_memory_unmap(pdst, TARGET_PAGE_SIZE, 1, len); 4623240dd9aSThomas Huth return ret; 4633240dd9aSThomas Huth } 4643240dd9aSThomas Huth 4659f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_VPA 0x0000200000000000ULL 4669f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_DTL 0x0000400000000000ULL 4679f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_SLBSHADOW 0x0000600000000000ULL 4689f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_VPA 0x0000a00000000000ULL 4699f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_DTL 0x0000c00000000000ULL 4709f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_SLBSHADOW 0x0000e00000000000ULL 4719f64bd8aSPaolo Bonzini 4729f64bd8aSPaolo Bonzini #define VPA_MIN_SIZE 640 4739f64bd8aSPaolo Bonzini #define VPA_SIZE_OFFSET 0x4 4749f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_OFFSET 0x9 4759f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_VAL 0x2 4769f64bd8aSPaolo Bonzini 4779f64bd8aSPaolo Bonzini static target_ulong register_vpa(CPUPPCState *env, target_ulong vpa) 4789f64bd8aSPaolo Bonzini { 47933276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 4809f64bd8aSPaolo Bonzini uint16_t size; 4819f64bd8aSPaolo Bonzini uint8_t tmp; 4829f64bd8aSPaolo Bonzini 4839f64bd8aSPaolo Bonzini if (vpa == 0) { 4849f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with registering a VPA at logical 0\n"); 4859f64bd8aSPaolo Bonzini return H_HARDWARE; 4869f64bd8aSPaolo Bonzini } 4879f64bd8aSPaolo Bonzini 4889f64bd8aSPaolo Bonzini if (vpa % env->dcache_line_size) { 4899f64bd8aSPaolo Bonzini return H_PARAMETER; 4909f64bd8aSPaolo Bonzini } 4919f64bd8aSPaolo Bonzini /* FIXME: bounds check the address */ 4929f64bd8aSPaolo Bonzini 49341701aa4SEdgar E. Iglesias size = lduw_be_phys(cs->as, vpa + 0x4); 4949f64bd8aSPaolo Bonzini 4959f64bd8aSPaolo Bonzini if (size < VPA_MIN_SIZE) { 4969f64bd8aSPaolo Bonzini return H_PARAMETER; 4979f64bd8aSPaolo Bonzini } 4989f64bd8aSPaolo Bonzini 4999f64bd8aSPaolo Bonzini /* VPA is not allowed to cross a page boundary */ 5009f64bd8aSPaolo Bonzini if ((vpa / 4096) != ((vpa + size - 1) / 4096)) { 5019f64bd8aSPaolo Bonzini return H_PARAMETER; 5029f64bd8aSPaolo Bonzini } 5039f64bd8aSPaolo Bonzini 5049f64bd8aSPaolo Bonzini env->vpa_addr = vpa; 5059f64bd8aSPaolo Bonzini 5062c17449bSEdgar E. Iglesias tmp = ldub_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET); 5079f64bd8aSPaolo Bonzini tmp |= VPA_SHARED_PROC_VAL; 508db3be60dSEdgar E. Iglesias stb_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET, tmp); 5099f64bd8aSPaolo Bonzini 5109f64bd8aSPaolo Bonzini return H_SUCCESS; 5119f64bd8aSPaolo Bonzini } 5129f64bd8aSPaolo Bonzini 5139f64bd8aSPaolo Bonzini static target_ulong deregister_vpa(CPUPPCState *env, target_ulong vpa) 5149f64bd8aSPaolo Bonzini { 5159f64bd8aSPaolo Bonzini if (env->slb_shadow_addr) { 5169f64bd8aSPaolo Bonzini return H_RESOURCE; 5179f64bd8aSPaolo Bonzini } 5189f64bd8aSPaolo Bonzini 5199f64bd8aSPaolo Bonzini if (env->dtl_addr) { 5209f64bd8aSPaolo Bonzini return H_RESOURCE; 5219f64bd8aSPaolo Bonzini } 5229f64bd8aSPaolo Bonzini 5239f64bd8aSPaolo Bonzini env->vpa_addr = 0; 5249f64bd8aSPaolo Bonzini return H_SUCCESS; 5259f64bd8aSPaolo Bonzini } 5269f64bd8aSPaolo Bonzini 5279f64bd8aSPaolo Bonzini static target_ulong register_slb_shadow(CPUPPCState *env, target_ulong addr) 5289f64bd8aSPaolo Bonzini { 52933276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 5309f64bd8aSPaolo Bonzini uint32_t size; 5319f64bd8aSPaolo Bonzini 5329f64bd8aSPaolo Bonzini if (addr == 0) { 5339f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with SLB shadow at logical 0\n"); 5349f64bd8aSPaolo Bonzini return H_HARDWARE; 5359f64bd8aSPaolo Bonzini } 5369f64bd8aSPaolo Bonzini 537fdfba1a2SEdgar E. Iglesias size = ldl_be_phys(cs->as, addr + 0x4); 5389f64bd8aSPaolo Bonzini if (size < 0x8) { 5399f64bd8aSPaolo Bonzini return H_PARAMETER; 5409f64bd8aSPaolo Bonzini } 5419f64bd8aSPaolo Bonzini 5429f64bd8aSPaolo Bonzini if ((addr / 4096) != ((addr + size - 1) / 4096)) { 5439f64bd8aSPaolo Bonzini return H_PARAMETER; 5449f64bd8aSPaolo Bonzini } 5459f64bd8aSPaolo Bonzini 5469f64bd8aSPaolo Bonzini if (!env->vpa_addr) { 5479f64bd8aSPaolo Bonzini return H_RESOURCE; 5489f64bd8aSPaolo Bonzini } 5499f64bd8aSPaolo Bonzini 5509f64bd8aSPaolo Bonzini env->slb_shadow_addr = addr; 5519f64bd8aSPaolo Bonzini env->slb_shadow_size = size; 5529f64bd8aSPaolo Bonzini 5539f64bd8aSPaolo Bonzini return H_SUCCESS; 5549f64bd8aSPaolo Bonzini } 5559f64bd8aSPaolo Bonzini 5569f64bd8aSPaolo Bonzini static target_ulong deregister_slb_shadow(CPUPPCState *env, target_ulong addr) 5579f64bd8aSPaolo Bonzini { 5589f64bd8aSPaolo Bonzini env->slb_shadow_addr = 0; 5599f64bd8aSPaolo Bonzini env->slb_shadow_size = 0; 5609f64bd8aSPaolo Bonzini return H_SUCCESS; 5619f64bd8aSPaolo Bonzini } 5629f64bd8aSPaolo Bonzini 5639f64bd8aSPaolo Bonzini static target_ulong register_dtl(CPUPPCState *env, target_ulong addr) 5649f64bd8aSPaolo Bonzini { 56533276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 5669f64bd8aSPaolo Bonzini uint32_t size; 5679f64bd8aSPaolo Bonzini 5689f64bd8aSPaolo Bonzini if (addr == 0) { 5699f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with DTL at logical 0\n"); 5709f64bd8aSPaolo Bonzini return H_HARDWARE; 5719f64bd8aSPaolo Bonzini } 5729f64bd8aSPaolo Bonzini 573fdfba1a2SEdgar E. Iglesias size = ldl_be_phys(cs->as, addr + 0x4); 5749f64bd8aSPaolo Bonzini 5759f64bd8aSPaolo Bonzini if (size < 48) { 5769f64bd8aSPaolo Bonzini return H_PARAMETER; 5779f64bd8aSPaolo Bonzini } 5789f64bd8aSPaolo Bonzini 5799f64bd8aSPaolo Bonzini if (!env->vpa_addr) { 5809f64bd8aSPaolo Bonzini return H_RESOURCE; 5819f64bd8aSPaolo Bonzini } 5829f64bd8aSPaolo Bonzini 5839f64bd8aSPaolo Bonzini env->dtl_addr = addr; 5849f64bd8aSPaolo Bonzini env->dtl_size = size; 5859f64bd8aSPaolo Bonzini 5869f64bd8aSPaolo Bonzini return H_SUCCESS; 5879f64bd8aSPaolo Bonzini } 5889f64bd8aSPaolo Bonzini 5899f64bd8aSPaolo Bonzini static target_ulong deregister_dtl(CPUPPCState *env, target_ulong addr) 5909f64bd8aSPaolo Bonzini { 5919f64bd8aSPaolo Bonzini env->dtl_addr = 0; 5929f64bd8aSPaolo Bonzini env->dtl_size = 0; 5939f64bd8aSPaolo Bonzini 5949f64bd8aSPaolo Bonzini return H_SUCCESS; 5959f64bd8aSPaolo Bonzini } 5969f64bd8aSPaolo Bonzini 59728e02042SDavid Gibson static target_ulong h_register_vpa(PowerPCCPU *cpu, sPAPRMachineState *spapr, 5989f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 5999f64bd8aSPaolo Bonzini { 6009f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 6019f64bd8aSPaolo Bonzini target_ulong procno = args[1]; 6029f64bd8aSPaolo Bonzini target_ulong vpa = args[2]; 6039f64bd8aSPaolo Bonzini target_ulong ret = H_PARAMETER; 6049f64bd8aSPaolo Bonzini CPUPPCState *tenv; 6050f20ba62SAlexey Kardashevskiy PowerPCCPU *tcpu; 6069f64bd8aSPaolo Bonzini 6070f20ba62SAlexey Kardashevskiy tcpu = ppc_get_vcpu_by_dt_id(procno); 6089f64bd8aSPaolo Bonzini if (!tcpu) { 6099f64bd8aSPaolo Bonzini return H_PARAMETER; 6109f64bd8aSPaolo Bonzini } 6110f20ba62SAlexey Kardashevskiy tenv = &tcpu->env; 6129f64bd8aSPaolo Bonzini 6139f64bd8aSPaolo Bonzini switch (flags) { 6149f64bd8aSPaolo Bonzini case FLAGS_REGISTER_VPA: 6159f64bd8aSPaolo Bonzini ret = register_vpa(tenv, vpa); 6169f64bd8aSPaolo Bonzini break; 6179f64bd8aSPaolo Bonzini 6189f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_VPA: 6199f64bd8aSPaolo Bonzini ret = deregister_vpa(tenv, vpa); 6209f64bd8aSPaolo Bonzini break; 6219f64bd8aSPaolo Bonzini 6229f64bd8aSPaolo Bonzini case FLAGS_REGISTER_SLBSHADOW: 6239f64bd8aSPaolo Bonzini ret = register_slb_shadow(tenv, vpa); 6249f64bd8aSPaolo Bonzini break; 6259f64bd8aSPaolo Bonzini 6269f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_SLBSHADOW: 6279f64bd8aSPaolo Bonzini ret = deregister_slb_shadow(tenv, vpa); 6289f64bd8aSPaolo Bonzini break; 6299f64bd8aSPaolo Bonzini 6309f64bd8aSPaolo Bonzini case FLAGS_REGISTER_DTL: 6319f64bd8aSPaolo Bonzini ret = register_dtl(tenv, vpa); 6329f64bd8aSPaolo Bonzini break; 6339f64bd8aSPaolo Bonzini 6349f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_DTL: 6359f64bd8aSPaolo Bonzini ret = deregister_dtl(tenv, vpa); 6369f64bd8aSPaolo Bonzini break; 6379f64bd8aSPaolo Bonzini } 6389f64bd8aSPaolo Bonzini 6399f64bd8aSPaolo Bonzini return ret; 6409f64bd8aSPaolo Bonzini } 6419f64bd8aSPaolo Bonzini 64228e02042SDavid Gibson static target_ulong h_cede(PowerPCCPU *cpu, sPAPRMachineState *spapr, 6439f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6449f64bd8aSPaolo Bonzini { 6459f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 6469f64bd8aSPaolo Bonzini CPUState *cs = CPU(cpu); 6479f64bd8aSPaolo Bonzini 6489f64bd8aSPaolo Bonzini env->msr |= (1ULL << MSR_EE); 6499f64bd8aSPaolo Bonzini hreg_compute_hflags(env); 6509f64bd8aSPaolo Bonzini if (!cpu_has_work(cs)) { 651259186a7SAndreas Färber cs->halted = 1; 65227103424SAndreas Färber cs->exception_index = EXCP_HLT; 6539f64bd8aSPaolo Bonzini cs->exit_request = 1; 6549f64bd8aSPaolo Bonzini } 6559f64bd8aSPaolo Bonzini return H_SUCCESS; 6569f64bd8aSPaolo Bonzini } 6579f64bd8aSPaolo Bonzini 65828e02042SDavid Gibson static target_ulong h_rtas(PowerPCCPU *cpu, sPAPRMachineState *spapr, 6599f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6609f64bd8aSPaolo Bonzini { 6619f64bd8aSPaolo Bonzini target_ulong rtas_r3 = args[0]; 6624fe822e0SAlexey Kardashevskiy uint32_t token = rtas_ld(rtas_r3, 0); 6634fe822e0SAlexey Kardashevskiy uint32_t nargs = rtas_ld(rtas_r3, 1); 6644fe822e0SAlexey Kardashevskiy uint32_t nret = rtas_ld(rtas_r3, 2); 6659f64bd8aSPaolo Bonzini 666210b580bSAnthony Liguori return spapr_rtas_call(cpu, spapr, token, nargs, rtas_r3 + 12, 6679f64bd8aSPaolo Bonzini nret, rtas_r3 + 12 + 4*nargs); 6689f64bd8aSPaolo Bonzini } 6699f64bd8aSPaolo Bonzini 67028e02042SDavid Gibson static target_ulong h_logical_load(PowerPCCPU *cpu, sPAPRMachineState *spapr, 6719f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6729f64bd8aSPaolo Bonzini { 673fdfba1a2SEdgar E. Iglesias CPUState *cs = CPU(cpu); 6749f64bd8aSPaolo Bonzini target_ulong size = args[0]; 6759f64bd8aSPaolo Bonzini target_ulong addr = args[1]; 6769f64bd8aSPaolo Bonzini 6779f64bd8aSPaolo Bonzini switch (size) { 6789f64bd8aSPaolo Bonzini case 1: 6792c17449bSEdgar E. Iglesias args[0] = ldub_phys(cs->as, addr); 6809f64bd8aSPaolo Bonzini return H_SUCCESS; 6819f64bd8aSPaolo Bonzini case 2: 68241701aa4SEdgar E. Iglesias args[0] = lduw_phys(cs->as, addr); 6839f64bd8aSPaolo Bonzini return H_SUCCESS; 6849f64bd8aSPaolo Bonzini case 4: 685fdfba1a2SEdgar E. Iglesias args[0] = ldl_phys(cs->as, addr); 6869f64bd8aSPaolo Bonzini return H_SUCCESS; 6879f64bd8aSPaolo Bonzini case 8: 6882c17449bSEdgar E. Iglesias args[0] = ldq_phys(cs->as, addr); 6899f64bd8aSPaolo Bonzini return H_SUCCESS; 6909f64bd8aSPaolo Bonzini } 6919f64bd8aSPaolo Bonzini return H_PARAMETER; 6929f64bd8aSPaolo Bonzini } 6939f64bd8aSPaolo Bonzini 69428e02042SDavid Gibson static target_ulong h_logical_store(PowerPCCPU *cpu, sPAPRMachineState *spapr, 6959f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6969f64bd8aSPaolo Bonzini { 697f606604fSEdgar E. Iglesias CPUState *cs = CPU(cpu); 698f606604fSEdgar E. Iglesias 6999f64bd8aSPaolo Bonzini target_ulong size = args[0]; 7009f64bd8aSPaolo Bonzini target_ulong addr = args[1]; 7019f64bd8aSPaolo Bonzini target_ulong val = args[2]; 7029f64bd8aSPaolo Bonzini 7039f64bd8aSPaolo Bonzini switch (size) { 7049f64bd8aSPaolo Bonzini case 1: 705db3be60dSEdgar E. Iglesias stb_phys(cs->as, addr, val); 7069f64bd8aSPaolo Bonzini return H_SUCCESS; 7079f64bd8aSPaolo Bonzini case 2: 7085ce5944dSEdgar E. Iglesias stw_phys(cs->as, addr, val); 7099f64bd8aSPaolo Bonzini return H_SUCCESS; 7109f64bd8aSPaolo Bonzini case 4: 711ab1da857SEdgar E. Iglesias stl_phys(cs->as, addr, val); 7129f64bd8aSPaolo Bonzini return H_SUCCESS; 7139f64bd8aSPaolo Bonzini case 8: 714f606604fSEdgar E. Iglesias stq_phys(cs->as, addr, val); 7159f64bd8aSPaolo Bonzini return H_SUCCESS; 7169f64bd8aSPaolo Bonzini } 7179f64bd8aSPaolo Bonzini return H_PARAMETER; 7189f64bd8aSPaolo Bonzini } 7199f64bd8aSPaolo Bonzini 72028e02042SDavid Gibson static target_ulong h_logical_memop(PowerPCCPU *cpu, sPAPRMachineState *spapr, 7219f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 7229f64bd8aSPaolo Bonzini { 723fdfba1a2SEdgar E. Iglesias CPUState *cs = CPU(cpu); 724fdfba1a2SEdgar E. Iglesias 7259f64bd8aSPaolo Bonzini target_ulong dst = args[0]; /* Destination address */ 7269f64bd8aSPaolo Bonzini target_ulong src = args[1]; /* Source address */ 7279f64bd8aSPaolo Bonzini target_ulong esize = args[2]; /* Element size (0=1,1=2,2=4,3=8) */ 7289f64bd8aSPaolo Bonzini target_ulong count = args[3]; /* Element count */ 7299f64bd8aSPaolo Bonzini target_ulong op = args[4]; /* 0 = copy, 1 = invert */ 7309f64bd8aSPaolo Bonzini uint64_t tmp; 7319f64bd8aSPaolo Bonzini unsigned int mask = (1 << esize) - 1; 7329f64bd8aSPaolo Bonzini int step = 1 << esize; 7339f64bd8aSPaolo Bonzini 7349f64bd8aSPaolo Bonzini if (count > 0x80000000) { 7359f64bd8aSPaolo Bonzini return H_PARAMETER; 7369f64bd8aSPaolo Bonzini } 7379f64bd8aSPaolo Bonzini 7389f64bd8aSPaolo Bonzini if ((dst & mask) || (src & mask) || (op > 1)) { 7399f64bd8aSPaolo Bonzini return H_PARAMETER; 7409f64bd8aSPaolo Bonzini } 7419f64bd8aSPaolo Bonzini 7429f64bd8aSPaolo Bonzini if (dst >= src && dst < (src + (count << esize))) { 7439f64bd8aSPaolo Bonzini dst = dst + ((count - 1) << esize); 7449f64bd8aSPaolo Bonzini src = src + ((count - 1) << esize); 7459f64bd8aSPaolo Bonzini step = -step; 7469f64bd8aSPaolo Bonzini } 7479f64bd8aSPaolo Bonzini 7489f64bd8aSPaolo Bonzini while (count--) { 7499f64bd8aSPaolo Bonzini switch (esize) { 7509f64bd8aSPaolo Bonzini case 0: 7512c17449bSEdgar E. Iglesias tmp = ldub_phys(cs->as, src); 7529f64bd8aSPaolo Bonzini break; 7539f64bd8aSPaolo Bonzini case 1: 75441701aa4SEdgar E. Iglesias tmp = lduw_phys(cs->as, src); 7559f64bd8aSPaolo Bonzini break; 7569f64bd8aSPaolo Bonzini case 2: 757fdfba1a2SEdgar E. Iglesias tmp = ldl_phys(cs->as, src); 7589f64bd8aSPaolo Bonzini break; 7599f64bd8aSPaolo Bonzini case 3: 7602c17449bSEdgar E. Iglesias tmp = ldq_phys(cs->as, src); 7619f64bd8aSPaolo Bonzini break; 7629f64bd8aSPaolo Bonzini default: 7639f64bd8aSPaolo Bonzini return H_PARAMETER; 7649f64bd8aSPaolo Bonzini } 7659f64bd8aSPaolo Bonzini if (op == 1) { 7669f64bd8aSPaolo Bonzini tmp = ~tmp; 7679f64bd8aSPaolo Bonzini } 7689f64bd8aSPaolo Bonzini switch (esize) { 7699f64bd8aSPaolo Bonzini case 0: 770db3be60dSEdgar E. Iglesias stb_phys(cs->as, dst, tmp); 7719f64bd8aSPaolo Bonzini break; 7729f64bd8aSPaolo Bonzini case 1: 7735ce5944dSEdgar E. Iglesias stw_phys(cs->as, dst, tmp); 7749f64bd8aSPaolo Bonzini break; 7759f64bd8aSPaolo Bonzini case 2: 776ab1da857SEdgar E. Iglesias stl_phys(cs->as, dst, tmp); 7779f64bd8aSPaolo Bonzini break; 7789f64bd8aSPaolo Bonzini case 3: 779f606604fSEdgar E. Iglesias stq_phys(cs->as, dst, tmp); 7809f64bd8aSPaolo Bonzini break; 7819f64bd8aSPaolo Bonzini } 7829f64bd8aSPaolo Bonzini dst = dst + step; 7839f64bd8aSPaolo Bonzini src = src + step; 7849f64bd8aSPaolo Bonzini } 7859f64bd8aSPaolo Bonzini 7869f64bd8aSPaolo Bonzini return H_SUCCESS; 7879f64bd8aSPaolo Bonzini } 7889f64bd8aSPaolo Bonzini 78928e02042SDavid Gibson static target_ulong h_logical_icbi(PowerPCCPU *cpu, sPAPRMachineState *spapr, 7909f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 7919f64bd8aSPaolo Bonzini { 7929f64bd8aSPaolo Bonzini /* Nothing to do on emulation, KVM will trap this in the kernel */ 7939f64bd8aSPaolo Bonzini return H_SUCCESS; 7949f64bd8aSPaolo Bonzini } 7959f64bd8aSPaolo Bonzini 79628e02042SDavid Gibson static target_ulong h_logical_dcbf(PowerPCCPU *cpu, sPAPRMachineState *spapr, 7979f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 7989f64bd8aSPaolo Bonzini { 7999f64bd8aSPaolo Bonzini /* Nothing to do on emulation, KVM will trap this in the kernel */ 8009f64bd8aSPaolo Bonzini return H_SUCCESS; 8019f64bd8aSPaolo Bonzini } 8029f64bd8aSPaolo Bonzini 8037d0cd464SPeter Maydell static target_ulong h_set_mode_resource_le(PowerPCCPU *cpu, 804c4015bbdSAlexey Kardashevskiy target_ulong mflags, 805c4015bbdSAlexey Kardashevskiy target_ulong value1, 806c4015bbdSAlexey Kardashevskiy target_ulong value2) 80742561bf2SAnton Blanchard { 80842561bf2SAnton Blanchard CPUState *cs; 80942561bf2SAnton Blanchard 81042561bf2SAnton Blanchard if (value1) { 811c4015bbdSAlexey Kardashevskiy return H_P3; 81242561bf2SAnton Blanchard } 81342561bf2SAnton Blanchard if (value2) { 814c4015bbdSAlexey Kardashevskiy return H_P4; 81542561bf2SAnton Blanchard } 816c4015bbdSAlexey Kardashevskiy 81742561bf2SAnton Blanchard switch (mflags) { 81842561bf2SAnton Blanchard case H_SET_MODE_ENDIAN_BIG: 819bdc44640SAndreas Färber CPU_FOREACH(cs) { 820a46622fdSAlexey Kardashevskiy set_spr(cs, SPR_LPCR, 0, LPCR_ILE); 82142561bf2SAnton Blanchard } 822eefaccc0SDavid Gibson spapr_pci_switch_vga(true); 823c4015bbdSAlexey Kardashevskiy return H_SUCCESS; 82442561bf2SAnton Blanchard 82542561bf2SAnton Blanchard case H_SET_MODE_ENDIAN_LITTLE: 826bdc44640SAndreas Färber CPU_FOREACH(cs) { 827a46622fdSAlexey Kardashevskiy set_spr(cs, SPR_LPCR, LPCR_ILE, LPCR_ILE); 82842561bf2SAnton Blanchard } 829eefaccc0SDavid Gibson spapr_pci_switch_vga(false); 830c4015bbdSAlexey Kardashevskiy return H_SUCCESS; 831c4015bbdSAlexey Kardashevskiy } 832c4015bbdSAlexey Kardashevskiy 833c4015bbdSAlexey Kardashevskiy return H_UNSUPPORTED_FLAG; 834c4015bbdSAlexey Kardashevskiy } 835c4015bbdSAlexey Kardashevskiy 8367d0cd464SPeter Maydell static target_ulong h_set_mode_resource_addr_trans_mode(PowerPCCPU *cpu, 837d5ac4f54SAlexey Kardashevskiy target_ulong mflags, 838d5ac4f54SAlexey Kardashevskiy target_ulong value1, 839d5ac4f54SAlexey Kardashevskiy target_ulong value2) 840d5ac4f54SAlexey Kardashevskiy { 841d5ac4f54SAlexey Kardashevskiy CPUState *cs; 842d5ac4f54SAlexey Kardashevskiy PowerPCCPUClass *pcc = POWERPC_CPU_GET_CLASS(cpu); 843d5ac4f54SAlexey Kardashevskiy 844d5ac4f54SAlexey Kardashevskiy if (!(pcc->insns_flags2 & PPC2_ISA207S)) { 845d5ac4f54SAlexey Kardashevskiy return H_P2; 846d5ac4f54SAlexey Kardashevskiy } 847d5ac4f54SAlexey Kardashevskiy if (value1) { 848d5ac4f54SAlexey Kardashevskiy return H_P3; 849d5ac4f54SAlexey Kardashevskiy } 850d5ac4f54SAlexey Kardashevskiy if (value2) { 851d5ac4f54SAlexey Kardashevskiy return H_P4; 852d5ac4f54SAlexey Kardashevskiy } 853d5ac4f54SAlexey Kardashevskiy 8545c94b2a5SCédric Le Goater if (mflags == AIL_RESERVED) { 855d5ac4f54SAlexey Kardashevskiy return H_UNSUPPORTED_FLAG; 856d5ac4f54SAlexey Kardashevskiy } 857d5ac4f54SAlexey Kardashevskiy 858d5ac4f54SAlexey Kardashevskiy CPU_FOREACH(cs) { 859d5ac4f54SAlexey Kardashevskiy set_spr(cs, SPR_LPCR, mflags << LPCR_AIL_SHIFT, LPCR_AIL); 860d5ac4f54SAlexey Kardashevskiy } 861d5ac4f54SAlexey Kardashevskiy 862d5ac4f54SAlexey Kardashevskiy return H_SUCCESS; 863d5ac4f54SAlexey Kardashevskiy } 864d5ac4f54SAlexey Kardashevskiy 86528e02042SDavid Gibson static target_ulong h_set_mode(PowerPCCPU *cpu, sPAPRMachineState *spapr, 866c4015bbdSAlexey Kardashevskiy target_ulong opcode, target_ulong *args) 867c4015bbdSAlexey Kardashevskiy { 868c4015bbdSAlexey Kardashevskiy target_ulong resource = args[1]; 869c4015bbdSAlexey Kardashevskiy target_ulong ret = H_P2; 870c4015bbdSAlexey Kardashevskiy 871c4015bbdSAlexey Kardashevskiy switch (resource) { 872c4015bbdSAlexey Kardashevskiy case H_SET_MODE_RESOURCE_LE: 8737d0cd464SPeter Maydell ret = h_set_mode_resource_le(cpu, args[0], args[2], args[3]); 87442561bf2SAnton Blanchard break; 875d5ac4f54SAlexey Kardashevskiy case H_SET_MODE_RESOURCE_ADDR_TRANS_MODE: 8767d0cd464SPeter Maydell ret = h_set_mode_resource_addr_trans_mode(cpu, args[0], 877d5ac4f54SAlexey Kardashevskiy args[2], args[3]); 878d5ac4f54SAlexey Kardashevskiy break; 87942561bf2SAnton Blanchard } 88042561bf2SAnton Blanchard 88142561bf2SAnton Blanchard return ret; 88242561bf2SAnton Blanchard } 88342561bf2SAnton Blanchard 8843794d548SAlexey Kardashevskiy typedef struct { 8853794d548SAlexey Kardashevskiy uint32_t cpu_version; 886f9ab1e87SDavid Gibson Error *err; 8873794d548SAlexey Kardashevskiy } SetCompatState; 8883794d548SAlexey Kardashevskiy 889e0eeb4a2SAlex Bennée static void do_set_compat(CPUState *cs, void *arg) 8903794d548SAlexey Kardashevskiy { 891e0eeb4a2SAlex Bennée PowerPCCPU *cpu = POWERPC_CPU(cs); 8923794d548SAlexey Kardashevskiy SetCompatState *s = arg; 8933794d548SAlexey Kardashevskiy 894e0eeb4a2SAlex Bennée cpu_synchronize_state(cs); 895e0eeb4a2SAlex Bennée ppc_set_compat(cpu, s->cpu_version, &s->err); 8963794d548SAlexey Kardashevskiy } 8973794d548SAlexey Kardashevskiy 8983794d548SAlexey Kardashevskiy #define get_compat_level(cpuver) ( \ 8993794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_05) ? 2050 : \ 9003794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_06) ? 2060 : \ 9013794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_06_PLUS) ? 2061 : \ 9023794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_07) ? 2070 : 0) 9033794d548SAlexey Kardashevskiy 9047386ae63SThomas Huth static void cas_handle_compat_cpu(PowerPCCPUClass *pcc, uint32_t pvr, 9057386ae63SThomas Huth unsigned max_lvl, unsigned *compat_lvl, 9067386ae63SThomas Huth unsigned *cpu_version) 9077386ae63SThomas Huth { 9087386ae63SThomas Huth unsigned lvl = get_compat_level(pvr); 909b30ff227SThomas Huth bool is205, is206, is207; 9107386ae63SThomas Huth 9117386ae63SThomas Huth if (!lvl) { 9127386ae63SThomas Huth return; 9137386ae63SThomas Huth } 9147386ae63SThomas Huth 9157386ae63SThomas Huth /* If it is a logical PVR, try to determine the highest level */ 9168cd2ce7aSThomas Huth is205 = (pcc->pcr_supported & PCR_COMPAT_2_05) && 9177386ae63SThomas Huth (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_05)); 9188cd2ce7aSThomas Huth is206 = (pcc->pcr_supported & PCR_COMPAT_2_06) && 9197386ae63SThomas Huth ((lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06)) || 9207386ae63SThomas Huth (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06_PLUS))); 921b30ff227SThomas Huth is207 = (pcc->pcr_supported & PCR_COMPAT_2_07) && 922b30ff227SThomas Huth (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_07)); 9237386ae63SThomas Huth 924b30ff227SThomas Huth if (is205 || is206 || is207) { 9257386ae63SThomas Huth if (!max_lvl) { 9267386ae63SThomas Huth /* User did not set the level, choose the highest */ 9277386ae63SThomas Huth if (*compat_lvl <= lvl) { 9287386ae63SThomas Huth *compat_lvl = lvl; 9297386ae63SThomas Huth *cpu_version = pvr; 9307386ae63SThomas Huth } 9317386ae63SThomas Huth } else if (max_lvl >= lvl) { 9327386ae63SThomas Huth /* User chose the level, don't set higher than this */ 9337386ae63SThomas Huth *compat_lvl = lvl; 9347386ae63SThomas Huth *cpu_version = pvr; 9357386ae63SThomas Huth } 9367386ae63SThomas Huth } 9377386ae63SThomas Huth } 9387386ae63SThomas Huth 9392a6593cbSAlexey Kardashevskiy static target_ulong h_client_architecture_support(PowerPCCPU *cpu_, 94028e02042SDavid Gibson sPAPRMachineState *spapr, 9412a6593cbSAlexey Kardashevskiy target_ulong opcode, 9422a6593cbSAlexey Kardashevskiy target_ulong *args) 9432a6593cbSAlexey Kardashevskiy { 94427ac3e06SDavid Gibson target_ulong list = ppc64_phys_to_real(args[0]); 945facdb8b6SMichael Roth target_ulong ov_table; 9467386ae63SThomas Huth PowerPCCPUClass *pcc = POWERPC_CPU_GET_CLASS(cpu_); 9473794d548SAlexey Kardashevskiy CPUState *cs; 948facdb8b6SMichael Roth bool cpu_match = false, cpu_update = true; 9493794d548SAlexey Kardashevskiy unsigned old_cpu_version = cpu_->cpu_version; 9503794d548SAlexey Kardashevskiy unsigned compat_lvl = 0, cpu_version = 0; 9513794d548SAlexey Kardashevskiy unsigned max_lvl = get_compat_level(cpu_->max_compat); 9523794d548SAlexey Kardashevskiy int counter; 953*6787d27bSMichael Roth sPAPROptionVector *ov5_guest, *ov5_cas_old, *ov5_updates; 9543794d548SAlexey Kardashevskiy 9553794d548SAlexey Kardashevskiy /* Parse PVR list */ 9563794d548SAlexey Kardashevskiy for (counter = 0; counter < 512; ++counter) { 9573794d548SAlexey Kardashevskiy uint32_t pvr, pvr_mask; 9583794d548SAlexey Kardashevskiy 95927ac3e06SDavid Gibson pvr_mask = ldl_be_phys(&address_space_memory, list); 9603794d548SAlexey Kardashevskiy list += 4; 96127ac3e06SDavid Gibson pvr = ldl_be_phys(&address_space_memory, list); 9623794d548SAlexey Kardashevskiy list += 4; 9633794d548SAlexey Kardashevskiy 9643794d548SAlexey Kardashevskiy trace_spapr_cas_pvr_try(pvr); 9653794d548SAlexey Kardashevskiy if (!max_lvl && 9663794d548SAlexey Kardashevskiy ((cpu_->env.spr[SPR_PVR] & pvr_mask) == (pvr & pvr_mask))) { 9673794d548SAlexey Kardashevskiy cpu_match = true; 9683794d548SAlexey Kardashevskiy cpu_version = 0; 9693794d548SAlexey Kardashevskiy } else if (pvr == cpu_->cpu_version) { 9703794d548SAlexey Kardashevskiy cpu_match = true; 9713794d548SAlexey Kardashevskiy cpu_version = cpu_->cpu_version; 9723794d548SAlexey Kardashevskiy } else if (!cpu_match) { 9737386ae63SThomas Huth cas_handle_compat_cpu(pcc, pvr, max_lvl, &compat_lvl, &cpu_version); 9743794d548SAlexey Kardashevskiy } 9753794d548SAlexey Kardashevskiy /* Terminator record */ 9763794d548SAlexey Kardashevskiy if (~pvr_mask & pvr) { 9773794d548SAlexey Kardashevskiy break; 9783794d548SAlexey Kardashevskiy } 9793794d548SAlexey Kardashevskiy } 9803794d548SAlexey Kardashevskiy 9813794d548SAlexey Kardashevskiy /* Parsing finished */ 9823794d548SAlexey Kardashevskiy trace_spapr_cas_pvr(cpu_->cpu_version, cpu_match, 9837386ae63SThomas Huth cpu_version, pcc->pcr_mask); 9843794d548SAlexey Kardashevskiy 9853794d548SAlexey Kardashevskiy /* Update CPUs */ 9863794d548SAlexey Kardashevskiy if (old_cpu_version != cpu_version) { 9873794d548SAlexey Kardashevskiy CPU_FOREACH(cs) { 9883794d548SAlexey Kardashevskiy SetCompatState s = { 9893794d548SAlexey Kardashevskiy .cpu_version = cpu_version, 990f9ab1e87SDavid Gibson .err = NULL, 9913794d548SAlexey Kardashevskiy }; 9923794d548SAlexey Kardashevskiy 9933794d548SAlexey Kardashevskiy run_on_cpu(cs, do_set_compat, &s); 9943794d548SAlexey Kardashevskiy 995f9ab1e87SDavid Gibson if (s.err) { 996f9ab1e87SDavid Gibson error_report_err(s.err); 9973794d548SAlexey Kardashevskiy return H_HARDWARE; 9983794d548SAlexey Kardashevskiy } 9993794d548SAlexey Kardashevskiy } 10003794d548SAlexey Kardashevskiy } 10013794d548SAlexey Kardashevskiy 10023794d548SAlexey Kardashevskiy if (!cpu_version) { 100303d196b7SBharata B Rao cpu_update = false; 10043794d548SAlexey Kardashevskiy } 10052a6593cbSAlexey Kardashevskiy 100603d196b7SBharata B Rao /* For the future use: here @ov_table points to the first option vector */ 100703d196b7SBharata B Rao ov_table = list; 100803d196b7SBharata B Rao 1009facdb8b6SMichael Roth ov5_guest = spapr_ovec_parse_vector(ov_table, 5); 10102a6593cbSAlexey Kardashevskiy 1011facdb8b6SMichael Roth /* NOTE: there are actually a number of ov5 bits where input from the 1012facdb8b6SMichael Roth * guest is always zero, and the platform/QEMU enables them independently 1013facdb8b6SMichael Roth * of guest input. To model these properly we'd want some sort of mask, 1014facdb8b6SMichael Roth * but since they only currently apply to memory migration as defined 1015facdb8b6SMichael Roth * by LoPAPR 1.1, 14.5.4.8, which QEMU doesn't implement, we don't need 1016*6787d27bSMichael Roth * to worry about this for now. 1017facdb8b6SMichael Roth */ 1018*6787d27bSMichael Roth ov5_cas_old = spapr_ovec_clone(spapr->ov5_cas); 1019*6787d27bSMichael Roth /* full range of negotiated ov5 capabilities */ 1020facdb8b6SMichael Roth spapr_ovec_intersect(spapr->ov5_cas, spapr->ov5, ov5_guest); 1021facdb8b6SMichael Roth spapr_ovec_cleanup(ov5_guest); 1022*6787d27bSMichael Roth /* capabilities that have been added since CAS-generated guest reset. 1023*6787d27bSMichael Roth * if capabilities have since been removed, generate another reset 1024*6787d27bSMichael Roth */ 1025*6787d27bSMichael Roth ov5_updates = spapr_ovec_new(); 1026*6787d27bSMichael Roth spapr->cas_reboot = spapr_ovec_diff(ov5_updates, 1027*6787d27bSMichael Roth ov5_cas_old, spapr->ov5_cas); 102803d196b7SBharata B Rao 1029*6787d27bSMichael Roth if (!spapr->cas_reboot) { 1030*6787d27bSMichael Roth spapr->cas_reboot = 1031*6787d27bSMichael Roth (spapr_h_cas_compose_response(spapr, args[1], args[2], cpu_update, 1032*6787d27bSMichael Roth ov5_updates) != 0); 1033*6787d27bSMichael Roth } 1034*6787d27bSMichael Roth spapr_ovec_cleanup(ov5_updates); 1035*6787d27bSMichael Roth 1036*6787d27bSMichael Roth if (spapr->cas_reboot) { 10372a6593cbSAlexey Kardashevskiy qemu_system_reset_request(); 10382a6593cbSAlexey Kardashevskiy } 10392a6593cbSAlexey Kardashevskiy 10402a6593cbSAlexey Kardashevskiy return H_SUCCESS; 10412a6593cbSAlexey Kardashevskiy } 10422a6593cbSAlexey Kardashevskiy 10439f64bd8aSPaolo Bonzini static spapr_hcall_fn papr_hypercall_table[(MAX_HCALL_OPCODE / 4) + 1]; 10449f64bd8aSPaolo Bonzini static spapr_hcall_fn kvmppc_hypercall_table[KVMPPC_HCALL_MAX - KVMPPC_HCALL_BASE + 1]; 10459f64bd8aSPaolo Bonzini 10469f64bd8aSPaolo Bonzini void spapr_register_hypercall(target_ulong opcode, spapr_hcall_fn fn) 10479f64bd8aSPaolo Bonzini { 10489f64bd8aSPaolo Bonzini spapr_hcall_fn *slot; 10499f64bd8aSPaolo Bonzini 10509f64bd8aSPaolo Bonzini if (opcode <= MAX_HCALL_OPCODE) { 10519f64bd8aSPaolo Bonzini assert((opcode & 0x3) == 0); 10529f64bd8aSPaolo Bonzini 10539f64bd8aSPaolo Bonzini slot = &papr_hypercall_table[opcode / 4]; 10549f64bd8aSPaolo Bonzini } else { 10559f64bd8aSPaolo Bonzini assert((opcode >= KVMPPC_HCALL_BASE) && (opcode <= KVMPPC_HCALL_MAX)); 10569f64bd8aSPaolo Bonzini 10579f64bd8aSPaolo Bonzini slot = &kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE]; 10589f64bd8aSPaolo Bonzini } 10599f64bd8aSPaolo Bonzini 10609f64bd8aSPaolo Bonzini assert(!(*slot)); 10619f64bd8aSPaolo Bonzini *slot = fn; 10629f64bd8aSPaolo Bonzini } 10639f64bd8aSPaolo Bonzini 10649f64bd8aSPaolo Bonzini target_ulong spapr_hypercall(PowerPCCPU *cpu, target_ulong opcode, 10659f64bd8aSPaolo Bonzini target_ulong *args) 10669f64bd8aSPaolo Bonzini { 106728e02042SDavid Gibson sPAPRMachineState *spapr = SPAPR_MACHINE(qdev_get_machine()); 106828e02042SDavid Gibson 10699f64bd8aSPaolo Bonzini if ((opcode <= MAX_HCALL_OPCODE) 10709f64bd8aSPaolo Bonzini && ((opcode & 0x3) == 0)) { 10719f64bd8aSPaolo Bonzini spapr_hcall_fn fn = papr_hypercall_table[opcode / 4]; 10729f64bd8aSPaolo Bonzini 10739f64bd8aSPaolo Bonzini if (fn) { 10749f64bd8aSPaolo Bonzini return fn(cpu, spapr, opcode, args); 10759f64bd8aSPaolo Bonzini } 10769f64bd8aSPaolo Bonzini } else if ((opcode >= KVMPPC_HCALL_BASE) && 10779f64bd8aSPaolo Bonzini (opcode <= KVMPPC_HCALL_MAX)) { 10789f64bd8aSPaolo Bonzini spapr_hcall_fn fn = kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE]; 10799f64bd8aSPaolo Bonzini 10809f64bd8aSPaolo Bonzini if (fn) { 10819f64bd8aSPaolo Bonzini return fn(cpu, spapr, opcode, args); 10829f64bd8aSPaolo Bonzini } 10839f64bd8aSPaolo Bonzini } 10849f64bd8aSPaolo Bonzini 1085aaf87c66SThomas Huth qemu_log_mask(LOG_UNIMP, "Unimplemented SPAPR hcall 0x" TARGET_FMT_lx "\n", 1086aaf87c66SThomas Huth opcode); 10879f64bd8aSPaolo Bonzini return H_FUNCTION; 10889f64bd8aSPaolo Bonzini } 10899f64bd8aSPaolo Bonzini 10909f64bd8aSPaolo Bonzini static void hypercall_register_types(void) 10919f64bd8aSPaolo Bonzini { 10929f64bd8aSPaolo Bonzini /* hcall-pft */ 10939f64bd8aSPaolo Bonzini spapr_register_hypercall(H_ENTER, h_enter); 10949f64bd8aSPaolo Bonzini spapr_register_hypercall(H_REMOVE, h_remove); 10959f64bd8aSPaolo Bonzini spapr_register_hypercall(H_PROTECT, h_protect); 1096fa388916SAnthony Liguori spapr_register_hypercall(H_READ, h_read); 10979f64bd8aSPaolo Bonzini 10989f64bd8aSPaolo Bonzini /* hcall-bulk */ 10999f64bd8aSPaolo Bonzini spapr_register_hypercall(H_BULK_REMOVE, h_bulk_remove); 11009f64bd8aSPaolo Bonzini 11019f64bd8aSPaolo Bonzini /* hcall-splpar */ 11029f64bd8aSPaolo Bonzini spapr_register_hypercall(H_REGISTER_VPA, h_register_vpa); 11039f64bd8aSPaolo Bonzini spapr_register_hypercall(H_CEDE, h_cede); 11049f64bd8aSPaolo Bonzini 1105423576f7SThomas Huth /* processor register resource access h-calls */ 1106423576f7SThomas Huth spapr_register_hypercall(H_SET_SPRG0, h_set_sprg0); 1107af08a58fSThomas Huth spapr_register_hypercall(H_SET_DABR, h_set_dabr); 1108e49ff266SThomas Huth spapr_register_hypercall(H_SET_XDABR, h_set_xdabr); 11093240dd9aSThomas Huth spapr_register_hypercall(H_PAGE_INIT, h_page_init); 1110423576f7SThomas Huth spapr_register_hypercall(H_SET_MODE, h_set_mode); 1111423576f7SThomas Huth 11129f64bd8aSPaolo Bonzini /* "debugger" hcalls (also used by SLOF). Note: We do -not- differenciate 11139f64bd8aSPaolo Bonzini * here between the "CI" and the "CACHE" variants, they will use whatever 11149f64bd8aSPaolo Bonzini * mapping attributes qemu is using. When using KVM, the kernel will 11159f64bd8aSPaolo Bonzini * enforce the attributes more strongly 11169f64bd8aSPaolo Bonzini */ 11179f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CI_LOAD, h_logical_load); 11189f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CI_STORE, h_logical_store); 11199f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CACHE_LOAD, h_logical_load); 11209f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CACHE_STORE, h_logical_store); 11219f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_ICBI, h_logical_icbi); 11229f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_DCBF, h_logical_dcbf); 11239f64bd8aSPaolo Bonzini spapr_register_hypercall(KVMPPC_H_LOGICAL_MEMOP, h_logical_memop); 11249f64bd8aSPaolo Bonzini 11259f64bd8aSPaolo Bonzini /* qemu/KVM-PPC specific hcalls */ 11269f64bd8aSPaolo Bonzini spapr_register_hypercall(KVMPPC_H_RTAS, h_rtas); 112742561bf2SAnton Blanchard 11282a6593cbSAlexey Kardashevskiy /* ibm,client-architecture-support support */ 11292a6593cbSAlexey Kardashevskiy spapr_register_hypercall(KVMPPC_H_CAS, h_client_architecture_support); 11309f64bd8aSPaolo Bonzini } 11319f64bd8aSPaolo Bonzini 11329f64bd8aSPaolo Bonzini type_init(hypercall_register_types) 1133