Symbol: kdi_gdt2cpu
usr/src/uts/intel/os/arch_kdi.c
105
if ((cpu = kdi_gdt2cpu(gdtr.dtr_base)) == NULL ||
usr/src/uts/intel/os/arch_kdi.c
84
return ((uintptr_t)kdi_gdt2cpu(gdtbase));