Symbol: xkb_as_to_mfn
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
1491
if (as != NULL && (tlmfn = xkb_as_to_mfn(xkb, as)) == MFN_INVALID)
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
565
if (as != NULL && (tlmfn = xkb_as_to_mfn(xkb, as)) == MFN_INVALID)