thread_unblock_switch
thread_unblock_switch(td, mtx);
static inline void thread_unblock_switch(struct thread *, struct mtx *);