osfmk/ipc/ipc_print.h

   1 /*
   2  * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
   3  *
   4  * @APPLE_LICENSE_OSREFERENCE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License.  The rights granted to you under the
  10  * License may not be used to create, or enable the creation or
  11  * redistribution of, unlawful or unlicensed copies of an Apple operating
  12  * system, or to circumvent, violate, or enable the circumvention or
  13  * violation of, any terms of an Apple operating system software license
  14  * agreement.
  15  *
  16  * Please obtain a copy of the License at
  17  * http://www.opensource.apple.com/apsl/ and read it before using this
  18  * file.
  19  *
  20  * The Original Code and all software distributed under the License are
  21  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  22  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  23  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  24  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  25  * Please see the License for the specific language governing rights and
  26  * limitations under the License.
  27  *
  28  * @APPLE_LICENSE_OSREFERENCE_HEADER_END@
  29  */
  30 /*
  31  * @OSF_COPYRIGHT@
  32  */
  33
  34 #ifndef _IPC_PRINT_H_
  35 #define _IPC_PRINT_H_
  36
  37 #if     MACH_KDB
  38
  39 #include <mach_kdb.h>
  40
  41 #include <mach/mach_types.h>
  42 #include <mach/message.h>
  43 #include <ipc/ipc_types.h>
  44 #include <ddb/db_expr.h>
  45
  46 extern void ipc_pset_print(
  47                         ipc_pset_t      pset);
  48
  49 extern void ipc_port_print(
  50                         ipc_port_t      port,
  51                         boolean_t       have_addr,
  52                         db_expr_t       count,
  53                         char            *modif);
  54
  55 extern void     ipc_kmsg_print(
  56                         ipc_kmsg_t      kmsg);
  57
  58 extern void     ipc_msg_print(
  59                 mach_msg_header_t       *msgh);
  60
  61 extern ipc_port_t ipc_name_to_data(
  62                         task_t                  task,
  63                         mach_port_name_t        name);
  64
  65 #endif  /* MACH_KDB */
  66
  67 #endif  /* IPC_PRINT_H */