62 static inline void sv_lock(sv_t *sv) {  in sv_lock()
66 static inline void sv_unlock(sv_t *sv) {  in sv_unlock()
84 static inline void sv_set_mon_type(sv_t *sv, int type) {  in sv_set_mon_type()
131 static inline void sv_set_ord(sv_t *sv, int ord) {  in sv_set_ord()
144 void sv_init(sv_t *sv, sv_mon_lock_t *lock, int flags)   in sv_init()
177 signed long sv_wait(sv_t *sv, int sv_wait_flags, unsigned long timeout)   in sv_wait()
272 void sv_signal(sv_t *sv)   in sv_signal()
294 void sv_broadcast(sv_t *sv)   in sv_broadcast()
311 void sv_destroy(sv_t *sv)   in sv_destroy()
328 sv_t sv;
329 sv_t sv_filo;
372 	sv_t *sv = (sv_t *)arg;  in sv_test_2_w()
386 	sv_t *sv = (sv_t *)arg;  in sv_test_2_s_1()
410 	sv_t *sv = (sv_t *)arg;  in sv_test_2_s()
433 static void big_test(sv_t *sv)   in big_test()
464 sv_t int_test_sv;