usched_ctl
usched_ctl(&usched_bsd4, USCH_ADD);
usched_ctl(&usched_dfly, USCH_ADD);
usched_ctl(&usched_dummy, USCH_ADD);
int usched_ctl(struct usched *, int);