print_usage_bug
print_usage_bug(curr, this, bad_bit, new_bit);
print_usage_bug(current, hlock, LOCK_USED, LOCK_USAGE_STATES);