lockmgr_assert
lockmgr_assert(&(pmp)->pm_fatlock, KA_XLOCKED)
lockmgr_assert(lk, KA_XLOCKED);
lockmgr_assert(lk, KA_XLOCKED);
lockmgr_assert(lk, KA_XLOCKED);
lockmgr_assert(lk, KA_XLOCKED);
lockmgr_assert(&tmp->mnt_renamelock, KA_XLOCKED);