__START_KERNEL     88 arch/x86/kernel/head64.c 	BUILD_BUG_ON(!(MODULES_VADDR > __START_KERNEL));
__START_KERNEL     90 arch/x86/kernel/head64.c 				(__START_KERNEL & PGDIR_MASK)));