/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2005 Apple Computer, Inc. All rights reserved.
*
- * @APPLE_LICENSE_HEADER_START@
- *
- * Copyright (c) 1999-2003 Apple Computer, Inc. All Rights Reserved.
+ * @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
* 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_
#include <mach/boolean.h>
#include <kern/kern_types.h>
#include <pexpert/pexpert.h>
+#include <sys/cdefs.h>
+__BEGIN_DECLS
void cpu_machine_init(
void);
-kern_return_t cpu_register(
- int *);
+void cpu_signal_handler(
+ x86_saved_state_t *regs);
-kern_return_t cpu_start(
- int);
+void handle_pending_TLB_flushes(
+ void);
-void cpu_doshutdown(
- void);
-void cpu_sleep(
- void);
+kern_return_t cpu_register(
+ int *slot_nump);
+__END_DECLS
-struct i386_interrupt_state;
-void cpu_signal_handler(
- struct i386_interrupt_state *regs);
+static inline void cpu_halt(void)
+{
+ asm volatile( "wbinvd; cli; hlt" );
+}
static inline void cpu_pause(void)
{
asm volatile( "rep; nop" );
}
+
#endif /* _I386_MACHINE_CPU_H_ */