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

*** 21,30 ****
--- 21,32 ----
  /*
   * 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,182 ****
                  *pteptr = pte;
          else
                  *(x86pte32_t *)pteptr = pte;
          XPV_DISALLOW_PAGETABLE_UPDATES();
  
!         mmu_tlbflush_entry(PWIN_VA(level));
  }
  
  /*
   * Walk the page tables to find the pfn mapped by the given va.
   */
--- 174,184 ----
                  *pteptr = pte;
          else
                  *(x86pte32_t *)pteptr = pte;
          XPV_DISALLOW_PAGETABLE_UPDATES();
  
!         mmu_flush_tlb_page((uintptr_t)PWIN_VA(level));
  }
  
  /*
   * Walk the page tables to find the pfn mapped by the given va.
   */