Symbol: kaif_kdi_to_gregs
usr/src/cmd/mdb/intel/kmdb/kaif.c
188
return (kaif_kdi_to_gregs(cpuid));
usr/src/cmd/mdb/intel/kmdb/kaif.c
214
if ((regs = kaif_kdi_to_gregs(DPI_MASTER_CPUID)) == NULL)