11909 THREAD_KPRI_RELEASE does nothing of the sort
Reviewed by: Bryan Cantrill <bryan@joyent.com>
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>

@@ -20,10 +20,11 @@
  */
 
 /*
  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
+ * Copyright 2019 Joyent, Inc.
  */
 
 /*      Copyright (c) 1984, 1986, 1987, 1988, 1989 AT&T */
 /*        All Rights Reserved   */
 

@@ -76,11 +77,12 @@
         struct tsproc *ts_prev; /* link to previous tsproc on list      */
         caps_sc_t ts_caps;      /* CPU caps specific data               */
 } tsproc_t;
 
 /* flags */
-#define TSKPRI          0x01    /* thread at kernel mode priority       */
+
+/* Formerly: TSKPRI     0x01 - thread at kernel mode priority */
 #define TSBACKQ         0x02    /* thread goes to back of dispq if preempted */
 #define TSIA            0x04    /* thread is interactive                */
 #define TSIASET         0x08    /* interactive thread is "on"           */
 #define TSIANICED       0x10    /* interactive thread has been niced    */
 #define TSRESTORE       0x20    /* thread was not preempted, due to schedctl */