add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

 kernel/arch/x86/mm/mm_internal.h
..
..
@@ -12,6 +12,10 @@
12
12
 
13
13
 unsigned long kernel_physical_mapping_init(unsigned long start,
14
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,
15
19
 					     unsigned long page_size_mask);
16
20
 void zone_sizes_init(void);
17
21
 
..
..
@@ -19,4 +23,6 @@
19
23
 
20
24
 void update_cache_mode_entry(unsigned entry, enum page_cache_mode cache);
21
25
 
26
+extern unsigned long tlb_single_page_flush_ceiling;
27
+
22
28
 #endif	/* __X86_MM_INTERNAL_H */