diff --git a/arch/x86/mm/page.c b/arch/x86/mm/page.c index ed5446ae9..a73815a33 100644 --- a/arch/x86/mm/page.c +++ b/arch/x86/mm/page.c @@ -81,6 +81,7 @@ static size_t* const self[PAGE_LEVELS] = { (size_t *) 0xFFFFFFFFFFFFF000 }; +#if 0 /** An other self-reference for page_map_copy() */ static size_t * const other[PAGE_LEVELS] = { (size_t *) 0xFFFFFF0000000000, @@ -89,6 +90,7 @@ static size_t * const other[PAGE_LEVELS] = { (size_t *) 0xFFFFFFFFFFFFE000 }; #endif +#endif static uint8_t expect_zeroed_pages = 0;