Thomas Gleixner | 2874c5f | 2019-05-27 08:55:01 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 2 | /* |
| 3 | * This file contains the routines for handling the MMU on those |
| 4 | * PowerPC implementations where the MMU substantially follows the |
| 5 | * architecture specification. This includes the 6xx, 7xx, 7xxx, |
Michael Ellerman | 0f36910 | 2014-07-10 12:29:24 +1000 | [diff] [blame] | 6 | * and 8260 implementations but excludes the 8xx and 4xx. |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 7 | * -- paulus |
| 8 | * |
| 9 | * Derived from arch/ppc/mm/init.c: |
| 10 | * Copyright (C) 1995-1996 Gary Thomas (gdt@linuxppc.org) |
| 11 | * |
| 12 | * Modifications by Paul Mackerras (PowerMac) (paulus@cs.anu.edu.au) |
| 13 | * and Cort Dougan (PReP) (cort@cs.nmt.edu) |
| 14 | * Copyright (C) 1996 Paul Mackerras |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 15 | * |
| 16 | * Derived from "arch/i386/mm/init.c" |
| 17 | * Copyright (C) 1991, 1992, 1993, 1994 Linus Torvalds |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 18 | */ |
| 19 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 20 | #include <linux/kernel.h> |
| 21 | #include <linux/mm.h> |
| 22 | #include <linux/init.h> |
| 23 | #include <linux/highmem.h> |
Yinghai Lu | 95f72d1 | 2010-07-12 14:36:09 +1000 | [diff] [blame] | 24 | #include <linux/memblock.h> |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 25 | |
| 26 | #include <asm/prom.h> |
| 27 | #include <asm/mmu.h> |
| 28 | #include <asm/machdep.h> |
Christophe Leroy | 9efc74f | 2018-11-09 17:33:24 +0000 | [diff] [blame] | 29 | #include <asm/code-patching.h> |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 30 | #include <asm/sections.h> |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 31 | |
Christophe Leroy | 9d9f2cc | 2019-03-29 09:59:59 +0000 | [diff] [blame] | 32 | #include <mm/mmu_decl.h> |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 33 | |
Christophe Leroy | 69a1593 | 2020-10-01 15:35:38 +0000 | [diff] [blame] | 34 | u8 __initdata early_hash[SZ_256K] __aligned(SZ_256K) = {0}; |
| 35 | |
Christophe Leroy | 6e980b5 | 2020-10-22 06:29:32 +0000 | [diff] [blame] | 36 | static struct hash_pte __initdata *Hash = (struct hash_pte *)early_hash; |
| 37 | static unsigned long __initdata Hash_size, Hash_mask; |
| 38 | static unsigned int __initdata hash_mb, hash_mb2; |
| 39 | unsigned long __initdata _SDR1; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 40 | |
Becky Bruce | 316a405 | 2008-06-14 09:41:43 +1000 | [diff] [blame] | 41 | struct ppc_bat BATS[8][2]; /* 8 pairs of IBAT, DBAT */ |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 42 | |
Christophe Leroy | 03d5b19 | 2020-10-22 06:29:29 +0000 | [diff] [blame] | 43 | static struct batrange { /* stores address ranges mapped by BATs */ |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 44 | unsigned long start; |
| 45 | unsigned long limit; |
Becky Bruce | 7c5c432 | 2008-06-14 09:41:42 +1000 | [diff] [blame] | 46 | phys_addr_t phys; |
Jon Loeliger | ee0339f | 2006-06-17 17:52:44 -0500 | [diff] [blame] | 47 | } bat_addrs[8]; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 48 | |
Christophe Leroy | f265512 | 2020-10-22 06:29:35 +0000 | [diff] [blame] | 49 | #ifdef CONFIG_SMP |
| 50 | unsigned long mmu_hash_lock; |
| 51 | #endif |
| 52 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 53 | /* |
| 54 | * Return PA for this VA if it is mapped by a BAT, or 0 |
| 55 | */ |
Christophe Leroy | 3084cdb | 2016-02-09 17:07:58 +0100 | [diff] [blame] | 56 | phys_addr_t v_block_mapped(unsigned long va) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 57 | { |
| 58 | int b; |
Christophe Leroy | e93ba1b | 2018-11-16 17:27:42 +0000 | [diff] [blame] | 59 | for (b = 0; b < ARRAY_SIZE(bat_addrs); ++b) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 60 | if (va >= bat_addrs[b].start && va < bat_addrs[b].limit) |
| 61 | return bat_addrs[b].phys + (va - bat_addrs[b].start); |
| 62 | return 0; |
| 63 | } |
| 64 | |
| 65 | /* |
| 66 | * Return VA for a given PA or 0 if not mapped |
| 67 | */ |
Christophe Leroy | 3084cdb | 2016-02-09 17:07:58 +0100 | [diff] [blame] | 68 | unsigned long p_block_mapped(phys_addr_t pa) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 69 | { |
| 70 | int b; |
Christophe Leroy | e93ba1b | 2018-11-16 17:27:42 +0000 | [diff] [blame] | 71 | for (b = 0; b < ARRAY_SIZE(bat_addrs); ++b) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 72 | if (pa >= bat_addrs[b].phys |
| 73 | && pa < (bat_addrs[b].limit-bat_addrs[b].start) |
| 74 | +bat_addrs[b].phys) |
| 75 | return bat_addrs[b].start+(pa-bat_addrs[b].phys); |
| 76 | return 0; |
| 77 | } |
| 78 | |
Christophe Leroy | d37823c | 2022-01-10 15:29:25 +0000 | [diff] [blame] | 79 | int __init find_free_bat(void) |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 80 | { |
| 81 | int b; |
Christophe Leroy | 2e38ea4 | 2020-09-29 06:48:37 +0000 | [diff] [blame] | 82 | int n = mmu_has_feature(MMU_FTR_USE_HIGH_BATS) ? 8 : 4; |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 83 | |
Christophe Leroy | 2e38ea4 | 2020-09-29 06:48:37 +0000 | [diff] [blame] | 84 | for (b = 0; b < n; b++) { |
| 85 | struct ppc_bat *bat = BATS[b]; |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 86 | |
Christophe Leroy | 2e38ea4 | 2020-09-29 06:48:37 +0000 | [diff] [blame] | 87 | if (!(bat[1].batu & 3)) |
| 88 | return b; |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 89 | } |
| 90 | return -1; |
| 91 | } |
| 92 | |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 93 | /* |
| 94 | * This function calculates the size of the larger block usable to map the |
| 95 | * beginning of an area based on the start address and size of that area: |
Christophe Leroy | 8b14e1d | 2020-09-29 06:48:36 +0000 | [diff] [blame] | 96 | * - max block size is 256 on 6xx. |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 97 | * - base address must be aligned to the block size. So the maximum block size |
| 98 | * is identified by the lowest bit set to 1 in the base address (for instance |
| 99 | * if base is 0x16000000, max size is 0x02000000). |
| 100 | * - block size has to be a power of two. This is calculated by finding the |
| 101 | * highest bit set to 1. |
| 102 | */ |
Christophe Leroy | d37823c | 2022-01-10 15:29:25 +0000 | [diff] [blame] | 103 | unsigned int bat_block_size(unsigned long base, unsigned long top) |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 104 | { |
Christophe Leroy | 8b14e1d | 2020-09-29 06:48:36 +0000 | [diff] [blame] | 105 | unsigned int max_size = SZ_256M; |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 106 | unsigned int base_shift = (ffs(base) - 1) & 31; |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 107 | unsigned int block_shift = (fls(top - base) - 1) & 31; |
| 108 | |
| 109 | return min3(max_size, 1U << base_shift, 1U << block_shift); |
| 110 | } |
| 111 | |
Christophe Leroy | 5e04ae8 | 2019-02-21 19:08:48 +0000 | [diff] [blame] | 112 | /* |
| 113 | * Set up one of the IBAT (block address translation) register pairs. |
| 114 | * The parameters are not checked; in particular size must be a power |
| 115 | * of 2 between 128k and 256M. |
Christophe Leroy | 5e04ae8 | 2019-02-21 19:08:48 +0000 | [diff] [blame] | 116 | */ |
| 117 | static void setibat(int index, unsigned long virt, phys_addr_t phys, |
| 118 | unsigned int size, pgprot_t prot) |
| 119 | { |
| 120 | unsigned int bl = (size >> 17) - 1; |
| 121 | int wimgxpp; |
| 122 | struct ppc_bat *bat = BATS[index]; |
| 123 | unsigned long flags = pgprot_val(prot); |
| 124 | |
| 125 | if (!cpu_has_feature(CPU_FTR_NEED_COHERENT)) |
| 126 | flags &= ~_PAGE_COHERENT; |
| 127 | |
| 128 | wimgxpp = (flags & _PAGE_COHERENT) | (_PAGE_EXEC ? BPP_RX : BPP_XX); |
| 129 | bat[0].batu = virt | (bl << 2) | 2; /* Vs=1, Vp=0 */ |
| 130 | bat[0].batl = BAT_PHYS_ADDR(phys) | wimgxpp; |
| 131 | if (flags & _PAGE_USER) |
| 132 | bat[0].batu |= 1; /* Vp = 1 */ |
| 133 | } |
| 134 | |
| 135 | static void clearibat(int index) |
| 136 | { |
| 137 | struct ppc_bat *bat = BATS[index]; |
| 138 | |
| 139 | bat[0].batu = 0; |
| 140 | bat[0].batl = 0; |
| 141 | } |
| 142 | |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 143 | static unsigned long __init __mmu_mapin_ram(unsigned long base, unsigned long top) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 144 | { |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 145 | int idx; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 146 | |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 147 | while ((idx = find_free_bat()) != -1 && base != top) { |
Christophe Leroy | d37823c | 2022-01-10 15:29:25 +0000 | [diff] [blame] | 148 | unsigned int size = bat_block_size(base, top); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 149 | |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 150 | if (size < 128 << 10) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 151 | break; |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 152 | setbat(idx, PAGE_OFFSET + base, base, size, PAGE_KERNEL_X); |
| 153 | base += size; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 154 | } |
| 155 | |
Christophe Leroy | e4d6654 | 2019-02-21 19:08:39 +0000 | [diff] [blame] | 156 | return base; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 157 | } |
| 158 | |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 159 | unsigned long __init mmu_mapin_ram(unsigned long base, unsigned long top) |
| 160 | { |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 161 | unsigned long done; |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 162 | unsigned long border = (unsigned long)__init_begin - PAGE_OFFSET; |
| 163 | |
Christophe Leroy | 035b19a | 2020-11-25 07:10:46 +0000 | [diff] [blame] | 164 | |
Christophe Leroy | 90cbac0 | 2021-03-04 14:35:09 +0000 | [diff] [blame] | 165 | if (debug_pagealloc_enabled_or_kfence() || __map_without_bats) { |
Christophe Leroy | 035b19a | 2020-11-25 07:10:46 +0000 | [diff] [blame] | 166 | pr_debug_once("Read-Write memory mapped without BATs\n"); |
Christophe Leroy | 2b279c0 | 2020-05-19 05:49:28 +0000 | [diff] [blame] | 167 | if (base >= border) |
| 168 | return base; |
| 169 | if (top >= border) |
| 170 | top = border; |
| 171 | } |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 172 | |
| 173 | if (!strict_kernel_rwx_enabled() || base >= border || top <= border) |
| 174 | return __mmu_mapin_ram(base, top); |
| 175 | |
| 176 | done = __mmu_mapin_ram(base, border); |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 177 | if (done != border) |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 178 | return done; |
| 179 | |
Christophe Leroy | 12f3635 | 2019-04-30 16:11:59 +0000 | [diff] [blame] | 180 | return __mmu_mapin_ram(border, top); |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 181 | } |
| 182 | |
Christophe Leroy | c496433 | 2020-06-29 11:15:22 +0000 | [diff] [blame] | 183 | static bool is_module_segment(unsigned long addr) |
| 184 | { |
| 185 | if (!IS_ENABLED(CONFIG_MODULES)) |
| 186 | return false; |
Christophe Leroy | 7bee31a | 2020-08-05 15:27:28 +0000 | [diff] [blame] | 187 | if (addr < ALIGN_DOWN(MODULES_VADDR, SZ_256M)) |
| 188 | return false; |
Christophe Leroy | 541cebb | 2020-08-21 07:15:25 +0000 | [diff] [blame] | 189 | if (addr > ALIGN(MODULES_END, SZ_256M) - 1) |
Christophe Leroy | 7bee31a | 2020-08-05 15:27:28 +0000 | [diff] [blame] | 190 | return false; |
Christophe Leroy | c496433 | 2020-06-29 11:15:22 +0000 | [diff] [blame] | 191 | return true; |
| 192 | } |
| 193 | |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 194 | void mmu_mark_initmem_nx(void) |
| 195 | { |
| 196 | int nb = mmu_has_feature(MMU_FTR_USE_HIGH_BATS) ? 8 : 4; |
| 197 | int i; |
| 198 | unsigned long base = (unsigned long)_stext - PAGE_OFFSET; |
Christophe Leroy | 37eb7ca | 2021-11-26 13:40:35 +0100 | [diff] [blame] | 199 | unsigned long top = ALIGN((unsigned long)_etext - PAGE_OFFSET, SZ_128K); |
Christophe Leroy | 4b19f96 | 2020-05-19 05:48:56 +0000 | [diff] [blame] | 200 | unsigned long border = (unsigned long)__init_begin - PAGE_OFFSET; |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 201 | unsigned long size; |
| 202 | |
Christophe Leroy | 37eb7ca | 2021-11-26 13:40:35 +0100 | [diff] [blame] | 203 | for (i = 0; i < nb - 1 && base < top;) { |
Christophe Leroy | d37823c | 2022-01-10 15:29:25 +0000 | [diff] [blame] | 204 | size = bat_block_size(base, top); |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 205 | setibat(i++, PAGE_OFFSET + base, base, size, PAGE_KERNEL_TEXT); |
| 206 | base += size; |
| 207 | } |
| 208 | if (base < top) { |
Christophe Leroy | d37823c | 2022-01-10 15:29:25 +0000 | [diff] [blame] | 209 | size = bat_block_size(base, top); |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 210 | if ((top - base) > size) { |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 211 | size <<= 1; |
Christophe Leroy | 4b19f96 | 2020-05-19 05:48:56 +0000 | [diff] [blame] | 212 | if (strict_kernel_rwx_enabled() && base + size > border) |
| 213 | pr_warn("Some RW data is getting mapped X. " |
| 214 | "Adjust CONFIG_DATA_SHIFT to avoid that.\n"); |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 215 | } |
| 216 | setibat(i++, PAGE_OFFSET + base, base, size, PAGE_KERNEL_TEXT); |
| 217 | base += size; |
| 218 | } |
| 219 | for (; i < nb; i++) |
| 220 | clearibat(i); |
| 221 | |
| 222 | update_bats(); |
| 223 | |
| 224 | for (i = TASK_SIZE >> 28; i < 16; i++) { |
| 225 | /* Do not set NX on VM space for modules */ |
Christophe Leroy | c496433 | 2020-06-29 11:15:22 +0000 | [diff] [blame] | 226 | if (is_module_segment(i << 28)) |
| 227 | continue; |
| 228 | |
Christophe Leroy | 179ae57 | 2021-02-06 11:47:27 +0000 | [diff] [blame] | 229 | mtsr(mfsr(i << 28) | 0x10000000, i << 28); |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 230 | } |
| 231 | } |
| 232 | |
| 233 | void mmu_mark_rodata_ro(void) |
| 234 | { |
| 235 | int nb = mmu_has_feature(MMU_FTR_USE_HIGH_BATS) ? 8 : 4; |
| 236 | int i; |
| 237 | |
Christophe Leroy | 63b2bc6 | 2019-02-21 19:08:49 +0000 | [diff] [blame] | 238 | for (i = 0; i < nb; i++) { |
| 239 | struct ppc_bat *bat = BATS[i]; |
| 240 | |
| 241 | if (bat_addrs[i].start < (unsigned long)__init_begin) |
| 242 | bat[1].batl = (bat[1].batl & ~BPP_RW) | BPP_RX; |
| 243 | } |
| 244 | |
| 245 | update_bats(); |
| 246 | } |
| 247 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 248 | /* |
| 249 | * Set up one of the I/D BAT (block address translation) register pairs. |
| 250 | * The parameters are not checked; in particular size must be a power |
| 251 | * of 2 between 128k and 256M. |
Christophe Leroy | df25f86 | 2019-02-21 19:08:43 +0000 | [diff] [blame] | 252 | * On 603+, only set IBAT when _PAGE_EXEC is set |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 253 | */ |
Becky Bruce | 7c5c432 | 2008-06-14 09:41:42 +1000 | [diff] [blame] | 254 | void __init setbat(int index, unsigned long virt, phys_addr_t phys, |
Michael Ellerman | 5dd4e4f | 2015-03-25 20:11:55 +1100 | [diff] [blame] | 255 | unsigned int size, pgprot_t prot) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 256 | { |
| 257 | unsigned int bl; |
| 258 | int wimgxpp; |
Christophe Leroy | cbcaff7 | 2019-09-16 20:25:39 +0000 | [diff] [blame] | 259 | struct ppc_bat *bat; |
Michael Ellerman | 5dd4e4f | 2015-03-25 20:11:55 +1100 | [diff] [blame] | 260 | unsigned long flags = pgprot_val(prot); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 261 | |
Christophe Leroy | cbcaff7 | 2019-09-16 20:25:39 +0000 | [diff] [blame] | 262 | if (index == -1) |
| 263 | index = find_free_bat(); |
| 264 | if (index == -1) { |
| 265 | pr_err("%s: no BAT available for mapping 0x%llx\n", __func__, |
| 266 | (unsigned long long)phys); |
| 267 | return; |
| 268 | } |
| 269 | bat = BATS[index]; |
| 270 | |
Gerhard Pircher | 4c456a6 | 2009-01-23 06:51:28 +0000 | [diff] [blame] | 271 | if ((flags & _PAGE_NO_CACHE) || |
| 272 | (cpu_has_feature(CPU_FTR_NEED_COHERENT) == 0)) |
| 273 | flags &= ~_PAGE_COHERENT; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 274 | |
| 275 | bl = (size >> 17) - 1; |
Christophe Leroy | 2e38ea4 | 2020-09-29 06:48:37 +0000 | [diff] [blame] | 276 | /* Do DBAT first */ |
| 277 | wimgxpp = flags & (_PAGE_WRITETHRU | _PAGE_NO_CACHE |
| 278 | | _PAGE_COHERENT | _PAGE_GUARDED); |
| 279 | wimgxpp |= (flags & _PAGE_RW)? BPP_RW: BPP_RX; |
| 280 | bat[1].batu = virt | (bl << 2) | 2; /* Vs=1, Vp=0 */ |
| 281 | bat[1].batl = BAT_PHYS_ADDR(phys) | wimgxpp; |
| 282 | if (flags & _PAGE_USER) |
| 283 | bat[1].batu |= 1; /* Vp = 1 */ |
| 284 | if (flags & _PAGE_GUARDED) { |
| 285 | /* G bit must be zero in IBATs */ |
| 286 | flags &= ~_PAGE_EXEC; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 287 | } |
Christophe Leroy | 2e38ea4 | 2020-09-29 06:48:37 +0000 | [diff] [blame] | 288 | if (flags & _PAGE_EXEC) |
| 289 | bat[0] = bat[1]; |
| 290 | else |
| 291 | bat[0].batu = bat[0].batl = 0; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 292 | |
| 293 | bat_addrs[index].start = virt; |
| 294 | bat_addrs[index].limit = virt + ((bl + 1) << 17) - 1; |
| 295 | bat_addrs[index].phys = phys; |
| 296 | } |
| 297 | |
| 298 | /* |
Benjamin Herrenschmidt | 3c726f8 | 2005-11-07 11:06:55 +1100 | [diff] [blame] | 299 | * Preload a translation in the hash table |
| 300 | */ |
Christophe Leroy | 79d1bef | 2020-11-25 07:10:47 +0000 | [diff] [blame] | 301 | static void hash_preload(struct mm_struct *mm, unsigned long ea) |
Benjamin Herrenschmidt | 3c726f8 | 2005-11-07 11:06:55 +1100 | [diff] [blame] | 302 | { |
| 303 | pmd_t *pmd; |
| 304 | |
Christophe Leroy | 4cc445b | 2020-10-22 06:29:30 +0000 | [diff] [blame] | 305 | if (!mmu_has_feature(MMU_FTR_HPTE_TABLE)) |
Benjamin Herrenschmidt | 3c726f8 | 2005-11-07 11:06:55 +1100 | [diff] [blame] | 306 | return; |
Mike Rapoport | e05c7b1 | 2020-06-08 21:33:05 -0700 | [diff] [blame] | 307 | pmd = pmd_off(mm, ea); |
Benjamin Herrenschmidt | 3c726f8 | 2005-11-07 11:06:55 +1100 | [diff] [blame] | 308 | if (!pmd_none(*pmd)) |
Paul Mackerras | 6218a76 | 2006-06-11 14:15:17 +1000 | [diff] [blame] | 309 | add_hash_page(mm->context.id, ea, pmd_val(*pmd)); |
Benjamin Herrenschmidt | 3c726f8 | 2005-11-07 11:06:55 +1100 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | /* |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 313 | * This is called at the end of handling a user page fault, when the |
| 314 | * fault has been handled by updating a PTE in the linux page tables. |
| 315 | * We use it to preload an HPTE into the hash table corresponding to |
| 316 | * the updated linux PTE. |
| 317 | * |
| 318 | * This must always be called with the pte lock held. |
| 319 | */ |
| 320 | void update_mmu_cache(struct vm_area_struct *vma, unsigned long address, |
| 321 | pte_t *ptep) |
| 322 | { |
Christophe Leroy | f204338 | 2019-08-16 05:41:44 +0000 | [diff] [blame] | 323 | if (!mmu_has_feature(MMU_FTR_HPTE_TABLE)) |
| 324 | return; |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 325 | /* |
| 326 | * We don't need to worry about _PAGE_PRESENT here because we are |
| 327 | * called with either mm->page_table_lock held or ptl lock held |
| 328 | */ |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 329 | |
| 330 | /* We only want HPTEs for linux PTEs that have _PAGE_ACCESSED set */ |
| 331 | if (!pte_young(*ptep) || address >= TASK_SIZE) |
| 332 | return; |
| 333 | |
Christophe Leroy | f49f4e2 | 2019-08-16 05:41:43 +0000 | [diff] [blame] | 334 | /* We have to test for regs NULL since init will get here first thing at boot */ |
| 335 | if (!current->thread.regs) |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 336 | return; |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 337 | |
Christophe Leroy | f49f4e2 | 2019-08-16 05:41:43 +0000 | [diff] [blame] | 338 | /* We also avoid filling the hash if not coming from a fault */ |
| 339 | if (TRAP(current->thread.regs) != 0x300 && TRAP(current->thread.regs) != 0x400) |
| 340 | return; |
| 341 | |
| 342 | hash_preload(vma->vm_mm, address); |
Christophe Leroy | e5a1edb | 2019-08-16 05:41:42 +0000 | [diff] [blame] | 343 | } |
| 344 | |
| 345 | /* |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 346 | * Initialize the hash table and patch the instructions in hashtable.S. |
| 347 | */ |
| 348 | void __init MMU_init_hw(void) |
| 349 | { |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 350 | unsigned int n_hpteg, lg_n_hpteg; |
| 351 | |
Christophe Leroy | 4a3a224 | 2018-11-09 17:33:22 +0000 | [diff] [blame] | 352 | if (!mmu_has_feature(MMU_FTR_HPTE_TABLE)) |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 353 | return; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 354 | |
| 355 | if ( ppc_md.progress ) ppc_md.progress("hash:enter", 0x105); |
| 356 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 357 | #define LG_HPTEG_SIZE 6 /* 64 bytes per HPTEG */ |
| 358 | #define SDR1_LOW_BITS ((n_hpteg - 1) >> 10) |
| 359 | #define MIN_N_HPTEG 1024 /* min 64kB hash table */ |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 360 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 361 | /* |
| 362 | * Allow 1 HPTE (1/8 HPTEG) for each page of memory. |
| 363 | * This is less than the recommended amount, but then |
| 364 | * Linux ain't AIX. |
| 365 | */ |
| 366 | n_hpteg = total_memory / (PAGE_SIZE * 8); |
| 367 | if (n_hpteg < MIN_N_HPTEG) |
| 368 | n_hpteg = MIN_N_HPTEG; |
| 369 | lg_n_hpteg = __ilog2(n_hpteg); |
| 370 | if (n_hpteg & (n_hpteg - 1)) { |
| 371 | ++lg_n_hpteg; /* round up if not power of 2 */ |
| 372 | n_hpteg = 1 << lg_n_hpteg; |
| 373 | } |
| 374 | Hash_size = n_hpteg << LG_HPTEG_SIZE; |
| 375 | |
| 376 | /* |
| 377 | * Find some memory for the hash table. |
| 378 | */ |
| 379 | if ( ppc_md.progress ) ppc_md.progress("hash:find piece", 0x322); |
Mike Rapoport | b63a07d | 2019-03-07 16:31:06 -0800 | [diff] [blame] | 380 | Hash = memblock_alloc(Hash_size, Hash_size); |
Mike Rapoport | 8a7f97b | 2019-03-11 23:30:31 -0700 | [diff] [blame] | 381 | if (!Hash) |
| 382 | panic("%s: Failed to allocate %lu bytes align=0x%lx\n", |
| 383 | __func__, Hash_size, Hash_size); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 384 | _SDR1 = __pa(Hash) | SDR1_LOW_BITS; |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 385 | |
Christophe Leroy | 8f156c2 | 2019-04-26 16:36:37 +0000 | [diff] [blame] | 386 | pr_info("Total memory = %lldMB; using %ldkB for hash table\n", |
| 387 | (unsigned long long)(total_memory >> 20), Hash_size >> 10); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 388 | |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 389 | |
Christophe Leroy | 72f208c | 2019-04-26 16:23:35 +0000 | [diff] [blame] | 390 | Hash_mask = n_hpteg - 1; |
| 391 | hash_mb2 = hash_mb = 32 - LG_HPTEG_SIZE - lg_n_hpteg; |
| 392 | if (lg_n_hpteg > 16) |
| 393 | hash_mb2 = 16 - LG_HPTEG_SIZE; |
| 394 | } |
| 395 | |
| 396 | void __init MMU_init_hw_patch(void) |
| 397 | { |
| 398 | unsigned int hmask = Hash_mask >> (16 - LG_HPTEG_SIZE); |
Christophe Leroy | 232ca1e | 2020-02-15 10:14:25 +0000 | [diff] [blame] | 399 | unsigned int hash = (unsigned int)Hash - PAGE_OFFSET; |
Christophe Leroy | 72f208c | 2019-04-26 16:23:35 +0000 | [diff] [blame] | 400 | |
Christophe Leroy | 69a1593 | 2020-10-01 15:35:38 +0000 | [diff] [blame] | 401 | if (!mmu_has_feature(MMU_FTR_HPTE_TABLE)) |
| 402 | return; |
| 403 | |
Christophe Leroy | 72f208c | 2019-04-26 16:23:35 +0000 | [diff] [blame] | 404 | if (ppc_md.progress) |
| 405 | ppc_md.progress("hash:patch", 0x345); |
| 406 | if (ppc_md.progress) |
| 407 | ppc_md.progress("hash:done", 0x205); |
| 408 | |
| 409 | /* WARNING: Make sure nothing can trigger a KASAN check past this point */ |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 410 | |
| 411 | /* |
| 412 | * Patch up the instructions in hashtable.S:create_hpte |
| 413 | */ |
Christophe Leroy | cd08f10 | 2019-12-21 08:32:38 +0000 | [diff] [blame] | 414 | modify_instruction_site(&patch__hash_page_A0, 0xffff, hash >> 16); |
Christophe Leroy | 72f208c | 2019-04-26 16:23:35 +0000 | [diff] [blame] | 415 | modify_instruction_site(&patch__hash_page_A1, 0x7c0, hash_mb << 6); |
| 416 | modify_instruction_site(&patch__hash_page_A2, 0x7c0, hash_mb2 << 6); |
Christophe Leroy | 9efc74f | 2018-11-09 17:33:24 +0000 | [diff] [blame] | 417 | modify_instruction_site(&patch__hash_page_B, 0xffff, hmask); |
| 418 | modify_instruction_site(&patch__hash_page_C, 0xffff, hmask); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 419 | |
| 420 | /* |
| 421 | * Patch up the instructions in hashtable.S:flush_hash_page |
| 422 | */ |
Christophe Leroy | 232ca1e | 2020-02-15 10:14:25 +0000 | [diff] [blame] | 423 | modify_instruction_site(&patch__flush_hash_A0, 0xffff, hash >> 16); |
Christophe Leroy | 72f208c | 2019-04-26 16:23:35 +0000 | [diff] [blame] | 424 | modify_instruction_site(&patch__flush_hash_A1, 0x7c0, hash_mb << 6); |
| 425 | modify_instruction_site(&patch__flush_hash_A2, 0x7c0, hash_mb2 << 6); |
Christophe Leroy | 9efc74f | 2018-11-09 17:33:24 +0000 | [diff] [blame] | 426 | modify_instruction_site(&patch__flush_hash_B, 0xffff, hmask); |
Paul Mackerras | 14cf11a | 2005-09-26 16:04:21 +1000 | [diff] [blame] | 427 | } |
Benjamin Herrenschmidt | cd3db0c | 2010-07-06 15:39:02 -0700 | [diff] [blame] | 428 | |
| 429 | void setup_initial_memory_limit(phys_addr_t first_memblock_base, |
| 430 | phys_addr_t first_memblock_size) |
| 431 | { |
| 432 | /* We don't currently support the first MEMBLOCK not mapping 0 |
| 433 | * physical on those processors |
| 434 | */ |
| 435 | BUG_ON(first_memblock_base != 0); |
| 436 | |
Christophe Leroy | 8b14e1d | 2020-09-29 06:48:36 +0000 | [diff] [blame] | 437 | memblock_set_current_limit(min_t(u64, first_memblock_size, SZ_256M)); |
Benjamin Herrenschmidt | cd3db0c | 2010-07-06 15:39:02 -0700 | [diff] [blame] | 438 | } |
Christophe Leroy | 31ed2b1 | 2019-03-11 08:30:35 +0000 | [diff] [blame] | 439 | |
Christophe Leroy | e4dccf9 | 2019-04-26 16:36:39 +0000 | [diff] [blame] | 440 | void __init print_system_hash_info(void) |
| 441 | { |
| 442 | pr_info("Hash_size = 0x%lx\n", Hash_size); |
| 443 | if (Hash_mask) |
| 444 | pr_info("Hash_mask = 0x%lx\n", Hash_mask); |
| 445 | } |
| 446 | |
Christophe Leroy | 068fdba | 2020-10-22 06:29:41 +0000 | [diff] [blame] | 447 | void __init early_init_mmu(void) |
| 448 | { |
| 449 | } |