diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c index 9844db45956..c13dd1d433f 100644 --- a/sys/kern/kern_mutex.c +++ b/sys/kern/kern_mutex.c @@ -1766,6 +1766,16 @@ witness_list(struct proc *p) return (nheld); } +#ifdef DDB + +DB_COMMAND(witness_list, db_witness_list) +{ + + witness_list(CURPROC); +} + +#endif + void witness_save(struct mtx *m, const char **filep, int *linep) { diff --git a/sys/kern/subr_turnstile.c b/sys/kern/subr_turnstile.c index 9844db45956..c13dd1d433f 100644 --- a/sys/kern/subr_turnstile.c +++ b/sys/kern/subr_turnstile.c @@ -1766,6 +1766,16 @@ witness_list(struct proc *p) return (nheld); } +#ifdef DDB + +DB_COMMAND(witness_list, db_witness_list) +{ + + witness_list(CURPROC); +} + +#endif + void witness_save(struct mtx *m, const char **filep, int *linep) { diff --git a/sys/kern/subr_witness.c b/sys/kern/subr_witness.c index 9844db45956..c13dd1d433f 100644 --- a/sys/kern/subr_witness.c +++ b/sys/kern/subr_witness.c @@ -1766,6 +1766,16 @@ witness_list(struct proc *p) return (nheld); } +#ifdef DDB + +DB_COMMAND(witness_list, db_witness_list) +{ + + witness_list(CURPROC); +} + +#endif + void witness_save(struct mtx *m, const char **filep, int *linep) {