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