MODULES_LEN
FIXMAP_SIZE + MODULES_LEN + KASLR_LEN;
vsize += MODULES_LEN * 2;
MODULES_VADDR = MODULES_END - MODULES_LEN;
VMALLOC_END -= MODULES_LEN * 2;
BUILD_BUG_ON(MODULES_LEN > (1UL << 31));
#define KMSAN_MODULES_SHADOW_END (KMSAN_MODULES_SHADOW_START + MODULES_LEN)
#define KMSAN_MODULES_ORIGIN_END (KMSAN_MODULES_ORIGIN_START + MODULES_LEN)
#define VMALLOC_DEFAULT_SIZE ((512UL << 30) - MODULES_LEN)
#define KMSAN_MODULES_ORIGIN_START (KMSAN_MODULES_SHADOW_START + MODULES_LEN)
BUILD_BUG_ON(MODULES_LEN + KERNEL_IMAGE_SIZE > 2*PUD_SIZE);