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"
22*74781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
23137f4d87SPhilippe Mathieu-Daudé #include "../internal.h"
24137f4d87SPhilippe Mathieu-Daudé
is_seg_am_mapped(unsigned int am,bool eu,int mmu_idx)25137f4d87SPhilippe Mathieu-Daudé static int is_seg_am_mapped(unsigned int am, bool eu, int mmu_idx)
26137f4d87SPhilippe Mathieu-Daudé {
27137f4d87SPhilippe Mathieu-Daudé /*
28137f4d87SPhilippe Mathieu-Daudé * Interpret access control mode and mmu_idx.
29137f4d87SPhilippe Mathieu-Daudé * AdE? TLB?
30137f4d87SPhilippe Mathieu-Daudé * AM K S U E K S U E
31137f4d87SPhilippe Mathieu-Daudé * UK 0 0 1 1 0 0 - - 0
32137f4d87SPhilippe Mathieu-Daudé * MK 1 0 1 1 0 1 - - !eu
33137f4d87SPhilippe Mathieu-Daudé * MSK 2 0 0 1 0 1 1 - !eu
34137f4d87SPhilippe Mathieu-Daudé * MUSK 3 0 0 0 0 1 1 1 !eu
35137f4d87SPhilippe Mathieu-Daudé * MUSUK 4 0 0 0 0 0 1 1 0
36137f4d87SPhilippe Mathieu-Daudé * USK 5 0 0 1 0 0 0 - 0
37137f4d87SPhilippe Mathieu-Daudé * - 6 - - - - - - - -
38137f4d87SPhilippe Mathieu-Daudé * UUSK 7 0 0 0 0 0 0 0 0
39137f4d87SPhilippe Mathieu-Daudé */
40137f4d87SPhilippe Mathieu-Daudé int32_t adetlb_mask;
41137f4d87SPhilippe Mathieu-Daudé
42137f4d87SPhilippe Mathieu-Daudé switch (mmu_idx) {
43137f4d87SPhilippe Mathieu-Daudé case 3: /* ERL */
44137f4d87SPhilippe Mathieu-Daudé /* If EU is set, always unmapped */
45137f4d87SPhilippe Mathieu-Daudé if (eu) {
46137f4d87SPhilippe Mathieu-Daudé return 0;
47137f4d87SPhilippe Mathieu-Daudé }
48137f4d87SPhilippe Mathieu-Daudé /* fall through */
49137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_KM:
50137f4d87SPhilippe Mathieu-Daudé /* Never AdE, TLB mapped if AM={1,2,3} */
51137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0x70000000;
52137f4d87SPhilippe Mathieu-Daudé goto check_tlb;
53137f4d87SPhilippe Mathieu-Daudé
54137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_SM:
55137f4d87SPhilippe Mathieu-Daudé /* AdE if AM={0,1}, TLB mapped if AM={2,3,4} */
56137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0xc0380000;
57137f4d87SPhilippe Mathieu-Daudé goto check_ade;
58137f4d87SPhilippe Mathieu-Daudé
59137f4d87SPhilippe Mathieu-Daudé case MIPS_HFLAG_UM:
60137f4d87SPhilippe Mathieu-Daudé /* AdE if AM={0,1,2,5}, TLB mapped if AM={3,4} */
61137f4d87SPhilippe Mathieu-Daudé adetlb_mask = 0xe4180000;
62137f4d87SPhilippe Mathieu-Daudé /* fall through */
63137f4d87SPhilippe Mathieu-Daudé check_ade:
64137f4d87SPhilippe Mathieu-Daudé /* does this AM cause AdE in current execution mode */
65137f4d87SPhilippe Mathieu-Daudé if ((adetlb_mask << am) < 0) {
66137f4d87SPhilippe Mathieu-Daudé return TLBRET_BADADDR;
67137f4d87SPhilippe Mathieu-Daudé }
68137f4d87SPhilippe Mathieu-Daudé adetlb_mask <<= 8;
69137f4d87SPhilippe Mathieu-Daudé /* fall through */
70137f4d87SPhilippe Mathieu-Daudé check_tlb:
71137f4d87SPhilippe Mathieu-Daudé /* is this AM mapped in current execution mode */
72137f4d87SPhilippe Mathieu-Daudé return ((adetlb_mask << am) < 0);
73137f4d87SPhilippe Mathieu-Daudé default:
74a43972e1SPhilippe Mathieu-Daudé g_assert_not_reached();
75137f4d87SPhilippe Mathieu-Daudé };
76137f4d87SPhilippe Mathieu-Daudé }
77137f4d87SPhilippe Mathieu-Daudé
get_seg_physical_address(CPUMIPSState * env,hwaddr * physical,int * prot,target_ulong real_address,MMUAccessType access_type,int mmu_idx,unsigned int am,bool eu,target_ulong segmask,hwaddr physical_base)78137f4d87SPhilippe Mathieu-Daudé static int get_seg_physical_address(CPUMIPSState *env, hwaddr *physical,
79137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address,
80137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx,
81137f4d87SPhilippe Mathieu-Daudé unsigned int am, bool eu,
82137f4d87SPhilippe Mathieu-Daudé target_ulong segmask,
83137f4d87SPhilippe Mathieu-Daudé hwaddr physical_base)
84137f4d87SPhilippe Mathieu-Daudé {
85137f4d87SPhilippe Mathieu-Daudé int mapped = is_seg_am_mapped(am, eu, mmu_idx);
86137f4d87SPhilippe Mathieu-Daudé
87137f4d87SPhilippe Mathieu-Daudé if (mapped < 0) {
88137f4d87SPhilippe Mathieu-Daudé /* is_seg_am_mapped can report TLBRET_BADADDR */
89137f4d87SPhilippe Mathieu-Daudé return mapped;
90137f4d87SPhilippe Mathieu-Daudé } else if (mapped) {
91137f4d87SPhilippe Mathieu-Daudé /* The segment is TLB mapped */
92137f4d87SPhilippe Mathieu-Daudé return env->tlb->map_address(env, physical, prot, real_address,
93137f4d87SPhilippe Mathieu-Daudé access_type);
94137f4d87SPhilippe Mathieu-Daudé } else {
95137f4d87SPhilippe Mathieu-Daudé /* The segment is unmapped */
96137f4d87SPhilippe Mathieu-Daudé *physical = physical_base | (real_address & segmask);
97137f4d87SPhilippe Mathieu-Daudé *prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
98137f4d87SPhilippe Mathieu-Daudé return TLBRET_MATCH;
99137f4d87SPhilippe Mathieu-Daudé }
100137f4d87SPhilippe Mathieu-Daudé }
101137f4d87SPhilippe Mathieu-Daudé
get_segctl_physical_address(CPUMIPSState * env,hwaddr * physical,int * prot,target_ulong real_address,MMUAccessType access_type,int mmu_idx,uint16_t segctl,target_ulong segmask)102137f4d87SPhilippe Mathieu-Daudé static int get_segctl_physical_address(CPUMIPSState *env, hwaddr *physical,
103137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address,
104137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx,
105137f4d87SPhilippe Mathieu-Daudé uint16_t segctl, target_ulong segmask)
106137f4d87SPhilippe Mathieu-Daudé {
107137f4d87SPhilippe Mathieu-Daudé unsigned int am = (segctl & CP0SC_AM_MASK) >> CP0SC_AM;
108137f4d87SPhilippe Mathieu-Daudé bool eu = (segctl >> CP0SC_EU) & 1;
109137f4d87SPhilippe Mathieu-Daudé hwaddr pa = ((hwaddr)segctl & CP0SC_PA_MASK) << 20;
110137f4d87SPhilippe Mathieu-Daudé
111137f4d87SPhilippe Mathieu-Daudé return get_seg_physical_address(env, physical, prot, real_address,
112137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx, am, eu, segmask,
113137f4d87SPhilippe Mathieu-Daudé pa & ~(hwaddr)segmask);
114137f4d87SPhilippe Mathieu-Daudé }
115137f4d87SPhilippe Mathieu-Daudé
get_physical_address(CPUMIPSState * env,hwaddr * physical,int * prot,target_ulong real_address,MMUAccessType access_type,int mmu_idx)116137f4d87SPhilippe Mathieu-Daudé int get_physical_address(CPUMIPSState *env, hwaddr *physical,
117137f4d87SPhilippe Mathieu-Daudé int *prot, target_ulong real_address,
118137f4d87SPhilippe Mathieu-Daudé MMUAccessType access_type, int mmu_idx)
119137f4d87SPhilippe Mathieu-Daudé {
120137f4d87SPhilippe Mathieu-Daudé /* User mode can only access useg/xuseg */
121137f4d87SPhilippe Mathieu-Daudé #if defined(TARGET_MIPS64)
122137f4d87SPhilippe Mathieu-Daudé int user_mode = mmu_idx == MIPS_HFLAG_UM;
123137f4d87SPhilippe Mathieu-Daudé int supervisor_mode = mmu_idx == MIPS_HFLAG_SM;
124137f4d87SPhilippe Mathieu-Daudé int kernel_mode = !user_mode && !supervisor_mode;
125137f4d87SPhilippe Mathieu-Daudé int UX = (env->CP0_Status & (1 << CP0St_UX)) != 0;
126137f4d87SPhilippe Mathieu-Daudé int SX = (env->CP0_Status & (1 << CP0St_SX)) != 0;
127137f4d87SPhilippe Mathieu-Daudé int KX = (env->CP0_Status & (1 << CP0St_KX)) != 0;
128137f4d87SPhilippe Mathieu-Daudé #endif
129137f4d87SPhilippe Mathieu-Daudé int ret = TLBRET_MATCH;
130137f4d87SPhilippe Mathieu-Daudé /* effective address (modified for KVM T&E kernel segments) */
131137f4d87SPhilippe Mathieu-Daudé target_ulong address = real_address;
132137f4d87SPhilippe Mathieu-Daudé
133137f4d87SPhilippe Mathieu-Daudé if (address <= USEG_LIMIT) {
134137f4d87SPhilippe Mathieu-Daudé /* useg */
135137f4d87SPhilippe Mathieu-Daudé uint16_t segctl;
136137f4d87SPhilippe Mathieu-Daudé
137137f4d87SPhilippe Mathieu-Daudé if (address >= 0x40000000UL) {
138137f4d87SPhilippe Mathieu-Daudé segctl = env->CP0_SegCtl2;
139137f4d87SPhilippe Mathieu-Daudé } else {
140137f4d87SPhilippe Mathieu-Daudé segctl = env->CP0_SegCtl2 >> 16;
141137f4d87SPhilippe Mathieu-Daudé }
142137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot,
143137f4d87SPhilippe Mathieu-Daudé real_address, access_type,
144137f4d87SPhilippe Mathieu-Daudé mmu_idx, segctl, 0x3FFFFFFF);
145137f4d87SPhilippe Mathieu-Daudé #if defined(TARGET_MIPS64)
146137f4d87SPhilippe Mathieu-Daudé } else if (address < 0x4000000000000000ULL) {
147137f4d87SPhilippe Mathieu-Daudé /* xuseg */
148137f4d87SPhilippe Mathieu-Daudé if (UX && address <= (0x3FFFFFFFFFFFFFFFULL & env->SEGMask)) {
149137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot,
150137f4d87SPhilippe Mathieu-Daudé real_address, access_type);
151137f4d87SPhilippe Mathieu-Daudé } else {
152137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR;
153137f4d87SPhilippe Mathieu-Daudé }
154137f4d87SPhilippe Mathieu-Daudé } else if (address < 0x8000000000000000ULL) {
155137f4d87SPhilippe Mathieu-Daudé /* xsseg */
156137f4d87SPhilippe Mathieu-Daudé if ((supervisor_mode || kernel_mode) &&
157137f4d87SPhilippe Mathieu-Daudé SX && address <= (0x7FFFFFFFFFFFFFFFULL & env->SEGMask)) {
158137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot,
159137f4d87SPhilippe Mathieu-Daudé real_address, access_type);
160137f4d87SPhilippe Mathieu-Daudé } else {
161137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR;
162137f4d87SPhilippe Mathieu-Daudé }
163137f4d87SPhilippe Mathieu-Daudé } else if (address < 0xC000000000000000ULL) {
164137f4d87SPhilippe Mathieu-Daudé /* xkphys */
165137f4d87SPhilippe Mathieu-Daudé if ((address & 0x07FFFFFFFFFFFFFFULL) <= env->PAMask) {
166137f4d87SPhilippe Mathieu-Daudé /* KX/SX/UX bit to check for each xkphys EVA access mode */
167137f4d87SPhilippe Mathieu-Daudé static const uint8_t am_ksux[8] = {
168137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_UK] = (1u << CP0St_KX),
169137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MK] = (1u << CP0St_KX),
170137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MSK] = (1u << CP0St_SX),
171137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MUSK] = (1u << CP0St_UX),
172137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_MUSUK] = (1u << CP0St_UX),
173137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_USK] = (1u << CP0St_SX),
174137f4d87SPhilippe Mathieu-Daudé [6] = (1u << CP0St_KX),
175137f4d87SPhilippe Mathieu-Daudé [CP0SC_AM_UUSK] = (1u << CP0St_UX),
176137f4d87SPhilippe Mathieu-Daudé };
177137f4d87SPhilippe Mathieu-Daudé unsigned int am = CP0SC_AM_UK;
178137f4d87SPhilippe Mathieu-Daudé unsigned int xr = (env->CP0_SegCtl2 & CP0SC2_XR_MASK) >> CP0SC2_XR;
179137f4d87SPhilippe Mathieu-Daudé
180137f4d87SPhilippe Mathieu-Daudé if (xr & (1 << ((address >> 59) & 0x7))) {
181137f4d87SPhilippe Mathieu-Daudé am = (env->CP0_SegCtl1 & CP0SC1_XAM_MASK) >> CP0SC1_XAM;
182137f4d87SPhilippe Mathieu-Daudé }
183137f4d87SPhilippe Mathieu-Daudé /* Does CP0_Status.KX/SX/UX permit the access mode (am) */
184137f4d87SPhilippe Mathieu-Daudé if (env->CP0_Status & am_ksux[am]) {
185137f4d87SPhilippe Mathieu-Daudé ret = get_seg_physical_address(env, physical, prot,
186137f4d87SPhilippe Mathieu-Daudé real_address, access_type,
187137f4d87SPhilippe Mathieu-Daudé mmu_idx, am, false, env->PAMask,
188137f4d87SPhilippe Mathieu-Daudé 0);
189137f4d87SPhilippe Mathieu-Daudé } else {
190137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR;
191137f4d87SPhilippe Mathieu-Daudé }
192137f4d87SPhilippe Mathieu-Daudé } else {
193137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR;
194137f4d87SPhilippe Mathieu-Daudé }
195137f4d87SPhilippe Mathieu-Daudé } else if (address < 0xFFFFFFFF80000000ULL) {
196137f4d87SPhilippe Mathieu-Daudé /* xkseg */
197137f4d87SPhilippe Mathieu-Daudé if (kernel_mode && KX &&
198137f4d87SPhilippe Mathieu-Daudé address <= (0xFFFFFFFF7FFFFFFFULL & env->SEGMask)) {
199137f4d87SPhilippe Mathieu-Daudé ret = env->tlb->map_address(env, physical, prot,
200137f4d87SPhilippe Mathieu-Daudé real_address, access_type);
201137f4d87SPhilippe Mathieu-Daudé } else {
202137f4d87SPhilippe Mathieu-Daudé ret = TLBRET_BADADDR;
203137f4d87SPhilippe Mathieu-Daudé }
204137f4d87SPhilippe Mathieu-Daudé #endif
205137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG1_BASE) {
206137f4d87SPhilippe Mathieu-Daudé /* kseg0 */
207137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address,
208137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx,
209137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl1 >> 16, 0x1FFFFFFF);
210137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG2_BASE) {
211137f4d87SPhilippe Mathieu-Daudé /* kseg1 */
212137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address,
213137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx,
214137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl1, 0x1FFFFFFF);
215137f4d87SPhilippe Mathieu-Daudé } else if (address < KSEG3_BASE) {
216137f4d87SPhilippe Mathieu-Daudé /* sseg (kseg2) */
217137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address,
218137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx,
219137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl0 >> 16, 0x1FFFFFFF);
220137f4d87SPhilippe Mathieu-Daudé } else {
221137f4d87SPhilippe Mathieu-Daudé /*
222137f4d87SPhilippe Mathieu-Daudé * kseg3
223137f4d87SPhilippe Mathieu-Daudé * XXX: debug segment is not emulated
224137f4d87SPhilippe Mathieu-Daudé */
225137f4d87SPhilippe Mathieu-Daudé ret = get_segctl_physical_address(env, physical, prot, real_address,
226137f4d87SPhilippe Mathieu-Daudé access_type, mmu_idx,
227137f4d87SPhilippe Mathieu-Daudé env->CP0_SegCtl0, 0x1FFFFFFF);
228137f4d87SPhilippe Mathieu-Daudé }
229137f4d87SPhilippe Mathieu-Daudé return ret;
230137f4d87SPhilippe Mathieu-Daudé }
231137f4d87SPhilippe Mathieu-Daudé
mips_cpu_get_phys_page_debug(CPUState * cs,vaddr addr)232137f4d87SPhilippe Mathieu-Daudé hwaddr mips_cpu_get_phys_page_debug(CPUState *cs, vaddr addr)
233137f4d87SPhilippe Mathieu-Daudé {
2344c44a980SPhilippe Mathieu-Daudé CPUMIPSState *env = cpu_env(cs);
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,
2396ebf33c5SRichard 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