Searched refs:mmu_saved_gnum (Results 1 – 1 of 1) sorted by relevance
568 uint64_t mmu_saved_gnum = 0; /* to init incoming MMUs' gnums */ variable1632 mmu_ctxp->mmu_gnum = mmu_saved_gnum + 1; in sfmmu_cpu_init()1670 if (mmu_saved_gnum < mmu_ctxp->mmu_gnum) in sfmmu_ctxdom_free()1671 mmu_saved_gnum = mmu_ctxp->mmu_gnum; in sfmmu_ctxdom_free()