summaryrefslogtreecommitdiff
path: root/sys/kern/kern_sig.c
diff options
context:
space:
mode:
authorVisa Hankala <visa@cvs.openbsd.org>2017-04-20 12:59:37 +0000
committerVisa Hankala <visa@cvs.openbsd.org>2017-04-20 12:59:37 +0000
commitde28928fd47bdf650e605892d6f32b6425dbb54c (patch)
tree191ba0870e21d5203064aff88b6399f91fea3547 /sys/kern/kern_sig.c
parenteeb5de6186b3574f4852fdf604c0d31f96448ee1 (diff)
Add a port of witness(4) lock validation tool from FreeBSD.
Go-ahead from kettenis@, guenther@, deraadt@
Diffstat (limited to 'sys/kern/kern_sig.c')
-rw-r--r--sys/kern/kern_sig.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/sys/kern/kern_sig.c b/sys/kern/kern_sig.c
index de0e1cb5a0f..9d80487026d 100644
--- a/sys/kern/kern_sig.c
+++ b/sys/kern/kern_sig.c
@@ -1,4 +1,4 @@
-/* $OpenBSD: kern_sig.c,v 1.210 2017/04/14 15:11:31 bluhm Exp $ */
+/* $OpenBSD: kern_sig.c,v 1.211 2017/04/20 12:59:36 visa Exp $ */
/* $NetBSD: kern_sig.c,v 1.54 1996/04/22 01:38:32 christos Exp $ */
/*
@@ -63,6 +63,7 @@
#include <sys/user.h>
#include <sys/syslog.h>
#include <sys/pledge.h>
+#include <sys/witness.h>
#include <sys/mount.h>
#include <sys/syscallargs.h>
@@ -1846,6 +1847,8 @@ userret(struct proc *p)
KERNEL_UNLOCK();
}
+ WITNESS_WARN(WARN_PANIC, NULL, "userret: returning");
+
p->p_cpu->ci_schedstate.spc_curpriority = p->p_priority = p->p_usrpri;
}