prrun_t
prrun_t prrun;
prsetrun(kthread_t *t, prrun_t *prp)
static void prsetrun(kthread_t *, prrun_t *);