Symbol: xkb_cr3_to_pfn
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
1488
mfn_t tlmfn = xkb_cr3_to_pfn(xkb);
usr/src/cmd/mdb/intel/modules/mdb_kb/mdb_kb.c
563
mfn_t tlmfn = xkb_cr3_to_pfn(xkb);