xnu-792.10.96.tar.gz

[apple/xnu.git] / osfmk / i386 / machine_cpu.h

diff --git a/osfmk/i386/machine_cpu.h b/osfmk/i386/machine_cpu.h
index 85950f68d5d2000ef8f5a5a214afb83192cd123d..21ee6880bd39444493313daf816c2d9e93eb00dd 100644 (file)
--- 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)