platforms::platform::tier3
pub const X86_64_FORTANIX_UNKNOWN_SGX: Platform
x86_64-fortanix-unknown-sgx: Fortanix ABI for 64-bit Intel SGX
x86_64-fortanix-unknown-sgx