Use _kernel_lock_held() instead of __mp_lock_held(&kernel_lock).
authormpi <mpi@openbsd.org>
Mon, 4 Dec 2017 21:12:41 +0000 (21:12 +0000)
committermpi <mpi@openbsd.org>
Mon, 4 Dec 2017 21:12:41 +0000 (21:12 +0000)
commita5b9b43c45b11a12da1ce00018a13a2424a1f946
tree0d445af0a58dcef0a29437e36f2ddb8eb653f726
parentc13b5084c20ad9f2af5cd5b89f989a25147985c7
Use _kernel_lock_held() instead of __mp_lock_held(&kernel_lock).

Missed in previous, found by deraadt@, ok visa@
sys/arch/i386/i386/ipifuncs.c