VM_KERNEL_KASAN_BASE
VM_KERNEL_KASAN_BASE, KERNEL_L2PT_KASAN_NUM);
const vaddr_t va = VM_KERNEL_KASAN_BASE + idx * L2_S_SEGSIZE;
#define VM_KERNEL_KASAN_END (VM_KERNEL_KASAN_BASE + VM_KERNEL_KASAN_SIZE)
#define VM_KERNEL_VM_END VM_KERNEL_KASAN_BASE
#define KASAN_MD_SHADOW_START VM_KERNEL_KASAN_BASE