/library/std/src/sys/sgx/waitqueue/spin_mutex/