xnu-792.21.3.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 b3143b07ef1f491907871e241837e38025e3f4cb..b25a41f11e1930c5b59bddd619c299e09050d78a 100644 (file)
--- a/osfmk/i386/machine_cpu.h
+++ b/osfmk/i386/machine_cpu.h
@@ -38,12 +38,9 @@ __BEGIN_DECLS
 void   cpu_machine_init(
        void);
 
+struct i386_interrupt_state;
 void   cpu_signal_handler(
-       x86_saved_state_t *regs);
-
-void   handle_pending_TLB_flushes(
-       void);
-
+       struct i386_interrupt_state *regs);
 
 kern_return_t cpu_register(
         int *slot_nump);
@@ -51,7 +48,7 @@ __END_DECLS
 
 static inline void cpu_halt(void)
 {
-       asm volatile( "wbinvd; cli; hlt" );
+       asm volatile( "cli; hlt" );
 }
 
 static inline void cpu_pause(void)