Type Definition sgx_types::sgx_spinlock_t[−][src]

type sgx_spinlock_t = uint32_t;