xnu-1228.12.14.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 00ef21d93f30d0776f401412e8dce30deb0aaa69..2460bf606bb3c1c8e93af66f5238a2d2fc9d8fc9 100644 (file)
--- a/osfmk/i386/machine_cpu.h
+++ b/osfmk/i386/machine_cpu.h
@@ -1,14 +1,19 @@
 /*
  * Copyright (c) 2000-2005 Apple Computer, Inc. All rights reserved.
  *
- * @APPLE_LICENSE_HEADER_START@
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
  * 
  * This file contains Original Code and/or Modifications of Original Code
  * as defined in and that are subject to the Apple Public Source License
  * Version 2.0 (the 'License'). You may not use this file except in
- * compliance with the License. Please obtain a copy of the License at
- * http://www.opensource.apple.com/apsl/ and read it before using this
- * file.
+ * compliance with the License. The rights granted to you under the License
+ * may not be used to create, or enable the creation or redistribution of,
+ * unlawful or unlicensed copies of an Apple operating system, or to
+ * circumvent, violate, or enable the circumvention or violation of, any
+ * terms of an Apple operating system software license agreement.
+ * 
+ * Please obtain a copy of the License at
+ * http://www.opensource.apple.com/apsl/ and read it before using this file.
  * 
  * The Original Code and all software distributed under the License are
  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
@@ -18,7 +23,7 @@
  * Please see the License for the specific language governing rights and
  * limitations under the License.
  * 
- * @APPLE_LICENSE_HEADER_END@
+ * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  */
 #ifndef _I386_MACHINE_CPU_H_
 #define _I386_MACHINE_CPU_H_
@@ -33,9 +38,9 @@ __BEGIN_DECLS
 void   cpu_machine_init(
        void);
 
-struct i386_interrupt_state;
-void   cpu_signal_handler(
-       struct i386_interrupt_state *regs);
+void   handle_pending_TLB_flushes(
+       void);
+
 
 kern_return_t cpu_register(
         int *slot_nump);
@@ -43,7 +48,7 @@ __END_DECLS
 
 static inline void cpu_halt(void)
 {
-       asm volatile( "cli; hlt" );
+       asm volatile( "wbinvd; cli; hlt" );
 }
 
 static inline void cpu_pause(void)