Symbol: xkb_va_to_mfn
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
1494
mfn = xkb_va_to_mfn(xkb, addr, tlmfn);
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
214
static mfn_t xkb_va_to_mfn(xkb_t *, uintptr_t, mfn_t);
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
576
mfn = xkb_va_to_mfn(xkb, pos, tlmfn);