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"
21*74781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
22137f4d87SPhilippe Mathieu-Daudé #include "../internal.h"
23137f4d87SPhilippe Mathieu-Daudé
is_seg_am_mapped(unsigned int am,bool eu,int mmu_idx)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é
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)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é
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)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é
get_physical_address(CPUMIPSState * env,hwaddr * physical,int * prot,target_ulong real_address,MMUAccessType access_type,int mmu_idx)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é
mips_cpu_get_phys_page_debug(CPUState * cs,vaddr addr)231137f4d87SPhilippe Mathieu-Daudé hwaddr mips_cpu_get_phys_page_debug(CPUState *cs, vaddr addr)
232137f4d87SPhilippe Mathieu-Daudé {
2334c44a980SPhilippe Mathieu-Daudé CPUMIPSState *env = cpu_env(cs);
234137f4d87SPhilippe Mathieu-Daudé hwaddr phys_addr;
235137f4d87SPhilippe Mathieu-Daudé int prot;
236137f4d87SPhilippe Mathieu-Daudé
237137f4d87SPhilippe Mathieu-Daudé if (get_physical_address(env, &phys_addr, &prot, addr, MMU_DATA_LOAD,
2386ebf33c5SRichard Henderson mips_env_mmu_index(env)) != 0) {
239137f4d87SPhilippe Mathieu-Daudé return -1;
240137f4d87SPhilippe Mathieu-Daudé }
241137f4d87SPhilippe Mathieu-Daudé return phys_addr;
242137f4d87SPhilippe Mathieu-Daudé }
243