1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-10 09:17:34 +00:00

Kernel: Put x86_64 specific VERIFY in PageDirectory.cpp behind ifdef

This makes it possible to run this code on aarch64.
This commit is contained in:
Timon Kruiper 2022-12-28 23:30:21 +01:00 committed by Andrew Kaster
parent 5a5fa10046
commit 0d2dffb95b

View file

@ -61,6 +61,7 @@ ErrorOr<NonnullLockRefPtr<PageDirectory>> PageDirectory::try_create_for_userspac
}
}
#if ARCH(X86_64)
// 2 ** MAXPHYADDR - 1
// Where MAXPHYADDR = physical_address_bit_width
u64 max_physical_address = (1ULL << Processor::current().physical_address_bit_width()) - 1;
@ -83,6 +84,7 @@ ErrorOr<NonnullLockRefPtr<PageDirectory>> PageDirectory::try_create_for_userspac
// we're checking for sign extension when putting it into a PDPTE. See issue #4584.
for (auto table_entry : table.raw)
VERIFY((table_entry & ~pdpte_bit_flags) <= max_physical_address);
#endif
MM.unquickmap_page();
}