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 */