prison_unlock
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(&prison0);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(&prison0);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr->pr_parent);
prison_unlock(pr);
prison_unlock(tpr);
prison_unlock(tpr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(pr);
prison_unlock(&prison0);
: ((prison_unlock(cpr), \
: ((prison_unlock(cpr), \