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

@@ -154,13 +154,14 @@
 #define PFN_64G         (64ull * (1024 * 1024 * 1024 / MMU_PAGESIZE))
 #define PFN_ABOVE4G(pfn) ((pfn) >= PFN_4G)
 #define PFN_ABOVE64G(pfn) ((pfn) >= PFN_64G)
 
 /*
- * The CR3 register holds the physical address of the top level page table.
+ * The CR3 register holds the physical address of the top level page table,
+ * along with the current PCID if any.
  */
-#define MAKECR3(pfn)    mmu_ptob(pfn)
+#define MAKECR3(pfn, pcid)      (mmu_ptob(pfn) | pcid)
 
 /*
  * HAT/MMU parameters that depend on kernel mode and/or processor type
  */
 struct htable;