Print this page
OS-6546 Use PCID if KPTI is enabled

@@ -158,10 +158,16 @@
         } else {
                 kpti_enable = (uint64_t)(prop_value == 1);
                 prom_printf("unix: forcing kpti to %s due to boot argument\n",
                     (kpti_enable == 1) ? "ON" : "OFF");
         }
+
+        if (bootprop_getval("pcid", &prop_value) == 0)
+                x86_use_pcid = (uint64_t)(prop_value == 1);
+
+        if (kpti_enable != 1)
+                x86_use_pcid = 0;
 #endif
 
         /*
          * Initialize idt0, gdt0, ldt0_default, ktss0 and dftss.
          */