Type Definition sgx_types::sgx_spinlock_t

type sgx_spinlock_t = uint32_t;