kdi_gdt2cpu
if ((cpu = kdi_gdt2cpu(gdtr.dtr_base)) == NULL ||
return ((uintptr_t)kdi_gdt2cpu(gdtbase));