src/libstd/sys/sgx/abi/thread.rs

   1 use fortanix_sgx_abi::Tcs;
   2
   3 /// Gets the ID for the current thread. The ID is guaranteed to be unique among
   4 /// all currently running threads in the enclave, and it is guaranteed to be
   5 /// constant for the lifetime of the thread. More specifically for SGX, there
   6 /// is a one-to-one correspondence of the ID to the address of the TCS.
   7 #[unstable(feature = "sgx_platform", issue = "56975")]
   8 pub fn current() -> Tcs {
   9     extern "C" { fn get_tcs_addr() -> Tcs; }
  10     unsafe { get_tcs_addr() }
  11 }