ipc/ipc_print.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#ifndef _IPC_PRINT_H_
#define	_IPC_PRINT_H_

#if MACH_KDB

#include <mach/mach_types.h>
#include <mach/message.h>
#include <ipc/ipc_types.h>

extern void ipc_port_print(ipc_port_t);

extern void ipc_pset_print(ipc_pset_t);

extern void ipc_kmsg_print(ipc_kmsg_t);

extern void ipc_msg_print(mach_msg_header_t*);

#endif  /* MACH_KDB */

#endif	/* IPC_PRINT_H */