Symbol: mmu_info_t
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
185
mmu_info_t xkb_mmu;
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
744
xkb_get_pte(mmu_info_t *mmu, char *ptep)
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
778
mmu_info_t *mmu = &xkb->xkb_mmu;