MAX_BOOT_PTS      284 arch/x86/kernel/vmi_32.c } boot_page_allocations[MAX_BOOT_PTS];
MAX_BOOT_PTS      303 arch/x86/kernel/vmi_32.c 	BUG_ON(num_boot_page_allocations >= MAX_BOOT_PTS);