1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 * Declarations of procedures and variables shared between files
6 * Derived from arch/ppc/mm/init.c:
7 * Copyright (C) 1995-1996 Gary Thomas (gdt@linuxppc.org)
9 * Modifications by Paul Mackerras (PowerMac) (paulus@cs.anu.edu.au)
10 * and Cort Dougan (PReP) (cort@cs.nmt.edu)
11 * Copyright (C) 1996 Paul Mackerras
13 * Derived from "arch/i386/mm/init.c"
14 * Copyright (C) 1991, 1992, 1993, 1994 Linus Torvalds
19 #ifdef CONFIG_PPC_MMU_NOHASH
20 #include <asm/trace.h>
23 * On 40x and 8xx, we directly inline tlbia and tlbivax
25 #if defined(CONFIG_40x) || defined(CONFIG_PPC_8xx)
26 static inline void _tlbil_all(void)
28 asm volatile ("sync; tlbia; isync" : : : "memory");
29 trace_tlbia(MMU_NO_CONTEXT
);
31 static inline void _tlbil_pid(unsigned int pid
)
33 asm volatile ("sync; tlbia; isync" : : : "memory");
36 #define _tlbil_pid_noind(pid) _tlbil_pid(pid)
38 #else /* CONFIG_40x || CONFIG_PPC_8xx */
39 extern void _tlbil_all(void);
40 extern void _tlbil_pid(unsigned int pid
);
41 #ifdef CONFIG_PPC_BOOK3E
42 extern void _tlbil_pid_noind(unsigned int pid
);
44 #define _tlbil_pid_noind(pid) _tlbil_pid(pid)
46 #endif /* !(CONFIG_40x || CONFIG_PPC_8xx) */
49 * On 8xx, we directly inline tlbie, on others, it's extern
52 static inline void _tlbil_va(unsigned long address
, unsigned int pid
,
53 unsigned int tsize
, unsigned int ind
)
55 asm volatile ("tlbie %0; sync" : : "r" (address
) : "memory");
56 trace_tlbie(0, 0, address
, pid
, 0, 0, 0);
58 #elif defined(CONFIG_PPC_BOOK3E)
59 extern void _tlbil_va(unsigned long address
, unsigned int pid
,
60 unsigned int tsize
, unsigned int ind
);
62 extern void __tlbil_va(unsigned long address
, unsigned int pid
);
63 static inline void _tlbil_va(unsigned long address
, unsigned int pid
,
64 unsigned int tsize
, unsigned int ind
)
66 __tlbil_va(address
, pid
);
68 #endif /* CONFIG_PPC_8xx */
70 #if defined(CONFIG_PPC_BOOK3E) || defined(CONFIG_PPC_47x)
71 extern void _tlbivax_bcast(unsigned long address
, unsigned int pid
,
72 unsigned int tsize
, unsigned int ind
);
74 static inline void _tlbivax_bcast(unsigned long address
, unsigned int pid
,
75 unsigned int tsize
, unsigned int ind
)
81 static inline void print_system_hash_info(void) {}
83 #else /* CONFIG_PPC_MMU_NOHASH */
85 void print_system_hash_info(void);
87 #endif /* CONFIG_PPC_MMU_NOHASH */
91 extern void mapin_ram(void);
92 extern void setbat(int index
, unsigned long virt
, phys_addr_t phys
,
93 unsigned int size
, pgprot_t prot
);
95 extern int __map_without_bats
;
96 extern unsigned int rtas_data
, rtas_size
;
99 extern u8 early_hash
[];
101 #endif /* CONFIG_PPC32 */
103 extern unsigned long __max_low_memory
;
104 extern phys_addr_t __initial_memory_limit_addr
;
105 extern phys_addr_t total_memory
;
106 extern phys_addr_t total_lowmem
;
107 extern phys_addr_t memstart_addr
;
108 extern phys_addr_t lowmem_end_addr
;
111 extern unsigned long wii_hole_start
;
112 extern unsigned long wii_hole_size
;
114 extern unsigned long wii_mmu_mapin_mem2(unsigned long top
);
115 extern void wii_memory_fixups(void);
118 /* ...and now those things that may be slightly different between processor
119 * architectures. -- Dan
122 extern void MMU_init_hw(void);
123 void MMU_init_hw_patch(void);
124 unsigned long mmu_mapin_ram(unsigned long base
, unsigned long top
);
127 #ifdef CONFIG_PPC_FSL_BOOK3E
128 extern unsigned long map_mem_in_cams(unsigned long ram
, int max_cam_idx
,
130 extern unsigned long calc_cam_sz(unsigned long ram
, unsigned long virt
,
133 extern void adjust_total_lowmem(void);
134 extern int switch_to_as1(void);
135 extern void restore_to_as0(int esel
, int offset
, void *dt_ptr
, int bootcpu
);
136 void create_kaslr_tlb_entry(int entry
, unsigned long virt
, phys_addr_t phys
);
137 void reloc_kernel_entry(void *fdt
, int addr
);
138 extern int is_second_reloc
;
140 extern void loadcam_entry(unsigned int index
);
141 extern void loadcam_multi(int first_idx
, int num
, int tmp_idx
);
143 #ifdef CONFIG_RANDOMIZE_BASE
144 void kaslr_early_init(void *dt_ptr
, phys_addr_t size
);
145 void kaslr_late_init(void);
147 static inline void kaslr_early_init(void *dt_ptr
, phys_addr_t size
) {}
148 static inline void kaslr_late_init(void) {}
160 #if defined(CONFIG_PPC_BOOK3S_32) || defined(CONFIG_FSL_BOOKE) || defined(CONFIG_PPC_8xx)
162 /* FSL_BOOKE have TLBCAM */
164 phys_addr_t
v_block_mapped(unsigned long va
);
165 unsigned long p_block_mapped(phys_addr_t pa
);
167 static inline phys_addr_t
v_block_mapped(unsigned long va
) { return 0; }
168 static inline unsigned long p_block_mapped(phys_addr_t pa
) { return 0; }
171 #if defined(CONFIG_PPC_BOOK3S_32) || defined(CONFIG_PPC_8xx)
172 void mmu_mark_initmem_nx(void);
173 void mmu_mark_rodata_ro(void);
175 static inline void mmu_mark_initmem_nx(void) { }
176 static inline void mmu_mark_rodata_ro(void) { }
179 #ifdef CONFIG_PPC_8xx
180 void __init
mmu_mapin_immr(void);
183 #ifdef CONFIG_PPC_DEBUG_WX
184 void ptdump_check_wx(void);
186 static inline void ptdump_check_wx(void) { }