RADIX_VMALLOC_END
#define RADIX_KERN_IO_START RADIX_VMALLOC_END
__vmalloc_end = RADIX_VMALLOC_END;
void *k_start = kasan_mem_to_shadow((void *)RADIX_VMALLOC_END);