MAX_BOOT_PTABLES
uint32 pgtables[MAX_BOOT_PTABLES];
if (gKernelArgs.arch_args.num_pgtables == MAX_BOOT_PTABLES) {