From 08f87f769b595151be1afeff53e144f543faa614 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Wed, 06 Dec 2023 09:51:13 +0000
Subject: [PATCH] add dts config

---
 kernel/arch/x86/mm/mm_internal.h |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/kernel/arch/x86/mm/mm_internal.h b/kernel/arch/x86/mm/mm_internal.h
index 4e1f6e1..3f37b5c 100644
--- a/kernel/arch/x86/mm/mm_internal.h
+++ b/kernel/arch/x86/mm/mm_internal.h
@@ -12,6 +12,10 @@
 
 unsigned long kernel_physical_mapping_init(unsigned long start,
 					     unsigned long end,
+					     unsigned long page_size_mask,
+					     pgprot_t prot);
+unsigned long kernel_physical_mapping_change(unsigned long start,
+					     unsigned long end,
 					     unsigned long page_size_mask);
 void zone_sizes_init(void);
 
@@ -19,4 +23,6 @@
 
 void update_cache_mode_entry(unsigned entry, enum page_cache_mode cache);
 
+extern unsigned long tlb_single_page_flush_ceiling;
+
 #endif	/* __X86_MM_INTERNAL_H */

--
Gitblit v1.6.2