__kernel_va - Linux

Symbol: __kernel_va

arch/s390/boot/boot.h

#define __kernel_va(x) ((void *)((unsigned long)(x) - __kaslr_offset_phys + __kaslr_offset))

arch/s390/kernel/alternative.c

#define __kernel_va(x) (void *)(x)