43 static int read_mutex_state(int mutex, __u32 *count, __u32 *owner)  in read_mutex_state()
55 #define check_mutex_state(mutex, count, owner) \  argument
64 static int unlock_mutex(int mutex, __u32 owner, __u32 *count)  in unlock_mutex()
98 		     const int *objs, __u32 owner, int alert, __u32 *index)  in wait_objs()
117 static int wait_any(int fd, __u32 count, const int *objs, __u32 owner, __u32 *index)  in wait_any()
122 static int wait_all(int fd, __u32 count, const int *objs, __u32 owner, __u32 *index)  in wait_all()
128 			  __u32 owner, int alert, __u32 *index)  in wait_any_alert()
135 			  __u32 owner, int alert, __u32 *index)  in wait_all_alert()
228 	__u32 owner, count, index;  in TEST()  local
505 	__u32 owner, index, count, i;  in TEST()  local
619 	__u32 owner, index, count;  in TEST()  local