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

   1 use fortanix_sgx_abi::Tcs;
   2
   3 /// Get 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 pub fn current() -> Tcs {
   8     extern "C" { fn get_tcs_addr() -> Tcs; }
   9     unsafe { get_tcs_addr() }
  10 }