xref: /qemu/target/mips/system/physaddr.c (revision 84307cd6027c4602913177ff09aeefa4743b7234)
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