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

*** 2343,2352 **** --- 2343,2358 ---- /* * Intel IOMMU has been setup/initialized in ddi_impl.c * Start it up now. */ immu_startup(); + + /* + * Now that we're no longer going to drop into real mode for a BIOS call + * via bootops, we can enable PCID (which requires CR0.PG). + */ + enable_pcid(); #endif PRM_POINT("Enabling interrupts"); (*picinitf)(); sti();