/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
#include <kern/kern_types.h>
#include <pexpert/pexpert.h>
-void cpu_machine_init(
+extern void cpu_machine_init(
void);
-kern_return_t cpu_register(
- int *);
-
-kern_return_t cpu_start(
- int);
-
-void cpu_doshutdown(
+extern void cpu_doshutdown(
void);
-void cpu_sleep(
- void);
-
-void cpu_signal_handler(
+extern void cpu_signal_handler(
void);
-void cpu_exit_wait(
- int);
-
typedef void (*broadcastFunc) (int);
int32_t cpu_broadcast(uint32_t *, broadcastFunc, uint32_t);