#ifndef _MISC_PROTOS_H_
#define _MISC_PROTOS_H_
#include <stdarg.h>
#include <string.h>
#include <machine/setjmp.h>
#include <mach/boolean.h>
#include <mach/message.h>
#include <mach/machine/vm_types.h>
#include <ipc/ipc_types.h>
#include <kern/debug.h>
extern void setbit(
int which,
int *bitmap);
extern void clrbit(
int which,
int *bitmap);
extern int ffsbit(
int *bitmap);
extern int ffs(
unsigned int mask);
extern int testbit(
int which,
int *bitmap);
extern int copyin(
const user_addr_t user_addr,
char *kernel_addr,
vm_size_t nbytes);
extern int copyinstr(
const user_addr_t user_addr,
char *kernel_addr,
vm_size_t max,
vm_size_t *actual);
extern int copyinmsg(
const user_addr_t user_addr,
char *kernel_addr,
mach_msg_size_t nbytes);
extern int copyout(
const char *kernel_addr,
user_addr_t user_addr,
vm_size_t nbytes);
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 integer_t sprintf(char *buf, const char *fmt, ...);
extern void printf(const char *format, ...);
extern void dbugprintf(const char *format, ...);
extern void kdp_printf(const char *format, ...);
extern void printf_init(void);
extern void log(int level, char *fmt, ...);
void
_doprnt(
register const char *fmt,
va_list *argp,
void (*putc)(char),
int radix);
int
__doprnt(
register const char *fmt,
va_list *argp,
void (*putc)(int, void *),
void *arg,
int radix);
extern void safe_gets(
char *str,
int maxlen);
extern void cnputcusr(char);
extern void conslog_putc(char);
extern void consdebug_putc(char);
extern void cnputc(char);
extern int cngetc(void);
extern int cnmaygetc(void);
extern int _setjmp(
jmp_buf_t *jmp_buf);
extern int _longjmp(
jmp_buf_t *jmp_buf,
int value);
extern void bootstrap_create(void);
extern void Debugger(
const char * message);
extern void delay(
int n);
extern void norma_bootstrap(void);
#if DIPC
extern boolean_t no_bootstrap_task(void);
extern ipc_port_t get_root_master_device_port(void);
#endif
extern kern_return_t kernel_set_special_port(
host_priv_t host_priv,
int which,
ipc_port_t port);
#endif