1137f4d87SPhilippe Mathieu-Daudé /* 2137f4d87SPhilippe Mathieu-Daudé * MIPS TLB (Translation lookaside buffer) helpers. 3137f4d87SPhilippe Mathieu-Daudé * 4137f4d87SPhilippe Mathieu-Daudé * Copyright (c) 2004-2005 Jocelyn Mayer 5137f4d87SPhilippe Mathieu-Daudé * 6137f4d87SPhilippe Mathieu-Daudé * This library is free software; you can redistribute it and/or 7137f4d87SPhilippe Mathieu-Daudé * modify it under the terms of the GNU Lesser General Public 8137f4d87SPhilippe Mathieu-Daudé * License as published by the Free Software Foundation; either 9137f4d87SPhilippe Mathieu-Daudé * version 2.1 of the License, or (at your option) any later version. 10137f4d87SPhilippe Mathieu-Daudé * 11137f4d87SPhilippe Mathieu-Daudé * This library is distributed in the hope that it will be useful, 12137f4d87SPhilippe Mathieu-Daudé * but WITHOUT ANY WARRANTY; without even the implied warranty of 13137f4d87SPhilippe Mathieu-Daudé * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14137f4d87SPhilippe Mathieu-Daudé * Lesser General Public License for more details. 15137f4d87SPhilippe Mathieu-Daudé * 16137f4d87SPhilippe Mathieu-Daudé * You should have received a copy of the GNU Lesser General Public 17137f4d87SPhilippe Mathieu-Daudé * License along with this library; if not, see <http://www.gnu.org/licenses/>. 18137f4d87SPhilippe Mathieu-Daudé */ 19137f4d87SPhilippe Mathieu-Daudé #include "qemu/osdep.h" 20137f4d87SPhilippe Mathieu-Daudé #include "cpu.h" 21137f4d87SPhilippe Mathieu-Daudé #include "exec/exec-all.h" 22137f4d87SPhilippe Mathieu-Daudé #include "../internal.h" 23137f4d87SPhilippe Mathieu-Daudé 24137f4d87SPhilippe Mathieu-Daudé static int is_seg_am_mapped(unsigned int am, bool eu, int mmu_idx) 25137f4d87SPhilippe Mathieu-Daudé { 26137f4d87SPhilippe Mathieu-Daudé /* 27137f4d87SPhilippe Mathieu-Daudé * Interpret access control mode and mmu_idx. 28137f4d87SPhilippe Mathieu-Daudé * AdE? TLB? 29137f4d87SPhilippe Mathieu-Daudé * AM K S U E K S U E 30137f4d87SPhilippe Mathieu-Daudé * UK 0 0 1 1 0 0 - - 0 31137f4d87SPhilippe Mathieu-Daudé * MK 1 0 1 1 0 1 - - !eu 32137f4d87SPhilippe Mathieu-Daudé * MSK 2 0 0 1 0 1 1 - !eu 33137f4d87SPhilippe Mathieu-Daudé * MUSK 3 0 0 0 0 1 1 1 !eu 34137f4d87SPhilippe Mathieu-Daudé * MUSUK 4 0 0 0 0 0 1 1 0 35137f4d87SPhilippe Mathieu-Daudé * USK 5 0 0 1 0 0 0 - 0 36137f4d87SPhilippe Mathieu-Daudé * - 6 - - - - - - - - 37137f4d87SPhilippe Mathieu-Daudé * UUSK 7 0 0 0 0 0 0 0 0 38137f4d87SPhilippe Mathieu-Daudé */ 39137f4d87SPhilippe Mathieu-Daudé int32_t adetlb_mask; 40137f4d87SPhilippe Mathieu-Daudé 41137f4d87SPhilippe Mathieu-Daudé switch (mmu_idx) { 42137f4d87SPhilippe Mathieu-Daudé case 3: /* ERL */ 43137f4d87SPhilippe Mathieu-Daudé /* If EU is set, always unmapped */ 44137f4d87SPhilippe Mathieu-Daudé if (eu) { 45137f4d87SPhilippe Mathieu-Daudé return 0; 46137f4d87SPhilippe Mathieu-Daudé } 47137f4d87SPhilippe Mathieu-Daudé /* fall through */ 48137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_KM: 49137f4d87SPhilippe Mathieu-Daudé /* Never AdE, TLB mapped if AM={1,2,3} */ 50137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0x70000000; 51137f4d87SPhilippe Mathieu-Daudé goto check_tlb; 52137f4d87SPhilippe Mathieu-Daudé 53137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_SM: 54137f4d87SPhilippe Mathieu-Daudé /* AdE if AM={0,1}, TLB mapped if AM={2,3,4} */ 55137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0xc0380000; 56137f4d87SPhilippe Mathieu-Daudé goto check_ade; 57137f4d87SPhilippe Mathieu-Daudé 58137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_UM: 59137f4d87SPhilippe Mathieu-Daudé /* AdE if AM={0,1,2,5}, TLB mapped if AM={3,4} */ 60137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0xe4180000; 61137f4d87SPhilippe Mathieu-Daudé /* fall through */ 62137f4d87SPhilippe Mathieu-Daudé check_ade: 63137f4d87SPhilippe Mathieu-Daudé /* does this AM cause AdE in current execution mode */ 64137f4d87SPhilippe Mathieu-Daudé if ((adetlb_mask << am) < 0) { 65137f4d87SPhilippe Mathieu-Daudé return TLBRET_BADADDR; 66137f4d87SPhilippe Mathieu-Daudé } 67137f4d87SPhilippe Mathieu-Daudé adetlb_mask <<= 8; 68137f4d87SPhilippe Mathieu-Daudé /* fall through */ 69137f4d87SPhilippe Mathieu-Daudé check_tlb: 70137f4d87SPhilippe Mathieu-Daudé /* is this AM mapped in current execution mode */ 71137f4d87SPhilippe Mathieu-Daudé return ((adetlb_mask << am) < 0); 72137f4d87SPhilippe Mathieu-Daudé default: 73a43972e1SPhilippe Mathieu-Daudé g_assert_not_reached(); 74137f4d87SPhilippe Mathieu-Daudé }; 75137f4d87SPhilippe Mathieu-Daudé } 76137f4d87SPhilippe Mathieu-Daudé 77137f4d87SPhilippe Mathieu-Daudé static int get_seg_physical_address(CPUMIPSState *env, hwaddr *physical, 78137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address, 79137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 80137f4d87SPhilippe Mathieu-Daudé unsigned int am, bool eu, 81137f4d87SPhilippe Mathieu-Daudé target_ulong segmask, 82137f4d87SPhilippe Mathieu-Daudé hwaddr physical_base) 83137f4d87SPhilippe Mathieu-Daudé { 84137f4d87SPhilippe Mathieu-Daudé int mapped = is_seg_am_mapped(am, eu, mmu_idx); 85137f4d87SPhilippe Mathieu-Daudé 86137f4d87SPhilippe Mathieu-Daudé if (mapped < 0) { 87137f4d87SPhilippe Mathieu-Daudé /* is_seg_am_mapped can report TLBRET_BADADDR */ 88137f4d87SPhilippe Mathieu-Daudé return mapped; 89137f4d87SPhilippe Mathieu-Daudé } else if (mapped) { 90137f4d87SPhilippe Mathieu-Daudé /* The segment is TLB mapped */ 91137f4d87SPhilippe Mathieu-Daudé return env->tlb->map_address(env, physical, prot, real_address, 92137f4d87SPhilippe Mathieu-Daudé access_type); 93137f4d87SPhilippe Mathieu-Daudé } else { 94137f4d87SPhilippe Mathieu-Daudé /* The segment is unmapped */ 95137f4d87SPhilippe Mathieu-Daudé *physical = physical_base | (real_address & segmask); 96137f4d87SPhilippe Mathieu-Daudé *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 97137f4d87SPhilippe Mathieu-Daudé return TLBRET_MATCH; 98137f4d87SPhilippe Mathieu-Daudé } 99137f4d87SPhilippe Mathieu-Daudé } 100137f4d87SPhilippe Mathieu-Daudé 101137f4d87SPhilippe Mathieu-Daudé static int get_segctl_physical_address(CPUMIPSState *env, hwaddr *physical, 102137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address, 103137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx, 104137f4d87SPhilippe Mathieu-Daudé uint16_t segctl, target_ulong segmask) 105137f4d87SPhilippe Mathieu-Daudé { 106137f4d87SPhilippe Mathieu-Daudé unsigned int am = (segctl & CP0SC_AM_MASK) >> CP0SC_AM; 107137f4d87SPhilippe Mathieu-Daudé bool eu = (segctl >> CP0SC_EU) & 1; 108137f4d87SPhilippe Mathieu-Daudé hwaddr pa = ((hwaddr)segctl & CP0SC_PA_MASK) << 20; 109137f4d87SPhilippe Mathieu-Daudé 110137f4d87SPhilippe Mathieu-Daudé return get_seg_physical_address(env, physical, prot, real_address, 111137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, am, eu, segmask, 112137f4d87SPhilippe Mathieu-Daudé pa & ~(hwaddr)segmask); 113137f4d87SPhilippe Mathieu-Daudé } 114137f4d87SPhilippe Mathieu-Daudé 115137f4d87SPhilippe Mathieu-Daudé int get_physical_address(CPUMIPSState *env, hwaddr *physical, 116137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address, 117137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx) 118137f4d87SPhilippe Mathieu-Daudé { 119137f4d87SPhilippe Mathieu-Daudé /* User mode can only access useg/xuseg */ 120137f4d87SPhilippe Mathieu-Daudé #if defined(TARGET_MIPS64) 121137f4d87SPhilippe Mathieu-Daudé int user_mode = mmu_idx == MIPS_HFLAG_UM; 122137f4d87SPhilippe Mathieu-Daudé int supervisor_mode = mmu_idx == MIPS_HFLAG_SM; 123137f4d87SPhilippe Mathieu-Daudé int kernel_mode = !user_mode && !supervisor_mode; 124137f4d87SPhilippe Mathieu-Daudé int UX = (env->CP0_Status & (1 << CP0St_UX)) != 0; 125137f4d87SPhilippe Mathieu-Daudé int SX = (env->CP0_Status & (1 << CP0St_SX)) != 0; 126137f4d87SPhilippe Mathieu-Daudé int KX = (env->CP0_Status & (1 << CP0St_KX)) != 0; 127137f4d87SPhilippe Mathieu-Daudé #endif 128137f4d87SPhilippe Mathieu-Daudé int ret = TLBRET_MATCH; 129137f4d87SPhilippe Mathieu-Daudé /* effective address (modified for KVM T&E kernel segments) */ 130137f4d87SPhilippe Mathieu-Daudé target_ulong address = real_address; 131137f4d87SPhilippe Mathieu-Daudé 132137f4d87SPhilippe Mathieu-Daudé if (address <= USEG_LIMIT) { 133137f4d87SPhilippe Mathieu-Daudé /* useg */ 134137f4d87SPhilippe Mathieu-Daudé uint16_t segctl; 135137f4d87SPhilippe Mathieu-Daudé 136137f4d87SPhilippe Mathieu-Daudé if (address >= 0x40000000UL) { 137137f4d87SPhilippe Mathieu-Daudé segctl = env->CP0_SegCtl2; 138137f4d87SPhilippe Mathieu-Daudé } else { 139137f4d87SPhilippe Mathieu-Daudé segctl = env->CP0_SegCtl2 >> 16; 140137f4d87SPhilippe Mathieu-Daudé } 141137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, 142137f4d87SPhilippe Mathieu-Daudé real_address, access_type, 143137f4d87SPhilippe Mathieu-Daudé mmu_idx, segctl, 0x3FFFFFFF); 144137f4d87SPhilippe Mathieu-Daudé #if defined(TARGET_MIPS64) 145137f4d87SPhilippe Mathieu-Daudé } else if (address < 0x4000000000000000ULL) { 146137f4d87SPhilippe Mathieu-Daudé /* xuseg */ 147137f4d87SPhilippe Mathieu-Daudé if (UX && address <= (0x3FFFFFFFFFFFFFFFULL & env->SEGMask)) { 148137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot, 149137f4d87SPhilippe Mathieu-Daudé real_address, access_type); 150137f4d87SPhilippe Mathieu-Daudé } else { 151137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR; 152137f4d87SPhilippe Mathieu-Daudé } 153137f4d87SPhilippe Mathieu-Daudé } else if (address < 0x8000000000000000ULL) { 154137f4d87SPhilippe Mathieu-Daudé /* xsseg */ 155137f4d87SPhilippe Mathieu-Daudé if ((supervisor_mode || kernel_mode) && 156137f4d87SPhilippe Mathieu-Daudé SX && address <= (0x7FFFFFFFFFFFFFFFULL & env->SEGMask)) { 157137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot, 158137f4d87SPhilippe Mathieu-Daudé real_address, access_type); 159137f4d87SPhilippe Mathieu-Daudé } else { 160137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR; 161137f4d87SPhilippe Mathieu-Daudé } 162137f4d87SPhilippe Mathieu-Daudé } else if (address < 0xC000000000000000ULL) { 163137f4d87SPhilippe Mathieu-Daudé /* xkphys */ 164137f4d87SPhilippe Mathieu-Daudé if ((address & 0x07FFFFFFFFFFFFFFULL) <= env->PAMask) { 165137f4d87SPhilippe Mathieu-Daudé /* KX/SX/UX bit to check for each xkphys EVA access mode */ 166137f4d87SPhilippe Mathieu-Daudé static const uint8_t am_ksux[8] = { 167137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_UK] = (1u << CP0St_KX), 168137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MK] = (1u << CP0St_KX), 169137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MSK] = (1u << CP0St_SX), 170137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MUSK] = (1u << CP0St_UX), 171137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MUSUK] = (1u << CP0St_UX), 172137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_USK] = (1u << CP0St_SX), 173137f4d87SPhilippe Mathieu-Daudé [6] = (1u << CP0St_KX), 174137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_UUSK] = (1u << CP0St_UX), 175137f4d87SPhilippe Mathieu-Daudé }; 176137f4d87SPhilippe Mathieu-Daudé unsigned int am = CP0SC_AM_UK; 177137f4d87SPhilippe Mathieu-Daudé unsigned int xr = (env->CP0_SegCtl2 & CP0SC2_XR_MASK) >> CP0SC2_XR; 178137f4d87SPhilippe Mathieu-Daudé 179137f4d87SPhilippe Mathieu-Daudé if (xr & (1 << ((address >> 59) & 0x7))) { 180137f4d87SPhilippe Mathieu-Daudé am = (env->CP0_SegCtl1 & CP0SC1_XAM_MASK) >> CP0SC1_XAM; 181137f4d87SPhilippe Mathieu-Daudé } 182137f4d87SPhilippe Mathieu-Daudé /* Does CP0_Status.KX/SX/UX permit the access mode (am) */ 183137f4d87SPhilippe Mathieu-Daudé if (env->CP0_Status & am_ksux[am]) { 184137f4d87SPhilippe Mathieu-Daudé ret = get_seg_physical_address(env, physical, prot, 185137f4d87SPhilippe Mathieu-Daudé real_address, access_type, 186137f4d87SPhilippe Mathieu-Daudé mmu_idx, am, false, env->PAMask, 187137f4d87SPhilippe Mathieu-Daudé 0); 188137f4d87SPhilippe Mathieu-Daudé } else { 189137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR; 190137f4d87SPhilippe Mathieu-Daudé } 191137f4d87SPhilippe Mathieu-Daudé } else { 192137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR; 193137f4d87SPhilippe Mathieu-Daudé } 194137f4d87SPhilippe Mathieu-Daudé } else if (address < 0xFFFFFFFF80000000ULL) { 195137f4d87SPhilippe Mathieu-Daudé /* xkseg */ 196137f4d87SPhilippe Mathieu-Daudé if (kernel_mode && KX && 197137f4d87SPhilippe Mathieu-Daudé address <= (0xFFFFFFFF7FFFFFFFULL & env->SEGMask)) { 198137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot, 199137f4d87SPhilippe Mathieu-Daudé real_address, access_type); 200137f4d87SPhilippe Mathieu-Daudé } else { 201137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR; 202137f4d87SPhilippe Mathieu-Daudé } 203137f4d87SPhilippe Mathieu-Daudé #endif 204137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG1_BASE) { 205137f4d87SPhilippe Mathieu-Daudé /* kseg0 */ 206137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address, 207137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, 208137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl1 >> 16, 0x1FFFFFFF); 209137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG2_BASE) { 210137f4d87SPhilippe Mathieu-Daudé /* kseg1 */ 211137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address, 212137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, 213137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl1, 0x1FFFFFFF); 214137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG3_BASE) { 215137f4d87SPhilippe Mathieu-Daudé /* sseg (kseg2) */ 216137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address, 217137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, 218137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl0 >> 16, 0x1FFFFFFF); 219137f4d87SPhilippe Mathieu-Daudé } else { 220137f4d87SPhilippe Mathieu-Daudé /* 221137f4d87SPhilippe Mathieu-Daudé * kseg3 222137f4d87SPhilippe Mathieu-Daudé * XXX: debug segment is not emulated 223137f4d87SPhilippe Mathieu-Daudé */ 224137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address, 225137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, 226137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl0, 0x1FFFFFFF); 227137f4d87SPhilippe Mathieu-Daudé } 228137f4d87SPhilippe Mathieu-Daudé return ret; 229137f4d87SPhilippe Mathieu-Daudé } 230137f4d87SPhilippe Mathieu-Daudé 231137f4d87SPhilippe Mathieu-Daudé hwaddr mips_cpu_get_phys_page_debug(CPUState *cs, vaddr addr) 232137f4d87SPhilippe Mathieu-Daudé { 233137f4d87SPhilippe Mathieu-Daudé MIPSCPU *cpu = MIPS_CPU(cs); 234137f4d87SPhilippe Mathieu-Daudé CPUMIPSState *env = &cpu->env; 235137f4d87SPhilippe Mathieu-Daudé hwaddr phys_addr; 236137f4d87SPhilippe Mathieu-Daudé int prot; 237137f4d87SPhilippe Mathieu-Daudé 238137f4d87SPhilippe Mathieu-Daudé if (get_physical_address(env, &phys_addr, &prot, addr, MMU_DATA_LOAD, 239*6ebf33c5SRichard Henderson mips_env_mmu_index(env)) != 0) { 240137f4d87SPhilippe Mathieu-Daudé return -1; 241137f4d87SPhilippe Mathieu-Daudé } 242137f4d87SPhilippe Mathieu-Daudé return phys_addr; 243137f4d87SPhilippe Mathieu-Daudé } 244