19f64bd8aSPaolo Bonzini #include "sysemu/sysemu.h" 29f64bd8aSPaolo Bonzini #include "cpu.h" 39f64bd8aSPaolo Bonzini #include "helper_regs.h" 40d09e41aSPaolo Bonzini #include "hw/ppc/spapr.h" 5d5aea6f3SDavid Gibson #include "mmu-hash64.h" 6*3794d548SAlexey Kardashevskiy #include "cpu-models.h" 7*3794d548SAlexey Kardashevskiy #include "trace.h" 8*3794d548SAlexey Kardashevskiy #include "kvm_ppc.h" 99f64bd8aSPaolo Bonzini 10a46622fdSAlexey Kardashevskiy struct SPRSyncState { 11a46622fdSAlexey Kardashevskiy CPUState *cs; 12a46622fdSAlexey Kardashevskiy int spr; 13a46622fdSAlexey Kardashevskiy target_ulong value; 14a46622fdSAlexey Kardashevskiy target_ulong mask; 15a46622fdSAlexey Kardashevskiy }; 16a46622fdSAlexey Kardashevskiy 17a46622fdSAlexey Kardashevskiy static void do_spr_sync(void *arg) 18a46622fdSAlexey Kardashevskiy { 19a46622fdSAlexey Kardashevskiy struct SPRSyncState *s = arg; 20a46622fdSAlexey Kardashevskiy PowerPCCPU *cpu = POWERPC_CPU(s->cs); 21a46622fdSAlexey Kardashevskiy CPUPPCState *env = &cpu->env; 22a46622fdSAlexey Kardashevskiy 23a46622fdSAlexey Kardashevskiy cpu_synchronize_state(s->cs); 24a46622fdSAlexey Kardashevskiy env->spr[s->spr] &= ~s->mask; 25a46622fdSAlexey Kardashevskiy env->spr[s->spr] |= s->value; 26a46622fdSAlexey Kardashevskiy } 27a46622fdSAlexey Kardashevskiy 28a46622fdSAlexey Kardashevskiy static void set_spr(CPUState *cs, int spr, target_ulong value, 29a46622fdSAlexey Kardashevskiy target_ulong mask) 30a46622fdSAlexey Kardashevskiy { 31a46622fdSAlexey Kardashevskiy struct SPRSyncState s = { 32a46622fdSAlexey Kardashevskiy .cs = cs, 33a46622fdSAlexey Kardashevskiy .spr = spr, 34a46622fdSAlexey Kardashevskiy .value = value, 35a46622fdSAlexey Kardashevskiy .mask = mask 36a46622fdSAlexey Kardashevskiy }; 37a46622fdSAlexey Kardashevskiy run_on_cpu(cs, do_spr_sync, &s); 38a46622fdSAlexey Kardashevskiy } 39a46622fdSAlexey Kardashevskiy 409f64bd8aSPaolo Bonzini static target_ulong compute_tlbie_rb(target_ulong v, target_ulong r, 419f64bd8aSPaolo Bonzini target_ulong pte_index) 429f64bd8aSPaolo Bonzini { 439f64bd8aSPaolo Bonzini target_ulong rb, va_low; 449f64bd8aSPaolo Bonzini 459f64bd8aSPaolo Bonzini rb = (v & ~0x7fULL) << 16; /* AVA field */ 469f64bd8aSPaolo Bonzini va_low = pte_index >> 3; 47d5aea6f3SDavid Gibson if (v & HPTE64_V_SECONDARY) { 489f64bd8aSPaolo Bonzini va_low = ~va_low; 499f64bd8aSPaolo Bonzini } 509f64bd8aSPaolo Bonzini /* xor vsid from AVA */ 51d5aea6f3SDavid Gibson if (!(v & HPTE64_V_1TB_SEG)) { 529f64bd8aSPaolo Bonzini va_low ^= v >> 12; 539f64bd8aSPaolo Bonzini } else { 549f64bd8aSPaolo Bonzini va_low ^= v >> 24; 559f64bd8aSPaolo Bonzini } 569f64bd8aSPaolo Bonzini va_low &= 0x7ff; 57d5aea6f3SDavid Gibson if (v & HPTE64_V_LARGE) { 589f64bd8aSPaolo Bonzini rb |= 1; /* L field */ 599f64bd8aSPaolo Bonzini #if 0 /* Disable that P7 specific bit for now */ 609f64bd8aSPaolo Bonzini if (r & 0xff000) { 619f64bd8aSPaolo Bonzini /* non-16MB large page, must be 64k */ 629f64bd8aSPaolo Bonzini /* (masks depend on page size) */ 639f64bd8aSPaolo Bonzini rb |= 0x1000; /* page encoding in LP field */ 649f64bd8aSPaolo Bonzini rb |= (va_low & 0x7f) << 16; /* 7b of VA in AVA/LP field */ 659f64bd8aSPaolo Bonzini rb |= (va_low & 0xfe); /* AVAL field */ 669f64bd8aSPaolo Bonzini } 679f64bd8aSPaolo Bonzini #endif 689f64bd8aSPaolo Bonzini } else { 699f64bd8aSPaolo Bonzini /* 4kB page */ 709f64bd8aSPaolo Bonzini rb |= (va_low & 0x7ff) << 12; /* remaining 11b of AVA */ 719f64bd8aSPaolo Bonzini } 729f64bd8aSPaolo Bonzini rb |= (v >> 54) & 0x300; /* B field */ 739f64bd8aSPaolo Bonzini return rb; 749f64bd8aSPaolo Bonzini } 759f64bd8aSPaolo Bonzini 76f3c75d42SAneesh Kumar K.V static inline bool valid_pte_index(CPUPPCState *env, target_ulong pte_index) 77f3c75d42SAneesh Kumar K.V { 78f3c75d42SAneesh Kumar K.V /* 79f3c75d42SAneesh Kumar K.V * hash value/pteg group index is normalized by htab_mask 80f3c75d42SAneesh Kumar K.V */ 81f3c75d42SAneesh Kumar K.V if (((pte_index & ~7ULL) / HPTES_PER_GROUP) & ~env->htab_mask) { 82f3c75d42SAneesh Kumar K.V return false; 83f3c75d42SAneesh Kumar K.V } 84f3c75d42SAneesh Kumar K.V return true; 85f3c75d42SAneesh Kumar K.V } 86f3c75d42SAneesh Kumar K.V 879f64bd8aSPaolo Bonzini static target_ulong h_enter(PowerPCCPU *cpu, sPAPREnvironment *spapr, 889f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 899f64bd8aSPaolo Bonzini { 909f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 919f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 929f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 939f64bd8aSPaolo Bonzini target_ulong pteh = args[2]; 949f64bd8aSPaolo Bonzini target_ulong ptel = args[3]; 959f64bd8aSPaolo Bonzini target_ulong page_shift = 12; 969f64bd8aSPaolo Bonzini target_ulong raddr; 977c43bca0SAneesh Kumar K.V target_ulong index; 987c43bca0SAneesh Kumar K.V uint64_t token; 999f64bd8aSPaolo Bonzini 1009f64bd8aSPaolo Bonzini /* only handle 4k and 16M pages for now */ 101d5aea6f3SDavid Gibson if (pteh & HPTE64_V_LARGE) { 1029f64bd8aSPaolo Bonzini #if 0 /* We don't support 64k pages yet */ 1039f64bd8aSPaolo Bonzini if ((ptel & 0xf000) == 0x1000) { 1049f64bd8aSPaolo Bonzini /* 64k page */ 1059f64bd8aSPaolo Bonzini } else 1069f64bd8aSPaolo Bonzini #endif 1079f64bd8aSPaolo Bonzini if ((ptel & 0xff000) == 0) { 1089f64bd8aSPaolo Bonzini /* 16M page */ 1099f64bd8aSPaolo Bonzini page_shift = 24; 1109f64bd8aSPaolo Bonzini /* lowest AVA bit must be 0 for 16M pages */ 1119f64bd8aSPaolo Bonzini if (pteh & 0x80) { 1129f64bd8aSPaolo Bonzini return H_PARAMETER; 1139f64bd8aSPaolo Bonzini } 1149f64bd8aSPaolo Bonzini } else { 1159f64bd8aSPaolo Bonzini return H_PARAMETER; 1169f64bd8aSPaolo Bonzini } 1179f64bd8aSPaolo Bonzini } 1189f64bd8aSPaolo Bonzini 119d5aea6f3SDavid Gibson raddr = (ptel & HPTE64_R_RPN) & ~((1ULL << page_shift) - 1); 1209f64bd8aSPaolo Bonzini 1219f64bd8aSPaolo Bonzini if (raddr < spapr->ram_limit) { 1229f64bd8aSPaolo Bonzini /* Regular RAM - should have WIMG=0010 */ 123d5aea6f3SDavid Gibson if ((ptel & HPTE64_R_WIMG) != HPTE64_R_M) { 1249f64bd8aSPaolo Bonzini return H_PARAMETER; 1259f64bd8aSPaolo Bonzini } 1269f64bd8aSPaolo Bonzini } else { 1279f64bd8aSPaolo Bonzini /* Looks like an IO address */ 1289f64bd8aSPaolo Bonzini /* FIXME: What WIMG combinations could be sensible for IO? 1299f64bd8aSPaolo Bonzini * For now we allow WIMG=010x, but are there others? */ 1309f64bd8aSPaolo Bonzini /* FIXME: Should we check against registered IO addresses? */ 131d5aea6f3SDavid Gibson if ((ptel & (HPTE64_R_W | HPTE64_R_I | HPTE64_R_M)) != HPTE64_R_I) { 1329f64bd8aSPaolo Bonzini return H_PARAMETER; 1339f64bd8aSPaolo Bonzini } 1349f64bd8aSPaolo Bonzini } 1359f64bd8aSPaolo Bonzini 1369f64bd8aSPaolo Bonzini pteh &= ~0x60ULL; 1379f64bd8aSPaolo Bonzini 138f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 1399f64bd8aSPaolo Bonzini return H_PARAMETER; 1409f64bd8aSPaolo Bonzini } 1417c43bca0SAneesh Kumar K.V 1427c43bca0SAneesh Kumar K.V index = 0; 1439f64bd8aSPaolo Bonzini if (likely((flags & H_EXACT) == 0)) { 1449f64bd8aSPaolo Bonzini pte_index &= ~7ULL; 1457c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 1467aaf4957SAneesh Kumar K.V for (; index < 8; index++) { 1477c43bca0SAneesh Kumar K.V if ((ppc_hash64_load_hpte0(env, token, index) & HPTE64_V_VALID) == 0) { 1489f64bd8aSPaolo Bonzini break; 1499f64bd8aSPaolo Bonzini } 1507aaf4957SAneesh Kumar K.V } 1517c43bca0SAneesh Kumar K.V ppc_hash64_stop_access(token); 1527aaf4957SAneesh Kumar K.V if (index == 8) { 1537aaf4957SAneesh Kumar K.V return H_PTEG_FULL; 1547aaf4957SAneesh Kumar K.V } 1559f64bd8aSPaolo Bonzini } else { 1567c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 1577c43bca0SAneesh Kumar K.V if (ppc_hash64_load_hpte0(env, token, 0) & HPTE64_V_VALID) { 1587c43bca0SAneesh Kumar K.V ppc_hash64_stop_access(token); 1599f64bd8aSPaolo Bonzini return H_PTEG_FULL; 1609f64bd8aSPaolo Bonzini } 1617c43bca0SAneesh Kumar K.V ppc_hash64_stop_access(token); 1629f64bd8aSPaolo Bonzini } 1637c43bca0SAneesh Kumar K.V 1643f94170bSAneesh Kumar K.V ppc_hash64_store_hpte(env, pte_index + index, 1653f94170bSAneesh Kumar K.V pteh | HPTE64_V_HPTE_DIRTY, ptel); 1669f64bd8aSPaolo Bonzini 1677c43bca0SAneesh Kumar K.V args[0] = pte_index + index; 1689f64bd8aSPaolo Bonzini return H_SUCCESS; 1699f64bd8aSPaolo Bonzini } 1709f64bd8aSPaolo Bonzini 171a3801402SStefan Weil typedef enum { 1729f64bd8aSPaolo Bonzini REMOVE_SUCCESS = 0, 1739f64bd8aSPaolo Bonzini REMOVE_NOT_FOUND = 1, 1749f64bd8aSPaolo Bonzini REMOVE_PARM = 2, 1759f64bd8aSPaolo Bonzini REMOVE_HW = 3, 176a3801402SStefan Weil } RemoveResult; 1779f64bd8aSPaolo Bonzini 178a3801402SStefan Weil static RemoveResult remove_hpte(CPUPPCState *env, target_ulong ptex, 1799f64bd8aSPaolo Bonzini target_ulong avpn, 1809f64bd8aSPaolo Bonzini target_ulong flags, 1819f64bd8aSPaolo Bonzini target_ulong *vp, target_ulong *rp) 1829f64bd8aSPaolo Bonzini { 1837c43bca0SAneesh Kumar K.V uint64_t token; 1849f64bd8aSPaolo Bonzini target_ulong v, r, rb; 1859f64bd8aSPaolo Bonzini 186f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, ptex)) { 1879f64bd8aSPaolo Bonzini return REMOVE_PARM; 1889f64bd8aSPaolo Bonzini } 1899f64bd8aSPaolo Bonzini 1907c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(ppc_env_get_cpu(env), ptex); 1917c43bca0SAneesh Kumar K.V v = ppc_hash64_load_hpte0(env, token, 0); 1927c43bca0SAneesh Kumar K.V r = ppc_hash64_load_hpte1(env, token, 0); 1937c43bca0SAneesh Kumar K.V ppc_hash64_stop_access(token); 1949f64bd8aSPaolo Bonzini 195d5aea6f3SDavid Gibson if ((v & HPTE64_V_VALID) == 0 || 1969f64bd8aSPaolo Bonzini ((flags & H_AVPN) && (v & ~0x7fULL) != avpn) || 1979f64bd8aSPaolo Bonzini ((flags & H_ANDCOND) && (v & avpn) != 0)) { 1989f64bd8aSPaolo Bonzini return REMOVE_NOT_FOUND; 1999f64bd8aSPaolo Bonzini } 2009f64bd8aSPaolo Bonzini *vp = v; 2019f64bd8aSPaolo Bonzini *rp = r; 2023f94170bSAneesh Kumar K.V ppc_hash64_store_hpte(env, ptex, HPTE64_V_HPTE_DIRTY, 0); 2039f64bd8aSPaolo Bonzini rb = compute_tlbie_rb(v, r, ptex); 2049f64bd8aSPaolo Bonzini ppc_tlb_invalidate_one(env, rb); 2059f64bd8aSPaolo Bonzini return REMOVE_SUCCESS; 2069f64bd8aSPaolo Bonzini } 2079f64bd8aSPaolo Bonzini 2089f64bd8aSPaolo Bonzini static target_ulong h_remove(PowerPCCPU *cpu, sPAPREnvironment *spapr, 2099f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 2109f64bd8aSPaolo Bonzini { 2119f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 2129f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 2139f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 2149f64bd8aSPaolo Bonzini target_ulong avpn = args[2]; 215a3801402SStefan Weil RemoveResult ret; 2169f64bd8aSPaolo Bonzini 2179f64bd8aSPaolo Bonzini ret = remove_hpte(env, pte_index, avpn, flags, 2189f64bd8aSPaolo Bonzini &args[0], &args[1]); 2199f64bd8aSPaolo Bonzini 2209f64bd8aSPaolo Bonzini switch (ret) { 2219f64bd8aSPaolo Bonzini case REMOVE_SUCCESS: 2229f64bd8aSPaolo Bonzini return H_SUCCESS; 2239f64bd8aSPaolo Bonzini 2249f64bd8aSPaolo Bonzini case REMOVE_NOT_FOUND: 2259f64bd8aSPaolo Bonzini return H_NOT_FOUND; 2269f64bd8aSPaolo Bonzini 2279f64bd8aSPaolo Bonzini case REMOVE_PARM: 2289f64bd8aSPaolo Bonzini return H_PARAMETER; 2299f64bd8aSPaolo Bonzini 2309f64bd8aSPaolo Bonzini case REMOVE_HW: 2319f64bd8aSPaolo Bonzini return H_HARDWARE; 2329f64bd8aSPaolo Bonzini } 2339f64bd8aSPaolo Bonzini 2349a39970dSStefan Weil g_assert_not_reached(); 2359f64bd8aSPaolo Bonzini } 2369f64bd8aSPaolo Bonzini 2379f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_TYPE 0xc000000000000000ULL 2389f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_REQUEST 0x4000000000000000ULL 2399f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RESPONSE 0x8000000000000000ULL 2409f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_END 0xc000000000000000ULL 2419f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_CODE 0x3000000000000000ULL 2429f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_SUCCESS 0x0000000000000000ULL 2439f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_NOT_FOUND 0x1000000000000000ULL 2449f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PARM 0x2000000000000000ULL 2459f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_HW 0x3000000000000000ULL 2469f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_RC 0x0c00000000000000ULL 2479f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_FLAGS 0x0300000000000000ULL 2489f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_ABSOLUTE 0x0000000000000000ULL 2499f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_ANDCOND 0x0100000000000000ULL 2509f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_AVPN 0x0200000000000000ULL 2519f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_PTEX 0x00ffffffffffffffULL 2529f64bd8aSPaolo Bonzini 2539f64bd8aSPaolo Bonzini #define H_BULK_REMOVE_MAX_BATCH 4 2549f64bd8aSPaolo Bonzini 2559f64bd8aSPaolo Bonzini static target_ulong h_bulk_remove(PowerPCCPU *cpu, sPAPREnvironment *spapr, 2569f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 2579f64bd8aSPaolo Bonzini { 2589f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 2599f64bd8aSPaolo Bonzini int i; 2609f64bd8aSPaolo Bonzini 2619f64bd8aSPaolo Bonzini for (i = 0; i < H_BULK_REMOVE_MAX_BATCH; i++) { 2629f64bd8aSPaolo Bonzini target_ulong *tsh = &args[i*2]; 2639f64bd8aSPaolo Bonzini target_ulong tsl = args[i*2 + 1]; 2649f64bd8aSPaolo Bonzini target_ulong v, r, ret; 2659f64bd8aSPaolo Bonzini 2669f64bd8aSPaolo Bonzini if ((*tsh & H_BULK_REMOVE_TYPE) == H_BULK_REMOVE_END) { 2679f64bd8aSPaolo Bonzini break; 2689f64bd8aSPaolo Bonzini } else if ((*tsh & H_BULK_REMOVE_TYPE) != H_BULK_REMOVE_REQUEST) { 2699f64bd8aSPaolo Bonzini return H_PARAMETER; 2709f64bd8aSPaolo Bonzini } 2719f64bd8aSPaolo Bonzini 2729f64bd8aSPaolo Bonzini *tsh &= H_BULK_REMOVE_PTEX | H_BULK_REMOVE_FLAGS; 2739f64bd8aSPaolo Bonzini *tsh |= H_BULK_REMOVE_RESPONSE; 2749f64bd8aSPaolo Bonzini 2759f64bd8aSPaolo Bonzini if ((*tsh & H_BULK_REMOVE_ANDCOND) && (*tsh & H_BULK_REMOVE_AVPN)) { 2769f64bd8aSPaolo Bonzini *tsh |= H_BULK_REMOVE_PARM; 2779f64bd8aSPaolo Bonzini return H_PARAMETER; 2789f64bd8aSPaolo Bonzini } 2799f64bd8aSPaolo Bonzini 2809f64bd8aSPaolo Bonzini ret = remove_hpte(env, *tsh & H_BULK_REMOVE_PTEX, tsl, 2819f64bd8aSPaolo Bonzini (*tsh & H_BULK_REMOVE_FLAGS) >> 26, 2829f64bd8aSPaolo Bonzini &v, &r); 2839f64bd8aSPaolo Bonzini 2849f64bd8aSPaolo Bonzini *tsh |= ret << 60; 2859f64bd8aSPaolo Bonzini 2869f64bd8aSPaolo Bonzini switch (ret) { 2879f64bd8aSPaolo Bonzini case REMOVE_SUCCESS: 288d5aea6f3SDavid Gibson *tsh |= (r & (HPTE64_R_C | HPTE64_R_R)) << 43; 2899f64bd8aSPaolo Bonzini break; 2909f64bd8aSPaolo Bonzini 2919f64bd8aSPaolo Bonzini case REMOVE_PARM: 2929f64bd8aSPaolo Bonzini return H_PARAMETER; 2939f64bd8aSPaolo Bonzini 2949f64bd8aSPaolo Bonzini case REMOVE_HW: 2959f64bd8aSPaolo Bonzini return H_HARDWARE; 2969f64bd8aSPaolo Bonzini } 2979f64bd8aSPaolo Bonzini } 2989f64bd8aSPaolo Bonzini 2999f64bd8aSPaolo Bonzini return H_SUCCESS; 3009f64bd8aSPaolo Bonzini } 3019f64bd8aSPaolo Bonzini 3029f64bd8aSPaolo Bonzini static target_ulong h_protect(PowerPCCPU *cpu, sPAPREnvironment *spapr, 3039f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 3049f64bd8aSPaolo Bonzini { 3059f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 3069f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 3079f64bd8aSPaolo Bonzini target_ulong pte_index = args[1]; 3089f64bd8aSPaolo Bonzini target_ulong avpn = args[2]; 3097c43bca0SAneesh Kumar K.V uint64_t token; 3109f64bd8aSPaolo Bonzini target_ulong v, r, rb; 3119f64bd8aSPaolo Bonzini 312f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 3139f64bd8aSPaolo Bonzini return H_PARAMETER; 3149f64bd8aSPaolo Bonzini } 3159f64bd8aSPaolo Bonzini 3167c43bca0SAneesh Kumar K.V token = ppc_hash64_start_access(cpu, pte_index); 3177c43bca0SAneesh Kumar K.V v = ppc_hash64_load_hpte0(env, token, 0); 3187c43bca0SAneesh Kumar K.V r = ppc_hash64_load_hpte1(env, token, 0); 3197c43bca0SAneesh Kumar K.V ppc_hash64_stop_access(token); 3209f64bd8aSPaolo Bonzini 321d5aea6f3SDavid Gibson if ((v & HPTE64_V_VALID) == 0 || 3229f64bd8aSPaolo Bonzini ((flags & H_AVPN) && (v & ~0x7fULL) != avpn)) { 3239f64bd8aSPaolo Bonzini return H_NOT_FOUND; 3249f64bd8aSPaolo Bonzini } 3259f64bd8aSPaolo Bonzini 326d5aea6f3SDavid Gibson r &= ~(HPTE64_R_PP0 | HPTE64_R_PP | HPTE64_R_N | 327d5aea6f3SDavid Gibson HPTE64_R_KEY_HI | HPTE64_R_KEY_LO); 328d5aea6f3SDavid Gibson r |= (flags << 55) & HPTE64_R_PP0; 329d5aea6f3SDavid Gibson r |= (flags << 48) & HPTE64_R_KEY_HI; 330d5aea6f3SDavid Gibson r |= flags & (HPTE64_R_PP | HPTE64_R_N | HPTE64_R_KEY_LO); 3319f64bd8aSPaolo Bonzini rb = compute_tlbie_rb(v, r, pte_index); 3323f94170bSAneesh Kumar K.V ppc_hash64_store_hpte(env, pte_index, 3333f94170bSAneesh Kumar K.V (v & ~HPTE64_V_VALID) | HPTE64_V_HPTE_DIRTY, 0); 3349f64bd8aSPaolo Bonzini ppc_tlb_invalidate_one(env, rb); 3359f64bd8aSPaolo Bonzini /* Don't need a memory barrier, due to qemu's global lock */ 3363f94170bSAneesh Kumar K.V ppc_hash64_store_hpte(env, pte_index, v | HPTE64_V_HPTE_DIRTY, r); 3379f64bd8aSPaolo Bonzini return H_SUCCESS; 3389f64bd8aSPaolo Bonzini } 3399f64bd8aSPaolo Bonzini 340fa388916SAnthony Liguori static target_ulong h_read(PowerPCCPU *cpu, sPAPREnvironment *spapr, 341fa388916SAnthony Liguori target_ulong opcode, target_ulong *args) 342fa388916SAnthony Liguori { 343fa388916SAnthony Liguori CPUPPCState *env = &cpu->env; 344fa388916SAnthony Liguori target_ulong flags = args[0]; 345fa388916SAnthony Liguori target_ulong pte_index = args[1]; 346fa388916SAnthony Liguori uint8_t *hpte; 347fa388916SAnthony Liguori int i, ridx, n_entries = 1; 348fa388916SAnthony Liguori 349f3c75d42SAneesh Kumar K.V if (!valid_pte_index(env, pte_index)) { 350fa388916SAnthony Liguori return H_PARAMETER; 351fa388916SAnthony Liguori } 352fa388916SAnthony Liguori 353fa388916SAnthony Liguori if (flags & H_READ_4) { 354fa388916SAnthony Liguori /* Clear the two low order bits */ 355fa388916SAnthony Liguori pte_index &= ~(3ULL); 356fa388916SAnthony Liguori n_entries = 4; 357fa388916SAnthony Liguori } 358fa388916SAnthony Liguori 359fa388916SAnthony Liguori hpte = env->external_htab + (pte_index * HASH_PTE_SIZE_64); 360fa388916SAnthony Liguori 361fa388916SAnthony Liguori for (i = 0, ridx = 0; i < n_entries; i++) { 362fa388916SAnthony Liguori args[ridx++] = ldq_p(hpte); 363fa388916SAnthony Liguori args[ridx++] = ldq_p(hpte + (HASH_PTE_SIZE_64/2)); 364fa388916SAnthony Liguori hpte += HASH_PTE_SIZE_64; 365fa388916SAnthony Liguori } 366fa388916SAnthony Liguori 367fa388916SAnthony Liguori return H_SUCCESS; 368fa388916SAnthony Liguori } 369fa388916SAnthony Liguori 3709f64bd8aSPaolo Bonzini static target_ulong h_set_dabr(PowerPCCPU *cpu, sPAPREnvironment *spapr, 3719f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 3729f64bd8aSPaolo Bonzini { 3739f64bd8aSPaolo Bonzini /* FIXME: actually implement this */ 3749f64bd8aSPaolo Bonzini return H_HARDWARE; 3759f64bd8aSPaolo Bonzini } 3769f64bd8aSPaolo Bonzini 3779f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_VPA 0x0000200000000000ULL 3789f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_DTL 0x0000400000000000ULL 3799f64bd8aSPaolo Bonzini #define FLAGS_REGISTER_SLBSHADOW 0x0000600000000000ULL 3809f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_VPA 0x0000a00000000000ULL 3819f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_DTL 0x0000c00000000000ULL 3829f64bd8aSPaolo Bonzini #define FLAGS_DEREGISTER_SLBSHADOW 0x0000e00000000000ULL 3839f64bd8aSPaolo Bonzini 3849f64bd8aSPaolo Bonzini #define VPA_MIN_SIZE 640 3859f64bd8aSPaolo Bonzini #define VPA_SIZE_OFFSET 0x4 3869f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_OFFSET 0x9 3879f64bd8aSPaolo Bonzini #define VPA_SHARED_PROC_VAL 0x2 3889f64bd8aSPaolo Bonzini 3899f64bd8aSPaolo Bonzini static target_ulong register_vpa(CPUPPCState *env, target_ulong vpa) 3909f64bd8aSPaolo Bonzini { 39133276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 3929f64bd8aSPaolo Bonzini uint16_t size; 3939f64bd8aSPaolo Bonzini uint8_t tmp; 3949f64bd8aSPaolo Bonzini 3959f64bd8aSPaolo Bonzini if (vpa == 0) { 3969f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with registering a VPA at logical 0\n"); 3979f64bd8aSPaolo Bonzini return H_HARDWARE; 3989f64bd8aSPaolo Bonzini } 3999f64bd8aSPaolo Bonzini 4009f64bd8aSPaolo Bonzini if (vpa % env->dcache_line_size) { 4019f64bd8aSPaolo Bonzini return H_PARAMETER; 4029f64bd8aSPaolo Bonzini } 4039f64bd8aSPaolo Bonzini /* FIXME: bounds check the address */ 4049f64bd8aSPaolo Bonzini 40541701aa4SEdgar E. Iglesias size = lduw_be_phys(cs->as, vpa + 0x4); 4069f64bd8aSPaolo Bonzini 4079f64bd8aSPaolo Bonzini if (size < VPA_MIN_SIZE) { 4089f64bd8aSPaolo Bonzini return H_PARAMETER; 4099f64bd8aSPaolo Bonzini } 4109f64bd8aSPaolo Bonzini 4119f64bd8aSPaolo Bonzini /* VPA is not allowed to cross a page boundary */ 4129f64bd8aSPaolo Bonzini if ((vpa / 4096) != ((vpa + size - 1) / 4096)) { 4139f64bd8aSPaolo Bonzini return H_PARAMETER; 4149f64bd8aSPaolo Bonzini } 4159f64bd8aSPaolo Bonzini 4169f64bd8aSPaolo Bonzini env->vpa_addr = vpa; 4179f64bd8aSPaolo Bonzini 4182c17449bSEdgar E. Iglesias tmp = ldub_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET); 4199f64bd8aSPaolo Bonzini tmp |= VPA_SHARED_PROC_VAL; 420db3be60dSEdgar E. Iglesias stb_phys(cs->as, env->vpa_addr + VPA_SHARED_PROC_OFFSET, tmp); 4219f64bd8aSPaolo Bonzini 4229f64bd8aSPaolo Bonzini return H_SUCCESS; 4239f64bd8aSPaolo Bonzini } 4249f64bd8aSPaolo Bonzini 4259f64bd8aSPaolo Bonzini static target_ulong deregister_vpa(CPUPPCState *env, target_ulong vpa) 4269f64bd8aSPaolo Bonzini { 4279f64bd8aSPaolo Bonzini if (env->slb_shadow_addr) { 4289f64bd8aSPaolo Bonzini return H_RESOURCE; 4299f64bd8aSPaolo Bonzini } 4309f64bd8aSPaolo Bonzini 4319f64bd8aSPaolo Bonzini if (env->dtl_addr) { 4329f64bd8aSPaolo Bonzini return H_RESOURCE; 4339f64bd8aSPaolo Bonzini } 4349f64bd8aSPaolo Bonzini 4359f64bd8aSPaolo Bonzini env->vpa_addr = 0; 4369f64bd8aSPaolo Bonzini return H_SUCCESS; 4379f64bd8aSPaolo Bonzini } 4389f64bd8aSPaolo Bonzini 4399f64bd8aSPaolo Bonzini static target_ulong register_slb_shadow(CPUPPCState *env, target_ulong addr) 4409f64bd8aSPaolo Bonzini { 44133276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 4429f64bd8aSPaolo Bonzini uint32_t size; 4439f64bd8aSPaolo Bonzini 4449f64bd8aSPaolo Bonzini if (addr == 0) { 4459f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with SLB shadow at logical 0\n"); 4469f64bd8aSPaolo Bonzini return H_HARDWARE; 4479f64bd8aSPaolo Bonzini } 4489f64bd8aSPaolo Bonzini 449fdfba1a2SEdgar E. Iglesias size = ldl_be_phys(cs->as, addr + 0x4); 4509f64bd8aSPaolo Bonzini if (size < 0x8) { 4519f64bd8aSPaolo Bonzini return H_PARAMETER; 4529f64bd8aSPaolo Bonzini } 4539f64bd8aSPaolo Bonzini 4549f64bd8aSPaolo Bonzini if ((addr / 4096) != ((addr + size - 1) / 4096)) { 4559f64bd8aSPaolo Bonzini return H_PARAMETER; 4569f64bd8aSPaolo Bonzini } 4579f64bd8aSPaolo Bonzini 4589f64bd8aSPaolo Bonzini if (!env->vpa_addr) { 4599f64bd8aSPaolo Bonzini return H_RESOURCE; 4609f64bd8aSPaolo Bonzini } 4619f64bd8aSPaolo Bonzini 4629f64bd8aSPaolo Bonzini env->slb_shadow_addr = addr; 4639f64bd8aSPaolo Bonzini env->slb_shadow_size = size; 4649f64bd8aSPaolo Bonzini 4659f64bd8aSPaolo Bonzini return H_SUCCESS; 4669f64bd8aSPaolo Bonzini } 4679f64bd8aSPaolo Bonzini 4689f64bd8aSPaolo Bonzini static target_ulong deregister_slb_shadow(CPUPPCState *env, target_ulong addr) 4699f64bd8aSPaolo Bonzini { 4709f64bd8aSPaolo Bonzini env->slb_shadow_addr = 0; 4719f64bd8aSPaolo Bonzini env->slb_shadow_size = 0; 4729f64bd8aSPaolo Bonzini return H_SUCCESS; 4739f64bd8aSPaolo Bonzini } 4749f64bd8aSPaolo Bonzini 4759f64bd8aSPaolo Bonzini static target_ulong register_dtl(CPUPPCState *env, target_ulong addr) 4769f64bd8aSPaolo Bonzini { 47733276f1bSAndreas Färber CPUState *cs = CPU(ppc_env_get_cpu(env)); 4789f64bd8aSPaolo Bonzini uint32_t size; 4799f64bd8aSPaolo Bonzini 4809f64bd8aSPaolo Bonzini if (addr == 0) { 4819f64bd8aSPaolo Bonzini hcall_dprintf("Can't cope with DTL at logical 0\n"); 4829f64bd8aSPaolo Bonzini return H_HARDWARE; 4839f64bd8aSPaolo Bonzini } 4849f64bd8aSPaolo Bonzini 485fdfba1a2SEdgar E. Iglesias size = ldl_be_phys(cs->as, addr + 0x4); 4869f64bd8aSPaolo Bonzini 4879f64bd8aSPaolo Bonzini if (size < 48) { 4889f64bd8aSPaolo Bonzini return H_PARAMETER; 4899f64bd8aSPaolo Bonzini } 4909f64bd8aSPaolo Bonzini 4919f64bd8aSPaolo Bonzini if (!env->vpa_addr) { 4929f64bd8aSPaolo Bonzini return H_RESOURCE; 4939f64bd8aSPaolo Bonzini } 4949f64bd8aSPaolo Bonzini 4959f64bd8aSPaolo Bonzini env->dtl_addr = addr; 4969f64bd8aSPaolo Bonzini env->dtl_size = size; 4979f64bd8aSPaolo Bonzini 4989f64bd8aSPaolo Bonzini return H_SUCCESS; 4999f64bd8aSPaolo Bonzini } 5009f64bd8aSPaolo Bonzini 5019f64bd8aSPaolo Bonzini static target_ulong deregister_dtl(CPUPPCState *env, target_ulong addr) 5029f64bd8aSPaolo Bonzini { 5039f64bd8aSPaolo Bonzini env->dtl_addr = 0; 5049f64bd8aSPaolo Bonzini env->dtl_size = 0; 5059f64bd8aSPaolo Bonzini 5069f64bd8aSPaolo Bonzini return H_SUCCESS; 5079f64bd8aSPaolo Bonzini } 5089f64bd8aSPaolo Bonzini 5099f64bd8aSPaolo Bonzini static target_ulong h_register_vpa(PowerPCCPU *cpu, sPAPREnvironment *spapr, 5109f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 5119f64bd8aSPaolo Bonzini { 5129f64bd8aSPaolo Bonzini target_ulong flags = args[0]; 5139f64bd8aSPaolo Bonzini target_ulong procno = args[1]; 5149f64bd8aSPaolo Bonzini target_ulong vpa = args[2]; 5159f64bd8aSPaolo Bonzini target_ulong ret = H_PARAMETER; 5169f64bd8aSPaolo Bonzini CPUPPCState *tenv; 5170f20ba62SAlexey Kardashevskiy PowerPCCPU *tcpu; 5189f64bd8aSPaolo Bonzini 5190f20ba62SAlexey Kardashevskiy tcpu = ppc_get_vcpu_by_dt_id(procno); 5209f64bd8aSPaolo Bonzini if (!tcpu) { 5219f64bd8aSPaolo Bonzini return H_PARAMETER; 5229f64bd8aSPaolo Bonzini } 5230f20ba62SAlexey Kardashevskiy tenv = &tcpu->env; 5249f64bd8aSPaolo Bonzini 5259f64bd8aSPaolo Bonzini switch (flags) { 5269f64bd8aSPaolo Bonzini case FLAGS_REGISTER_VPA: 5279f64bd8aSPaolo Bonzini ret = register_vpa(tenv, vpa); 5289f64bd8aSPaolo Bonzini break; 5299f64bd8aSPaolo Bonzini 5309f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_VPA: 5319f64bd8aSPaolo Bonzini ret = deregister_vpa(tenv, vpa); 5329f64bd8aSPaolo Bonzini break; 5339f64bd8aSPaolo Bonzini 5349f64bd8aSPaolo Bonzini case FLAGS_REGISTER_SLBSHADOW: 5359f64bd8aSPaolo Bonzini ret = register_slb_shadow(tenv, vpa); 5369f64bd8aSPaolo Bonzini break; 5379f64bd8aSPaolo Bonzini 5389f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_SLBSHADOW: 5399f64bd8aSPaolo Bonzini ret = deregister_slb_shadow(tenv, vpa); 5409f64bd8aSPaolo Bonzini break; 5419f64bd8aSPaolo Bonzini 5429f64bd8aSPaolo Bonzini case FLAGS_REGISTER_DTL: 5439f64bd8aSPaolo Bonzini ret = register_dtl(tenv, vpa); 5449f64bd8aSPaolo Bonzini break; 5459f64bd8aSPaolo Bonzini 5469f64bd8aSPaolo Bonzini case FLAGS_DEREGISTER_DTL: 5479f64bd8aSPaolo Bonzini ret = deregister_dtl(tenv, vpa); 5489f64bd8aSPaolo Bonzini break; 5499f64bd8aSPaolo Bonzini } 5509f64bd8aSPaolo Bonzini 5519f64bd8aSPaolo Bonzini return ret; 5529f64bd8aSPaolo Bonzini } 5539f64bd8aSPaolo Bonzini 5549f64bd8aSPaolo Bonzini static target_ulong h_cede(PowerPCCPU *cpu, sPAPREnvironment *spapr, 5559f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 5569f64bd8aSPaolo Bonzini { 5579f64bd8aSPaolo Bonzini CPUPPCState *env = &cpu->env; 5589f64bd8aSPaolo Bonzini CPUState *cs = CPU(cpu); 5599f64bd8aSPaolo Bonzini 5609f64bd8aSPaolo Bonzini env->msr |= (1ULL << MSR_EE); 5619f64bd8aSPaolo Bonzini hreg_compute_hflags(env); 5629f64bd8aSPaolo Bonzini if (!cpu_has_work(cs)) { 563259186a7SAndreas Färber cs->halted = 1; 56427103424SAndreas Färber cs->exception_index = EXCP_HLT; 5659f64bd8aSPaolo Bonzini cs->exit_request = 1; 5669f64bd8aSPaolo Bonzini } 5679f64bd8aSPaolo Bonzini return H_SUCCESS; 5689f64bd8aSPaolo Bonzini } 5699f64bd8aSPaolo Bonzini 5709f64bd8aSPaolo Bonzini static target_ulong h_rtas(PowerPCCPU *cpu, sPAPREnvironment *spapr, 5719f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 5729f64bd8aSPaolo Bonzini { 5739f64bd8aSPaolo Bonzini target_ulong rtas_r3 = args[0]; 5744fe822e0SAlexey Kardashevskiy uint32_t token = rtas_ld(rtas_r3, 0); 5754fe822e0SAlexey Kardashevskiy uint32_t nargs = rtas_ld(rtas_r3, 1); 5764fe822e0SAlexey Kardashevskiy uint32_t nret = rtas_ld(rtas_r3, 2); 5779f64bd8aSPaolo Bonzini 578210b580bSAnthony Liguori return spapr_rtas_call(cpu, spapr, token, nargs, rtas_r3 + 12, 5799f64bd8aSPaolo Bonzini nret, rtas_r3 + 12 + 4*nargs); 5809f64bd8aSPaolo Bonzini } 5819f64bd8aSPaolo Bonzini 5829f64bd8aSPaolo Bonzini static target_ulong h_logical_load(PowerPCCPU *cpu, sPAPREnvironment *spapr, 5839f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 5849f64bd8aSPaolo Bonzini { 585fdfba1a2SEdgar E. Iglesias CPUState *cs = CPU(cpu); 5869f64bd8aSPaolo Bonzini target_ulong size = args[0]; 5879f64bd8aSPaolo Bonzini target_ulong addr = args[1]; 5889f64bd8aSPaolo Bonzini 5899f64bd8aSPaolo Bonzini switch (size) { 5909f64bd8aSPaolo Bonzini case 1: 5912c17449bSEdgar E. Iglesias args[0] = ldub_phys(cs->as, addr); 5929f64bd8aSPaolo Bonzini return H_SUCCESS; 5939f64bd8aSPaolo Bonzini case 2: 59441701aa4SEdgar E. Iglesias args[0] = lduw_phys(cs->as, addr); 5959f64bd8aSPaolo Bonzini return H_SUCCESS; 5969f64bd8aSPaolo Bonzini case 4: 597fdfba1a2SEdgar E. Iglesias args[0] = ldl_phys(cs->as, addr); 5989f64bd8aSPaolo Bonzini return H_SUCCESS; 5999f64bd8aSPaolo Bonzini case 8: 6002c17449bSEdgar E. Iglesias args[0] = ldq_phys(cs->as, addr); 6019f64bd8aSPaolo Bonzini return H_SUCCESS; 6029f64bd8aSPaolo Bonzini } 6039f64bd8aSPaolo Bonzini return H_PARAMETER; 6049f64bd8aSPaolo Bonzini } 6059f64bd8aSPaolo Bonzini 6069f64bd8aSPaolo Bonzini static target_ulong h_logical_store(PowerPCCPU *cpu, sPAPREnvironment *spapr, 6079f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6089f64bd8aSPaolo Bonzini { 609f606604fSEdgar E. Iglesias CPUState *cs = CPU(cpu); 610f606604fSEdgar E. Iglesias 6119f64bd8aSPaolo Bonzini target_ulong size = args[0]; 6129f64bd8aSPaolo Bonzini target_ulong addr = args[1]; 6139f64bd8aSPaolo Bonzini target_ulong val = args[2]; 6149f64bd8aSPaolo Bonzini 6159f64bd8aSPaolo Bonzini switch (size) { 6169f64bd8aSPaolo Bonzini case 1: 617db3be60dSEdgar E. Iglesias stb_phys(cs->as, addr, val); 6189f64bd8aSPaolo Bonzini return H_SUCCESS; 6199f64bd8aSPaolo Bonzini case 2: 6205ce5944dSEdgar E. Iglesias stw_phys(cs->as, addr, val); 6219f64bd8aSPaolo Bonzini return H_SUCCESS; 6229f64bd8aSPaolo Bonzini case 4: 623ab1da857SEdgar E. Iglesias stl_phys(cs->as, addr, val); 6249f64bd8aSPaolo Bonzini return H_SUCCESS; 6259f64bd8aSPaolo Bonzini case 8: 626f606604fSEdgar E. Iglesias stq_phys(cs->as, addr, val); 6279f64bd8aSPaolo Bonzini return H_SUCCESS; 6289f64bd8aSPaolo Bonzini } 6299f64bd8aSPaolo Bonzini return H_PARAMETER; 6309f64bd8aSPaolo Bonzini } 6319f64bd8aSPaolo Bonzini 6329f64bd8aSPaolo Bonzini static target_ulong h_logical_memop(PowerPCCPU *cpu, sPAPREnvironment *spapr, 6339f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 6349f64bd8aSPaolo Bonzini { 635fdfba1a2SEdgar E. Iglesias CPUState *cs = CPU(cpu); 636fdfba1a2SEdgar E. Iglesias 6379f64bd8aSPaolo Bonzini target_ulong dst = args[0]; /* Destination address */ 6389f64bd8aSPaolo Bonzini target_ulong src = args[1]; /* Source address */ 6399f64bd8aSPaolo Bonzini target_ulong esize = args[2]; /* Element size (0=1,1=2,2=4,3=8) */ 6409f64bd8aSPaolo Bonzini target_ulong count = args[3]; /* Element count */ 6419f64bd8aSPaolo Bonzini target_ulong op = args[4]; /* 0 = copy, 1 = invert */ 6429f64bd8aSPaolo Bonzini uint64_t tmp; 6439f64bd8aSPaolo Bonzini unsigned int mask = (1 << esize) - 1; 6449f64bd8aSPaolo Bonzini int step = 1 << esize; 6459f64bd8aSPaolo Bonzini 6469f64bd8aSPaolo Bonzini if (count > 0x80000000) { 6479f64bd8aSPaolo Bonzini return H_PARAMETER; 6489f64bd8aSPaolo Bonzini } 6499f64bd8aSPaolo Bonzini 6509f64bd8aSPaolo Bonzini if ((dst & mask) || (src & mask) || (op > 1)) { 6519f64bd8aSPaolo Bonzini return H_PARAMETER; 6529f64bd8aSPaolo Bonzini } 6539f64bd8aSPaolo Bonzini 6549f64bd8aSPaolo Bonzini if (dst >= src && dst < (src + (count << esize))) { 6559f64bd8aSPaolo Bonzini dst = dst + ((count - 1) << esize); 6569f64bd8aSPaolo Bonzini src = src + ((count - 1) << esize); 6579f64bd8aSPaolo Bonzini step = -step; 6589f64bd8aSPaolo Bonzini } 6599f64bd8aSPaolo Bonzini 6609f64bd8aSPaolo Bonzini while (count--) { 6619f64bd8aSPaolo Bonzini switch (esize) { 6629f64bd8aSPaolo Bonzini case 0: 6632c17449bSEdgar E. Iglesias tmp = ldub_phys(cs->as, src); 6649f64bd8aSPaolo Bonzini break; 6659f64bd8aSPaolo Bonzini case 1: 66641701aa4SEdgar E. Iglesias tmp = lduw_phys(cs->as, src); 6679f64bd8aSPaolo Bonzini break; 6689f64bd8aSPaolo Bonzini case 2: 669fdfba1a2SEdgar E. Iglesias tmp = ldl_phys(cs->as, src); 6709f64bd8aSPaolo Bonzini break; 6719f64bd8aSPaolo Bonzini case 3: 6722c17449bSEdgar E. Iglesias tmp = ldq_phys(cs->as, src); 6739f64bd8aSPaolo Bonzini break; 6749f64bd8aSPaolo Bonzini default: 6759f64bd8aSPaolo Bonzini return H_PARAMETER; 6769f64bd8aSPaolo Bonzini } 6779f64bd8aSPaolo Bonzini if (op == 1) { 6789f64bd8aSPaolo Bonzini tmp = ~tmp; 6799f64bd8aSPaolo Bonzini } 6809f64bd8aSPaolo Bonzini switch (esize) { 6819f64bd8aSPaolo Bonzini case 0: 682db3be60dSEdgar E. Iglesias stb_phys(cs->as, dst, tmp); 6839f64bd8aSPaolo Bonzini break; 6849f64bd8aSPaolo Bonzini case 1: 6855ce5944dSEdgar E. Iglesias stw_phys(cs->as, dst, tmp); 6869f64bd8aSPaolo Bonzini break; 6879f64bd8aSPaolo Bonzini case 2: 688ab1da857SEdgar E. Iglesias stl_phys(cs->as, dst, tmp); 6899f64bd8aSPaolo Bonzini break; 6909f64bd8aSPaolo Bonzini case 3: 691f606604fSEdgar E. Iglesias stq_phys(cs->as, dst, tmp); 6929f64bd8aSPaolo Bonzini break; 6939f64bd8aSPaolo Bonzini } 6949f64bd8aSPaolo Bonzini dst = dst + step; 6959f64bd8aSPaolo Bonzini src = src + step; 6969f64bd8aSPaolo Bonzini } 6979f64bd8aSPaolo Bonzini 6989f64bd8aSPaolo Bonzini return H_SUCCESS; 6999f64bd8aSPaolo Bonzini } 7009f64bd8aSPaolo Bonzini 7019f64bd8aSPaolo Bonzini static target_ulong h_logical_icbi(PowerPCCPU *cpu, sPAPREnvironment *spapr, 7029f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 7039f64bd8aSPaolo Bonzini { 7049f64bd8aSPaolo Bonzini /* Nothing to do on emulation, KVM will trap this in the kernel */ 7059f64bd8aSPaolo Bonzini return H_SUCCESS; 7069f64bd8aSPaolo Bonzini } 7079f64bd8aSPaolo Bonzini 7089f64bd8aSPaolo Bonzini static target_ulong h_logical_dcbf(PowerPCCPU *cpu, sPAPREnvironment *spapr, 7099f64bd8aSPaolo Bonzini target_ulong opcode, target_ulong *args) 7109f64bd8aSPaolo Bonzini { 7119f64bd8aSPaolo Bonzini /* Nothing to do on emulation, KVM will trap this in the kernel */ 7129f64bd8aSPaolo Bonzini return H_SUCCESS; 7139f64bd8aSPaolo Bonzini } 7149f64bd8aSPaolo Bonzini 71542561bf2SAnton Blanchard static target_ulong h_set_mode(PowerPCCPU *cpu, sPAPREnvironment *spapr, 71642561bf2SAnton Blanchard target_ulong opcode, target_ulong *args) 71742561bf2SAnton Blanchard { 71842561bf2SAnton Blanchard CPUState *cs; 71942561bf2SAnton Blanchard target_ulong mflags = args[0]; 72042561bf2SAnton Blanchard target_ulong resource = args[1]; 72142561bf2SAnton Blanchard target_ulong value1 = args[2]; 72242561bf2SAnton Blanchard target_ulong value2 = args[3]; 72342561bf2SAnton Blanchard target_ulong ret = H_P2; 72442561bf2SAnton Blanchard 725a46622fdSAlexey Kardashevskiy if (resource == H_SET_MODE_RESOURCE_LE) { 72642561bf2SAnton Blanchard if (value1) { 72742561bf2SAnton Blanchard ret = H_P3; 72842561bf2SAnton Blanchard goto out; 72942561bf2SAnton Blanchard } 73042561bf2SAnton Blanchard if (value2) { 73142561bf2SAnton Blanchard ret = H_P4; 73242561bf2SAnton Blanchard goto out; 73342561bf2SAnton Blanchard } 73442561bf2SAnton Blanchard switch (mflags) { 73542561bf2SAnton Blanchard case H_SET_MODE_ENDIAN_BIG: 736bdc44640SAndreas Färber CPU_FOREACH(cs) { 737a46622fdSAlexey Kardashevskiy set_spr(cs, SPR_LPCR, 0, LPCR_ILE); 73842561bf2SAnton Blanchard } 73942561bf2SAnton Blanchard ret = H_SUCCESS; 74042561bf2SAnton Blanchard break; 74142561bf2SAnton Blanchard 74242561bf2SAnton Blanchard case H_SET_MODE_ENDIAN_LITTLE: 743bdc44640SAndreas Färber CPU_FOREACH(cs) { 744a46622fdSAlexey Kardashevskiy set_spr(cs, SPR_LPCR, LPCR_ILE, LPCR_ILE); 74542561bf2SAnton Blanchard } 74642561bf2SAnton Blanchard ret = H_SUCCESS; 74742561bf2SAnton Blanchard break; 74842561bf2SAnton Blanchard 74942561bf2SAnton Blanchard default: 75042561bf2SAnton Blanchard ret = H_UNSUPPORTED_FLAG; 75142561bf2SAnton Blanchard } 75242561bf2SAnton Blanchard } 75342561bf2SAnton Blanchard 75442561bf2SAnton Blanchard out: 75542561bf2SAnton Blanchard return ret; 75642561bf2SAnton Blanchard } 75742561bf2SAnton Blanchard 758*3794d548SAlexey Kardashevskiy typedef struct { 759*3794d548SAlexey Kardashevskiy PowerPCCPU *cpu; 760*3794d548SAlexey Kardashevskiy uint32_t cpu_version; 761*3794d548SAlexey Kardashevskiy int ret; 762*3794d548SAlexey Kardashevskiy } SetCompatState; 763*3794d548SAlexey Kardashevskiy 764*3794d548SAlexey Kardashevskiy static void do_set_compat(void *arg) 765*3794d548SAlexey Kardashevskiy { 766*3794d548SAlexey Kardashevskiy SetCompatState *s = arg; 767*3794d548SAlexey Kardashevskiy 768*3794d548SAlexey Kardashevskiy cpu_synchronize_state(CPU(s->cpu)); 769*3794d548SAlexey Kardashevskiy s->ret = ppc_set_compat(s->cpu, s->cpu_version); 770*3794d548SAlexey Kardashevskiy } 771*3794d548SAlexey Kardashevskiy 772*3794d548SAlexey Kardashevskiy #define get_compat_level(cpuver) ( \ 773*3794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_05) ? 2050 : \ 774*3794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_06) ? 2060 : \ 775*3794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_06_PLUS) ? 2061 : \ 776*3794d548SAlexey Kardashevskiy ((cpuver) == CPU_POWERPC_LOGICAL_2_07) ? 2070 : 0) 777*3794d548SAlexey Kardashevskiy 7782a6593cbSAlexey Kardashevskiy static target_ulong h_client_architecture_support(PowerPCCPU *cpu_, 7792a6593cbSAlexey Kardashevskiy sPAPREnvironment *spapr, 7802a6593cbSAlexey Kardashevskiy target_ulong opcode, 7812a6593cbSAlexey Kardashevskiy target_ulong *args) 7822a6593cbSAlexey Kardashevskiy { 7832a6593cbSAlexey Kardashevskiy target_ulong list = args[0]; 784*3794d548SAlexey Kardashevskiy PowerPCCPUClass *pcc_ = POWERPC_CPU_GET_CLASS(cpu_); 785*3794d548SAlexey Kardashevskiy CPUState *cs; 786*3794d548SAlexey Kardashevskiy bool cpu_match = false; 787*3794d548SAlexey Kardashevskiy unsigned old_cpu_version = cpu_->cpu_version; 788*3794d548SAlexey Kardashevskiy unsigned compat_lvl = 0, cpu_version = 0; 789*3794d548SAlexey Kardashevskiy unsigned max_lvl = get_compat_level(cpu_->max_compat); 790*3794d548SAlexey Kardashevskiy int counter; 791*3794d548SAlexey Kardashevskiy 792*3794d548SAlexey Kardashevskiy /* Parse PVR list */ 793*3794d548SAlexey Kardashevskiy for (counter = 0; counter < 512; ++counter) { 794*3794d548SAlexey Kardashevskiy uint32_t pvr, pvr_mask; 795*3794d548SAlexey Kardashevskiy 796*3794d548SAlexey Kardashevskiy pvr_mask = rtas_ld(list, 0); 797*3794d548SAlexey Kardashevskiy list += 4; 798*3794d548SAlexey Kardashevskiy pvr = rtas_ld(list, 0); 799*3794d548SAlexey Kardashevskiy list += 4; 800*3794d548SAlexey Kardashevskiy 801*3794d548SAlexey Kardashevskiy trace_spapr_cas_pvr_try(pvr); 802*3794d548SAlexey Kardashevskiy if (!max_lvl && 803*3794d548SAlexey Kardashevskiy ((cpu_->env.spr[SPR_PVR] & pvr_mask) == (pvr & pvr_mask))) { 804*3794d548SAlexey Kardashevskiy cpu_match = true; 805*3794d548SAlexey Kardashevskiy cpu_version = 0; 806*3794d548SAlexey Kardashevskiy } else if (pvr == cpu_->cpu_version) { 807*3794d548SAlexey Kardashevskiy cpu_match = true; 808*3794d548SAlexey Kardashevskiy cpu_version = cpu_->cpu_version; 809*3794d548SAlexey Kardashevskiy } else if (!cpu_match) { 810*3794d548SAlexey Kardashevskiy /* If it is a logical PVR, try to determine the highest level */ 811*3794d548SAlexey Kardashevskiy unsigned lvl = get_compat_level(pvr); 812*3794d548SAlexey Kardashevskiy if (lvl) { 813*3794d548SAlexey Kardashevskiy bool is205 = (pcc_->pcr_mask & PCR_COMPAT_2_05) && 814*3794d548SAlexey Kardashevskiy (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_05)); 815*3794d548SAlexey Kardashevskiy bool is206 = (pcc_->pcr_mask & PCR_COMPAT_2_06) && 816*3794d548SAlexey Kardashevskiy ((lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06)) || 817*3794d548SAlexey Kardashevskiy (lvl == get_compat_level(CPU_POWERPC_LOGICAL_2_06_PLUS))); 818*3794d548SAlexey Kardashevskiy 819*3794d548SAlexey Kardashevskiy if (is205 || is206) { 820*3794d548SAlexey Kardashevskiy if (!max_lvl) { 821*3794d548SAlexey Kardashevskiy /* User did not set the level, choose the highest */ 822*3794d548SAlexey Kardashevskiy if (compat_lvl <= lvl) { 823*3794d548SAlexey Kardashevskiy compat_lvl = lvl; 824*3794d548SAlexey Kardashevskiy cpu_version = pvr; 825*3794d548SAlexey Kardashevskiy } 826*3794d548SAlexey Kardashevskiy } else if (max_lvl >= lvl) { 827*3794d548SAlexey Kardashevskiy /* User chose the level, don't set higher than this */ 828*3794d548SAlexey Kardashevskiy compat_lvl = lvl; 829*3794d548SAlexey Kardashevskiy cpu_version = pvr; 830*3794d548SAlexey Kardashevskiy } 831*3794d548SAlexey Kardashevskiy } 832*3794d548SAlexey Kardashevskiy } 833*3794d548SAlexey Kardashevskiy } 834*3794d548SAlexey Kardashevskiy /* Terminator record */ 835*3794d548SAlexey Kardashevskiy if (~pvr_mask & pvr) { 836*3794d548SAlexey Kardashevskiy break; 837*3794d548SAlexey Kardashevskiy } 838*3794d548SAlexey Kardashevskiy } 839*3794d548SAlexey Kardashevskiy 840*3794d548SAlexey Kardashevskiy /* For the future use: here @list points to the first capability */ 841*3794d548SAlexey Kardashevskiy 842*3794d548SAlexey Kardashevskiy /* Parsing finished */ 843*3794d548SAlexey Kardashevskiy trace_spapr_cas_pvr(cpu_->cpu_version, cpu_match, 844*3794d548SAlexey Kardashevskiy cpu_version, pcc_->pcr_mask); 845*3794d548SAlexey Kardashevskiy 846*3794d548SAlexey Kardashevskiy /* Update CPUs */ 847*3794d548SAlexey Kardashevskiy if (old_cpu_version != cpu_version) { 848*3794d548SAlexey Kardashevskiy CPU_FOREACH(cs) { 849*3794d548SAlexey Kardashevskiy SetCompatState s = { 850*3794d548SAlexey Kardashevskiy .cpu = POWERPC_CPU(cs), 851*3794d548SAlexey Kardashevskiy .cpu_version = cpu_version, 852*3794d548SAlexey Kardashevskiy .ret = 0 853*3794d548SAlexey Kardashevskiy }; 854*3794d548SAlexey Kardashevskiy 855*3794d548SAlexey Kardashevskiy run_on_cpu(cs, do_set_compat, &s); 856*3794d548SAlexey Kardashevskiy 857*3794d548SAlexey Kardashevskiy if (s.ret < 0) { 858*3794d548SAlexey Kardashevskiy fprintf(stderr, "Unable to set compatibility mode\n"); 859*3794d548SAlexey Kardashevskiy return H_HARDWARE; 860*3794d548SAlexey Kardashevskiy } 861*3794d548SAlexey Kardashevskiy } 862*3794d548SAlexey Kardashevskiy } 863*3794d548SAlexey Kardashevskiy 864*3794d548SAlexey Kardashevskiy if (!cpu_version) { 865*3794d548SAlexey Kardashevskiy return H_SUCCESS; 866*3794d548SAlexey Kardashevskiy } 8672a6593cbSAlexey Kardashevskiy 8682a6593cbSAlexey Kardashevskiy if (!list) { 8692a6593cbSAlexey Kardashevskiy return H_SUCCESS; 8702a6593cbSAlexey Kardashevskiy } 8712a6593cbSAlexey Kardashevskiy 8722a6593cbSAlexey Kardashevskiy if (spapr_h_cas_compose_response(args[1], args[2])) { 8732a6593cbSAlexey Kardashevskiy qemu_system_reset_request(); 8742a6593cbSAlexey Kardashevskiy } 8752a6593cbSAlexey Kardashevskiy 8762a6593cbSAlexey Kardashevskiy return H_SUCCESS; 8772a6593cbSAlexey Kardashevskiy } 8782a6593cbSAlexey Kardashevskiy 8799f64bd8aSPaolo Bonzini static spapr_hcall_fn papr_hypercall_table[(MAX_HCALL_OPCODE / 4) + 1]; 8809f64bd8aSPaolo Bonzini static spapr_hcall_fn kvmppc_hypercall_table[KVMPPC_HCALL_MAX - KVMPPC_HCALL_BASE + 1]; 8819f64bd8aSPaolo Bonzini 8829f64bd8aSPaolo Bonzini void spapr_register_hypercall(target_ulong opcode, spapr_hcall_fn fn) 8839f64bd8aSPaolo Bonzini { 8849f64bd8aSPaolo Bonzini spapr_hcall_fn *slot; 8859f64bd8aSPaolo Bonzini 8869f64bd8aSPaolo Bonzini if (opcode <= MAX_HCALL_OPCODE) { 8879f64bd8aSPaolo Bonzini assert((opcode & 0x3) == 0); 8889f64bd8aSPaolo Bonzini 8899f64bd8aSPaolo Bonzini slot = &papr_hypercall_table[opcode / 4]; 8909f64bd8aSPaolo Bonzini } else { 8919f64bd8aSPaolo Bonzini assert((opcode >= KVMPPC_HCALL_BASE) && (opcode <= KVMPPC_HCALL_MAX)); 8929f64bd8aSPaolo Bonzini 8939f64bd8aSPaolo Bonzini slot = &kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE]; 8949f64bd8aSPaolo Bonzini } 8959f64bd8aSPaolo Bonzini 8969f64bd8aSPaolo Bonzini assert(!(*slot)); 8979f64bd8aSPaolo Bonzini *slot = fn; 8989f64bd8aSPaolo Bonzini } 8999f64bd8aSPaolo Bonzini 9009f64bd8aSPaolo Bonzini target_ulong spapr_hypercall(PowerPCCPU *cpu, target_ulong opcode, 9019f64bd8aSPaolo Bonzini target_ulong *args) 9029f64bd8aSPaolo Bonzini { 9039f64bd8aSPaolo Bonzini if ((opcode <= MAX_HCALL_OPCODE) 9049f64bd8aSPaolo Bonzini && ((opcode & 0x3) == 0)) { 9059f64bd8aSPaolo Bonzini spapr_hcall_fn fn = papr_hypercall_table[opcode / 4]; 9069f64bd8aSPaolo Bonzini 9079f64bd8aSPaolo Bonzini if (fn) { 9089f64bd8aSPaolo Bonzini return fn(cpu, spapr, opcode, args); 9099f64bd8aSPaolo Bonzini } 9109f64bd8aSPaolo Bonzini } else if ((opcode >= KVMPPC_HCALL_BASE) && 9119f64bd8aSPaolo Bonzini (opcode <= KVMPPC_HCALL_MAX)) { 9129f64bd8aSPaolo Bonzini spapr_hcall_fn fn = kvmppc_hypercall_table[opcode - KVMPPC_HCALL_BASE]; 9139f64bd8aSPaolo Bonzini 9149f64bd8aSPaolo Bonzini if (fn) { 9159f64bd8aSPaolo Bonzini return fn(cpu, spapr, opcode, args); 9169f64bd8aSPaolo Bonzini } 9179f64bd8aSPaolo Bonzini } 9189f64bd8aSPaolo Bonzini 9199f64bd8aSPaolo Bonzini hcall_dprintf("Unimplemented hcall 0x" TARGET_FMT_lx "\n", opcode); 9209f64bd8aSPaolo Bonzini return H_FUNCTION; 9219f64bd8aSPaolo Bonzini } 9229f64bd8aSPaolo Bonzini 9239f64bd8aSPaolo Bonzini static void hypercall_register_types(void) 9249f64bd8aSPaolo Bonzini { 9259f64bd8aSPaolo Bonzini /* hcall-pft */ 9269f64bd8aSPaolo Bonzini spapr_register_hypercall(H_ENTER, h_enter); 9279f64bd8aSPaolo Bonzini spapr_register_hypercall(H_REMOVE, h_remove); 9289f64bd8aSPaolo Bonzini spapr_register_hypercall(H_PROTECT, h_protect); 929fa388916SAnthony Liguori spapr_register_hypercall(H_READ, h_read); 9309f64bd8aSPaolo Bonzini 9319f64bd8aSPaolo Bonzini /* hcall-bulk */ 9329f64bd8aSPaolo Bonzini spapr_register_hypercall(H_BULK_REMOVE, h_bulk_remove); 9339f64bd8aSPaolo Bonzini 9349f64bd8aSPaolo Bonzini /* hcall-dabr */ 9359f64bd8aSPaolo Bonzini spapr_register_hypercall(H_SET_DABR, h_set_dabr); 9369f64bd8aSPaolo Bonzini 9379f64bd8aSPaolo Bonzini /* hcall-splpar */ 9389f64bd8aSPaolo Bonzini spapr_register_hypercall(H_REGISTER_VPA, h_register_vpa); 9399f64bd8aSPaolo Bonzini spapr_register_hypercall(H_CEDE, h_cede); 9409f64bd8aSPaolo Bonzini 9419f64bd8aSPaolo Bonzini /* "debugger" hcalls (also used by SLOF). Note: We do -not- differenciate 9429f64bd8aSPaolo Bonzini * here between the "CI" and the "CACHE" variants, they will use whatever 9439f64bd8aSPaolo Bonzini * mapping attributes qemu is using. When using KVM, the kernel will 9449f64bd8aSPaolo Bonzini * enforce the attributes more strongly 9459f64bd8aSPaolo Bonzini */ 9469f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CI_LOAD, h_logical_load); 9479f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CI_STORE, h_logical_store); 9489f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CACHE_LOAD, h_logical_load); 9499f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_CACHE_STORE, h_logical_store); 9509f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_ICBI, h_logical_icbi); 9519f64bd8aSPaolo Bonzini spapr_register_hypercall(H_LOGICAL_DCBF, h_logical_dcbf); 9529f64bd8aSPaolo Bonzini spapr_register_hypercall(KVMPPC_H_LOGICAL_MEMOP, h_logical_memop); 9539f64bd8aSPaolo Bonzini 9549f64bd8aSPaolo Bonzini /* qemu/KVM-PPC specific hcalls */ 9559f64bd8aSPaolo Bonzini spapr_register_hypercall(KVMPPC_H_RTAS, h_rtas); 95642561bf2SAnton Blanchard 95742561bf2SAnton Blanchard spapr_register_hypercall(H_SET_MODE, h_set_mode); 9582a6593cbSAlexey Kardashevskiy 9592a6593cbSAlexey Kardashevskiy /* ibm,client-architecture-support support */ 9602a6593cbSAlexey Kardashevskiy spapr_register_hypercall(KVMPPC_H_CAS, h_client_architecture_support); 9619f64bd8aSPaolo Bonzini } 9629f64bd8aSPaolo Bonzini 9639f64bd8aSPaolo Bonzini type_init(hypercall_register_types) 964