int ksched_detach(struct ksched *ks) { p31b_free(ks); return 0; }
int ksched_detach(struct ksched *p) { p31b_free(p); return 0; }