check_mutex_state
check_mutex_state(objs[1], 0, 0);
check_mutex_state(objs[1], 1, 456);
check_mutex_state(mutex, 2, 123);
check_mutex_state(mutex, 2, 123);
check_mutex_state(mutex, 1, 123);
check_mutex_state(mutex, 0, 0);
check_mutex_state(mutex, 1, 456);
check_mutex_state(mutex, 2, 456);
check_mutex_state(mutex, 1, 456);
check_mutex_state(mutex, 1, 456);
check_mutex_state(mutex, 1, 123);
check_mutex_state(mutex, 1, 123);
check_mutex_state(mutex, 0, 0);
check_mutex_state(mutex, 1, 123);
check_mutex_state(mutex, ~0u, 123);
check_mutex_state(objs[1], 0, 0);
check_mutex_state(objs[1], 0, 0);
check_mutex_state(objs[1], 1, 123);
check_mutex_state(objs[1], 1, 123);
check_mutex_state(objs[1], 2, 123);
check_mutex_state(objs[1], 1, 123);
check_mutex_state(objs[1], 1, 123);
check_mutex_state(objs[1], 2, 123);
check_mutex_state(objs[1], 2, 123);
check_mutex_state(objs[1], 3, 123);
check_mutex_state(objs[1], 1, 123);
check_mutex_state(objs[1], 1, 456);