Searched refs:kdi_gdt2cpu (Results 1 – 1 of 1) sorted by relevance
64 kdi_gdt2cpu(uintptr_t gdtbase) in kdi_gdt2cpu() function83 return ((uintptr_t)kdi_gdt2cpu(gdtbase)); in kdi_gdt2gsbase()105 if ((cpu = kdi_gdt2cpu(gdtr.dtr_base)) == NULL || in kdi_get_cpuinfo()