swtch
char swtch = 'n';
swtch = 'y';
swtch = 'y';
swtch = 'y';
if (swtch == 'y') {
swtch = 'n';
swtch();
swtch();
swtch(); /* clears CPU->cpu_runrun via disp() */
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch();
swtch(); /* necessary to transition state */
swtch();
swtch();
extern void swtch(void);
extern void swtch(void);
swtch();
swtch();
swtch();
swtch();
swtch(); /* clears cpu_runrun and cpu_kprunrun */
swtch();
swtch();
swtch();
swtch();