kmsan_shadow_map
kmsan_shadow_map((void *)bootspace.segs[i].va,
kmsan_shadow_map((void *)bootspace.boot.va, bootspace.boot.sz);
kmsan_shadow_map((void *)bootspace.smodule,
kmsan_shadow_map((void *)bootspace.spareva, PAGE_SIZE);
kmsan_shadow_map((void *)pmap_maxkvaddr,
kmsan_shadow_map(stack, USPACE);
void kmsan_shadow_map(void *, size_t);