Switch to another thread. The argument to this command is a pthread_t value that specifies the thread that you want to be made the current thread. For example:
if ((err=devctl( fd, DCMD_PROC_CURTHREAD, &tid,
sizeof(tid), NULL)) != EOK) {
/* An error occurred. */
}