Symbol: X86_PTE_ADDRESS_MASK
src/system/boot/platform/efi/arch/x86/arch_mmu.cpp
41
#define X86_PTE_ADDRESS_MASK 0xfffff000
src/system/kernel/arch/x86/paging/32bit/paging.h
51
#define X86_PTE_ADDRESS_MASK 0xfffff000