RUMPCN_FREECRED
rump_pub_freecn(cnp, RUMPCN_FREECRED);
if (flags & RUMPCN_FREECRED)
rump_pub_freecn(cn, RUMPCN_FREECRED);