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                 :         12 : static inline void *alloc_low_page(void)
       7                 :            : {
       8                 :         12 :         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 */