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(num: 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,
16 pgprot_t prot);
17unsigned long kernel_physical_mapping_change(unsigned long start,
18 unsigned long end,
19 unsigned long page_size_mask);
20void zone_sizes_init(void);
21
22extern int after_bootmem;
23
24void update_cache_mode_entry(unsigned entry, enum page_cache_mode cache);
25
26extern unsigned long tlb_single_page_flush_ceiling;
27
28#ifdef CONFIG_NUMA
29void __init x86_numa_init(void);
30#endif
31
32#endif /* __X86_MM_INTERNAL_H */
33