Loading...
1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __X86_MM_INTERNAL_H
3#define __X86_MM_INTERNAL_H
4
5void *alloc_low_pages(unsigned int num);
6static inline void *alloc_low_page(void)
7{
8 return alloc_low_pages(1);
9}
10
11void early_ioremap_page_table_range_init(void);
12
13unsigned long kernel_physical_mapping_init(unsigned long start,
14 unsigned long end,
15 unsigned long page_size_mask);
16unsigned long kernel_physical_mapping_change(unsigned long start,
17 unsigned long end,
18 unsigned long page_size_mask);
19void zone_sizes_init(void);
20
21extern int after_bootmem;
22
23void update_cache_mode_entry(unsigned entry, enum page_cache_mode cache);
24
25extern unsigned long tlb_single_page_flush_ceiling;
26
27#endif /* __X86_MM_INTERNAL_H */
1#ifndef __X86_MM_INTERNAL_H
2#define __X86_MM_INTERNAL_H
3
4void *alloc_low_pages(unsigned int num);
5static inline void *alloc_low_page(void)
6{
7 return alloc_low_pages(1);
8}
9
10void early_ioremap_page_table_range_init(void);
11
12unsigned long kernel_physical_mapping_init(unsigned long start,
13 unsigned long end,
14 unsigned long page_size_mask);
15void zone_sizes_init(void);
16
17extern int after_bootmem;
18
19#endif /* __X86_MM_INTERNAL_H */