8956 Implement KPTI
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: Robert Mustacchi <rm@joyent.com>

@@ -21,10 +21,12 @@
 /*
  * Copyright (c) 2012 Gary Mills
  * Copyright 2016 PALO, Richard.
  *
  * Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
+ *
+ * Copyright 2018 Joyent, Inc.
  */
 
 #include <sys/types.h>
 #include <sys/clock.h>
 #include <sys/psm.h>

@@ -172,11 +174,11 @@
                 *pteptr = pte;
         else
                 *(x86pte32_t *)pteptr = pte;
         XPV_DISALLOW_PAGETABLE_UPDATES();
 
-        mmu_tlbflush_entry(PWIN_VA(level));
+        mmu_flush_tlb_page((uintptr_t)PWIN_VA(level));
 }
 
 /*
  * Walk the page tables to find the pfn mapped by the given va.
  */