Searched refs:curcnum (Results 1 – 1 of 1) sorted by relevance
9964 uint_t curcnum; in sfmmu_sync_mmustate() local9973 curcnum = sfmmu_getctx_sec(); in sfmmu_sync_mmustate()9974 if (curcnum == cnum) in sfmmu_sync_mmustate()9977 ASSERT(curcnum == cnum || curcnum == INVALID_CONTEXT); in sfmmu_sync_mmustate()