1 /* SPDX-License-Identifier: GPL-2.0 */ 1
2 #ifndef __X86_MM_INTERNAL_H
3 #define __X86_MM_INTERNAL_H
4
5 void *alloc_low_pages(unsigned int num);
6 static inline void *alloc_low_page(void)
7 {
8 return alloc_low_pages(1);
9 }
10
11 void early_ioremap_page_table_range_init(void)
12
13 unsigned long kernel_physical_mapping_init(uns
14 u
15 u
16 p
17 unsigned long kernel_physical_mapping_change(u
18 u
19 u
20 void zone_sizes_init(void);
21
22 extern int after_bootmem;
23
24 void update_cache_mode_entry(unsigned entry, e
25
26 extern unsigned long tlb_single_page_flush_cei
27
28 #endif /* __X86_MM_INTERNAL_H */
29
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.