Add file and line arguments to WITNESS_ENTER() and WITNESS_EXIT, since

__FILE__ and __LINE__ don't get expanded usefully in inline functions.

Add const to all witness*() arguments that are filenames.

1 files changed, 3 insertions, 3 deletions

diff --git a/sys/kern/kern_mutex.c b/sys/kern/kern_mutex.c
index 3a5fb85..7dda8f1 100644
--- a/sys/kern/kern_mutex.c
+++ b/sys/kern/kern_mutex.c
@@ -226,7 +226,7 @@ witness_destroy(mtx_t *m)
 }
 
 void
-witness_enter(mtx_t *m, int flags,  char *file, int line)
+witness_enter(mtx_t *m, int flags, const char *file, int line)
 {
 	witness_t *w, *w1;
 	mtx_t *m1;
@@ -361,7 +361,7 @@ out:
 }
 
 void
-witness_exit(mtx_t *m, int flags, char *file, int line)
+witness_exit(mtx_t *m, int flags, const char *file, int line)
 {
 	witness_t *w;
 
@@ -458,7 +458,7 @@ witness_display(void(*prnt)(const char *fmt, ...))
 }
 
 int
-witness_sleep(int check_only, mtx_t *mtx, char *file, int line)
+witness_sleep(int check_only, mtx_t *mtx, const char *file, int line)
 {
 	mtx_t *m;
 	struct proc *p;