kmsan_md_addr_to_shad
ret.shad = (void *)kmsan_md_addr_to_shad((vm_offset_t)addr);
shad = (uint8_t *)kmsan_md_addr_to_shad(addr);
shad_src = (uint8_t *)kmsan_md_addr_to_shad((vm_offset_t)src);
shad_dst = (uint8_t *)kmsan_md_addr_to_shad((vm_offset_t)dst);
shad = (uint8_t *)kmsan_md_addr_to_shad(addr);
va = kmsan_md_addr_to_shad(addr);
shad = (uint8_t *)kmsan_md_addr_to_shad((vm_offset_t)addr);