/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
#include <mach/message.h>
#include <mach/machine/vm_types.h>
#include <ipc/ipc_types.h>
+#include <kern/debug.h>
/* Set a bit in a bit array */
extern void setbit(
int which,
int *bitmap);
-/* Move arbitrarily-aligned data from one array to another */
-extern void bcopy(
- const char *from,
- char *to,
- vm_size_t nbytes);
-
-/* Move overlapping, arbitrarily aligned data from one array to another */
-/* Not present on all ports */
-extern void ovbcopy(
- const char *from,
- char *to,
- vm_size_t nbytes);
-
-extern int bcmp(
- const char *a,
- const char *b,
- vm_size_t len);
-
-/* Zero an arbitrarily aligned array */
-extern void bzero(
- char *from,
- vm_size_t nbytes);
-
/* Move arbitrarily-aligned data from a user space to kernel space */
-extern boolean_t copyin(
- const char *user_addr,
- char *kernel_addr,
- vm_size_t nbytes);
+extern int copyin(
+ const user_addr_t user_addr,
+ char *kernel_addr,
+ vm_size_t nbytes);
/* Move a NUL-terminated string from a user space to kernel space */
-extern boolean_t copyinstr(
- const char *user_addr,
- char *kernel_addr,
- vm_size_t max,
- vm_size_t *actual);
+extern int copyinstr(
+ const user_addr_t user_addr,
+ char *kernel_addr,
+ vm_size_t max,
+ vm_size_t *actual);
/* Move arbitrarily-aligned data from a user space to kernel space */
-extern boolean_t copyinmsg(
- const char *user_addr,
- char *kernel_addr,
- mach_msg_size_t nbytes);
+extern int copyinmsg(
+ const user_addr_t user_addr,
+ char *kernel_addr,
+ mach_msg_size_t nbytes);
/* Move arbitrarily-aligned data from a kernel space to user space */
-extern boolean_t copyout(
- const char *kernel_addr,
- char *user_addr,
- vm_size_t nbytes);
+extern int copyout(
+ const char *kernel_addr,
+ user_addr_t user_addr,
+ vm_size_t nbytes);
/* Move arbitrarily-aligned data from a kernel space to user space */
-extern boolean_t copyoutmsg(
- const char *kernel_addr,
- char *user_addr,
+extern int copyoutmsg(
+ const char *kernel_addr,
+ user_addr_t user_addr,
mach_msg_size_t nbytes);
extern int sscanf(const char *input, const char *fmt, ...);
extern void printf_init(void);
-extern void panic(const char *string, ...);
-
-extern void panic_init(void);
-
extern void log(int level, char *fmt, ...);
void
extern void bootstrap_create(void);
-extern void halt_cpu(void);
-
-extern void halt_all_cpus(
- boolean_t reboot);
-
extern void Debugger(
const char * message);
extern void delay(
int n);
-extern char *machine_boot_info(
- char *buf,
- vm_size_t buf_len);
-
-/*
- * Machine-dependent routine to fill in an array with up to callstack_max
- * levels of return pc information.
- */
-extern void machine_callstack(
- natural_t *buf,
- vm_size_t callstack_max);
-
-extern void consider_machine_collect(void);
extern void norma_bootstrap(void);