savectx
if (savectx(pcb)) {
int savectx(struct pcb *) __returns_twice;
savectx(&stoppcbs[cpu]);
void savectx(struct pcb *) __returns_twice;
savectx(&stoppcbs[cpu]);
void savectx(struct pcb *pcb) __returns_twice;
if (savectx(pcb)) {
int savectx(struct pcb *) __returns_twice;
void savectx(struct pcb *) __returns_twice;
savectx(&stoppcbs[cpuid]);
int savectx(struct pcb *pcb) __returns_twice;
savectx(&stoppcbs[cpu]);
savectx(&dumppcb); \
savectx(&stoppcbs[cpu]);
savectx(&stoppcbs[cpu]);
if (savectx(&susppcbs[cpu]->sp_pcb)) {