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

@@ -19,14 +19,14 @@
  * CDDL HEADER END
  */
 /*
  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
+ *
+ * Copyright 2018 Joyent, Inc.
  */
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
-
 /*
  * Kernel/Debugger Interface (KDI) routines.  Called during debugger under
  * various system states (boot, while running, while the debugger has control).
  * Functions intended for use while the debugger has control may not grab any
  * locks or perform any functions that assume the availability of other system

@@ -111,16 +111,10 @@
                 panic("invalid debug register dr%d", reg);
                 /*NOTREACHED*/
         }
 }
 
-void
-kdi_flush_caches(void)
-{
-        reload_cr3();
-}
-
 extern void kdi_slave_entry(void);
 
 void
 kdi_stop_slaves(int cpu, int doxc)
 {