9600 LDT still not happy under KPTI
@@ -360,15 +360,10 @@ CPU->cpu_id = 0; CPU->cpu_pri = 12; /* initial PIL for the boot CPU */ /* - * The kernel doesn't use LDTs unless a process explicitly requests one. - */ - p0.p_ldt_desc = null_sdesc; - - /* * Initialize thread/cpu microstate accounting */ init_mstate(&t0, LMS_SYSTEM); init_cpu_mstate(CPU, CMS_SYSTEM);