Type Definition sgx_types::sgx_spinlock_t[][src]

type sgx_spinlock_t = uint32_t;