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

@@ -19,10 +19,12 @@
  * 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,10 +42,13 @@
         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);