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           3 : static inline void *alloc_low_page(void)
       7             : {
       8           3 :         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             :                                              pgprot_t prot);
      17             : unsigned long kernel_physical_mapping_change(unsigned long start,
      18             :                                              unsigned long end,
      19             :                                              unsigned long page_size_mask);
      20             : void zone_sizes_init(void);
      21             : 
      22             : extern int after_bootmem;
      23             : 
      24             : void update_cache_mode_entry(unsigned entry, enum page_cache_mode cache);
      25             : 
      26             : extern unsigned long tlb_single_page_flush_ceiling;
      27             : 
      28             : #endif  /* __X86_MM_INTERNAL_H */