Symbol: MAX_BOOT_PTABLES
headers/private/kernel/arch/x86/arch_kernel_args.h
28
uint32 pgtables[MAX_BOOT_PTABLES];
src/system/boot/platform/bios_ia32/mmu.cpp
178
if (gKernelArgs.arch_args.num_pgtables == MAX_BOOT_PTABLES) {