witness_warn
witness_warn((flags), (lock), (fmt), ## __VA_ARGS__)
int witness_warn(int, struct lock_object *, const char *, ...);