Kernel: Fix 32 bit fast page locking
I forgot to change this when changing the lock type. 32 bit boots again fine :D
This commit is contained in:
@@ -178,7 +178,7 @@ namespace Kernel
|
||||
ASSERT(s_kernel);
|
||||
ASSERT(paddr);
|
||||
|
||||
SpinLockGuard _(s_fast_page_lock);
|
||||
ASSERT(s_fast_page_lock.current_processor_has_lock());
|
||||
|
||||
constexpr uint64_t pdpte = (fast_page() >> 30) & 0x1FF;
|
||||
constexpr uint64_t pde = (fast_page() >> 21) & 0x1FF;
|
||||
@@ -198,7 +198,7 @@ namespace Kernel
|
||||
{
|
||||
ASSERT(s_kernel);
|
||||
|
||||
SpinLockGuard _(s_fast_page_lock);
|
||||
ASSERT(s_fast_page_lock.current_processor_has_lock());
|
||||
|
||||
constexpr uint64_t pdpte = (fast_page() >> 30) & 0x1FF;
|
||||
constexpr uint64_t pde = (fast_page() >> 21) & 0x1FF;
|
||||
|
||||
Reference in New Issue
Block a user