Searched refs:pthread_out (Results 1 – 1 of 1) sorted by relevance
185 kern_switch (pthread_t pthread_out, pthread_t pthread_in) in kern_switch() argument187 if (pthread_out != NULL) in kern_switch()188 printf ("Swapping out thread 0x%lx, ", (long) pthread_out); in kern_switch()