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

*** 19,28 ****
--- 19,30 ----
   * CDDL HEADER END
   */
  /*
   * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
+  *
+  * Copyright 2018 Joyent, Inc.
   */
  
  #ifndef _I86MMU_H
  #define _I86MMU_H
  
*** 40,49 ****
--- 42,54 ----
          const mdb_arg_t *argv);
  
  extern int ptable_dcmd(uintptr_t addr, uint_t flags, int argc,
          const mdb_arg_t *argv);
  
+ extern int ptmap_dcmd(uintptr_t addr, uint_t flags, int argc,
+         const mdb_arg_t *argv);
+ 
  extern int va2pfn_dcmd(uintptr_t addr, uint_t flags, int argc,
          const mdb_arg_t *argv);
  
  extern int mfntopfn_dcmd(uintptr_t addr, uint_t flags, int argc,
          const mdb_arg_t *argv);