xref: /openbmc/qemu/target/ppc/mmu-book3s-v3.h (revision 7c08eefc)
1 /*
2  *  PowerPC ISAV3 BookS emulation generic mmu definitions for qemu.
3  *
4  *  Copyright (c) 2017 Suraj Jitindar Singh, IBM Corporation
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Lesser General Public
8  * License as published by the Free Software Foundation; either
9  * version 2.1 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public
17  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18  */
19 
20 #ifndef PPC_MMU_BOOK3S_V3_H
21 #define PPC_MMU_BOOK3S_V3_H
22 
23 #include "mmu-hash64.h"
24 #include "mmu-books.h"
25 
26 #ifndef CONFIG_USER_ONLY
27 
28 /*
29  * Partition table definitions
30  */
31 #define PTCR_PATB               0x0FFFFFFFFFFFF000ULL /* Partition Table Base */
32 #define PTCR_PATS               0x000000000000001FULL /* Partition Table Size */
33 
34 /* Partition Table Entry Fields */
35 #define PATE0_HR 0x8000000000000000
36 
37 /*
38  * WARNING: This field doesn't actually exist in the final version of
39  * the architecture and is unused by hardware. However, qemu uses it
40  * as an indication of a radix guest in the pseudo-PATB entry that it
41  * maintains for SPAPR guests and in the migration stream, so we need
42  * to keep it around
43  */
44 #define PATE1_GR 0x8000000000000000
45 
46 /* Process Table Entry */
47 struct prtb_entry {
48     uint64_t prtbe0, prtbe1;
49 };
50 
51 #ifdef TARGET_PPC64
52 
53 /*
54  * tlbie[l] helper flags
55  *
56  * RIC, PRS, R and local are passed as flags in the last argument.
57  */
58 #define TLBIE_F_RIC_SHIFT       0
59 #define TLBIE_F_PRS_SHIFT       2
60 #define TLBIE_F_R_SHIFT         3
61 #define TLBIE_F_LOCAL_SHIFT     4
62 
63 #define TLBIE_F_RIC_MASK        (3 << TLBIE_F_RIC_SHIFT)
64 #define TLBIE_F_PRS             (1 << TLBIE_F_PRS_SHIFT)
65 #define TLBIE_F_R               (1 << TLBIE_F_R_SHIFT)
66 #define TLBIE_F_LOCAL           (1 << TLBIE_F_LOCAL_SHIFT)
67 
68 static inline bool ppc64_use_proc_tbl(PowerPCCPU *cpu)
69 {
70     return !!(cpu->env.spr[SPR_LPCR] & LPCR_UPRT);
71 }
72 
73 bool ppc64_v3_get_pate(PowerPCCPU *cpu, target_ulong lpid,
74                        ppc_v3_pate_t *entry);
75 
76 /*
77  * The LPCR:HR bit is a shortcut that avoids having to
78  * dig out the partition table in the fast path. This is
79  * also how the HW uses it.
80  */
81 static inline bool ppc64_v3_radix(PowerPCCPU *cpu)
82 {
83     return !!(cpu->env.spr[SPR_LPCR] & LPCR_HR);
84 }
85 
86 static inline hwaddr ppc_hash64_hpt_base(PowerPCCPU *cpu)
87 {
88     uint64_t base;
89 
90     if (cpu->vhyp) {
91         return 0;
92     }
93     if (cpu->env.mmu_model == POWERPC_MMU_3_00) {
94         ppc_v3_pate_t pate;
95 
96         if (!ppc64_v3_get_pate(cpu, cpu->env.spr[SPR_LPIDR], &pate)) {
97             return 0;
98         }
99         base = pate.dw0;
100     } else {
101         base = cpu->env.spr[SPR_SDR1];
102     }
103     return base & SDR_64_HTABORG;
104 }
105 
106 static inline hwaddr ppc_hash64_hpt_mask(PowerPCCPU *cpu)
107 {
108     uint64_t base;
109 
110     if (cpu->vhyp) {
111         return cpu->vhyp_class->hpt_mask(cpu->vhyp);
112     }
113     if (cpu->env.mmu_model == POWERPC_MMU_3_00) {
114         ppc_v3_pate_t pate;
115 
116         if (!ppc64_v3_get_pate(cpu, cpu->env.spr[SPR_LPIDR], &pate)) {
117             return 0;
118         }
119         base = pate.dw0;
120     } else {
121         base = cpu->env.spr[SPR_SDR1];
122     }
123     return (1ULL << ((base & SDR_64_HTABSIZE) + 18 - 7)) - 1;
124 }
125 
126 #endif /* TARGET_PPC64 */
127 
128 #endif /* CONFIG_USER_ONLY */
129 
130 #endif /* PPC_MMU_BOOK3S_V3_H */
131