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,29 ****
--- 20,30 ----
   */
  
  /*
   * 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,86 ****
          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       */
  #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 */
--- 77,88 ----
          struct tsproc *ts_prev; /* link to previous tsproc on list      */
          caps_sc_t ts_caps;      /* CPU caps specific data               */
  } tsproc_t;
  
  /* flags */
! 
! /* 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 */