diff options
Diffstat (limited to '0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch')
-rw-r--r-- | 0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch b/0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch index f3f7e3a..f8d61bb 100644 --- a/0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch +++ b/0043-x86-p2m-add-option-to-skip-root-pagetable-removal-in.patch @@ -1,7 +1,7 @@ From 0f3eab90f327210d91e8e31a769376f286e8819a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= <roger.pau@citrix.com> Date: Tue, 11 Oct 2022 15:07:25 +0200 -Subject: [PATCH 43/67] x86/p2m: add option to skip root pagetable removal in +Subject: [PATCH 043/126] x86/p2m: add option to skip root pagetable removal in p2m_teardown() MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 @@ -134,5 +134,5 @@ index 46e8b94a49df..46eb51d44cf5 100644 /* Add a page to a domain's p2m table */ -- -2.37.3 +2.37.4 |