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 ipc_port_t get_root_master_device_port(void);
#endif /* DIPC */
+extern kern_return_t kernel_set_special_port(
+ host_priv_t host_priv,
+ int which,
+ ipc_port_t port);
+
#endif /* _MISC_PROTOS_H_ */