/*
- * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2008 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
extern void processor_offline(
processor_t processor);
-extern void processor_start_thread(void);
+extern void processor_start_thread(void *machine_param);
/*
* Must be implemented in machine dependent code.
extern void machine_idle(void);
+extern void machine_track_platform_idle(boolean_t);
+
extern void machine_signal_idle(
processor_t processor);