Symbol: __MD_ORIG_MAIN_START
sys/arch/amd64/include/msan.h
65
#define __MD_ORIG_KERN_START (__MD_ORIG_MAIN_START + 0x8000000000ULL)
sys/arch/amd64/include/msan.h
90
return (int8_t *)(__MD_ORIG_MAIN_START + (va - vm_min_kernel_address));