ukfs_release
ukfs_release(p2m->p2m_ukfs, UKFS_RELFLAG_FORCE);
ukfs_release(p2m->p2m_ukfs, UKFS_RELFLAG_FORCE);
if (ukfs_release(fs, 0) != 0) {
ukfs_release(fs, UKFS_RELFLAG_FORCE);
int ukfs_release(struct ukfs *, int);