swtch_from_zombie
swtch_from_zombie(); /* give up the CPU */
swtch_from_zombie();
extern void swtch_from_zombie(void)