X-Git-Url: https://git.saurik.com/apple/xnu.git/blobdiff_plain/13fec9890cf095cc781fdf7b8917cb03bf32dd4c..c0fea4742e91338fffdcf79f86a7c1d5e2b97eb1:/osfmk/i386/machine_cpu.h

diff --git a/osfmk/i386/machine_cpu.h b/osfmk/i386/machine_cpu.h
index 85950f68d..21ee6880b 100644
--- a/osfmk/i386/machine_cpu.h
+++ b/osfmk/i386/machine_cpu.h
@@ -32,9 +32,12 @@ __BEGIN_DECLS
 void	cpu_machine_init(
 	void);
 
-struct i386_interrupt_state;
 void	cpu_signal_handler(
-	struct i386_interrupt_state *regs);
+	x86_saved_state_t *regs);
+
+void	handle_pending_TLB_flushes(
+	void);
+
 
 kern_return_t cpu_register(
         int *slot_nump);
@@ -42,7 +45,7 @@ __END_DECLS
 
 static inline void cpu_halt(void)
 {
-	asm volatile( "cli; hlt" );
+	asm volatile( "wbinvd; cli; hlt" );
 }
 
 static inline void cpu_pause(void)