Symbol: KASLR_LEN
arch/s390/boot/startup.c
315
FIXMAP_SIZE + MODULES_LEN + KASLR_LEN;
arch/s390/boot/startup.c
376
kaslr_len = max(KASLR_LEN, vmax - vsize);