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