KERNEL_IMAGE_START   83 arch/x86/kernel/head64.c 	BUILD_BUG_ON(MODULES_VADDR < KERNEL_IMAGE_START);
KERNEL_IMAGE_START   84 arch/x86/kernel/head64.c 	BUILD_BUG_ON(MODULES_VADDR-KERNEL_IMAGE_START < KERNEL_IMAGE_SIZE);
KERNEL_IMAGE_START   86 arch/x86/kernel/head64.c 	BUILD_BUG_ON((KERNEL_IMAGE_START & ~PMD_MASK) != 0);