MMU_CTX_NUM_STATS
"hat", KSTAT_TYPE_NAMED, MMU_CTX_NUM_STATS, KSTAT_FLAG_VIRTUAL);
for (stat = 0; stat < MMU_CTX_NUM_STATS; stat++)
kstat_named_t mmu_kstat_data[MMU_CTX_NUM_STATS];