Symbol: __MD_SHAD_KERN_START
sys/arch/amd64/include/msan.h
64
#define __MD_ORIG_MAIN_START (__MD_SHAD_KERN_START + 0x8000000000ULL)
sys/arch/amd64/include/msan.h
78
return (int8_t *)(__MD_SHAD_KERN_START + (va - KERNBASE));