vsw_setup_switching_thread
extern void vsw_setup_switching_thread(void *arg);
vsw_setup_switching_thread, vswp, 0, &p0, TS_RUN, minclsyspri);
void vsw_setup_switching_thread(void *arg);