switchframe
_Static_assert((sizeof(struct switchframe) % 8) == 0, "Bad alignment");
struct switchframe pcb_regs; /* CPU state */