kasan_init_region
int kasan_init_region(void *start, size_t size);
ret = kasan_init_region(__va(base), top - base);