Symbol: X86_PDE_ADDRESS_MASK
src/system/boot/platform/efi/arch/x86/arch_mmu.cpp
40
#define X86_PDE_ADDRESS_MASK 0xfffff000
src/system/kernel/arch/x86/paging/32bit/paging.h
36
#define X86_PDE_ADDRESS_MASK 0xfffff000