Type Definition sgx_types::sgx_spinlock_t [] [src]

type sgx_spinlock_t = uint32_t;