lockdebug_lock_print
lockdebug_lock_print(have_addr ? (void *)(uintptr_t)addr : NULL,
lockdebug_lock_print(vp->v_uobj.vmobjlock, db_printf);
void lockdebug_lock_print(void *, void (*)(const char *, ...)
void lockdebug_lock_print(void);
void lockdebug_lock_print(void) {