kasan_shadow_map
kasan_shadow_map((void *)pmap_maxkvaddr,
kasan_shadow_map(stack, USPACE);
kasan_shadow_map((void *)kasan_kernelstart, kasan_kernelsize);
kasan_shadow_map((void *)VM_KERNEL_VM_BASE, eva - VM_KERNEL_VM_BASE);
kasan_shadow_map(stack, USPACE);
kasan_shadow_map((void *)bootspace.segs[i].va,
kasan_shadow_map((void *)bootspace.boot.va, bootspace.boot.sz);
kasan_shadow_map((void *)bootspace.smodule,
kasan_shadow_map((void *)bootspace.spareva, PAGE_SIZE);
kasan_shadow_map((void *)pmap_maxkvaddr,
kasan_shadow_map(stack, INIT_ARM_TOTAL_STACK);
kasan_shadow_map((void *)kasan_kernelstart, kasan_kernelsize);
kasan_shadow_map((void *)VM_KERNEL_VM_BASE, eva - VM_KERNEL_VM_BASE);
kasan_shadow_map((void *)pmap_maxkvaddr,
void kasan_shadow_map(void *, size_t);
kasan_shadow_map((void *)pmap_curmaxkvaddr,