ticket             84 oshmem/shmem/c/shmem_lock.c                                       int ticket,
ticket            698 oshmem/shmem/c/shmem_lock.c                                       int ticket,
ticket            712 oshmem/shmem/c/shmem_lock.c     } while (remote_turn != ticket);
ticket            983 oshmem/shmem/c/shmem_lock.c             int ticket = shmem_lock_get_ticket(lock);
ticket            986 oshmem/shmem/c/shmem_lock.c             shmem_lock_wait_for_ticket(lock, lock_size, ticket, &pe_last);