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