xref: /openbmc/qemu/target/mips/sysemu/physaddr.c (revision 873f9ca3857cfeeef45441b116c91156736d529c)
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