Searched refs:curcnum (Results 1 – 1 of 1) sorted by relevance
9779 uint_t curcnum; in sfmmu_sync_mmustate() local9788 curcnum = sfmmu_getctx_sec(); in sfmmu_sync_mmustate()9789 if (curcnum == cnum) in sfmmu_sync_mmustate()9792 ASSERT(curcnum == cnum || curcnum == INVALID_CONTEXT); in sfmmu_sync_mmustate()