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