contract_abandon
contract_abandon(ctid);
contract_abandon(ctid);
contract_abandon(ctid);
contract_abandon(ctid);
contract_abandon(*ctidp);
contract_abandon(ctid);
void contract_abandon(ctid_t);
(void) contract_abandon(tmpl->ctp_subsume, parent, 1);
error = contract_abandon(ct, curproc, 1);
(void) contract_abandon(ct, ttoproc(curthread), 0);
VERIFY(contract_abandon(ct, p, 0) == 0);
VERIFY(contract_abandon(ct, curproc, B_TRUE) == 0);
int contract_abandon(contract_t *, struct proc *, int);