The Design and Implementation of the FreeBSD Operating System, Second Edition
Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

FreeBSD/Linux Kernel Cross Reference
sys/device/device_reply.defs

Version: -  FREEBSD  -  FREEBSD-13-STABLE  -  FREEBSD-13-0  -  FREEBSD-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  l41  -  OPENBSD  -  linux-2.6  -  MK84  -  PLAN9  -  xnu-8792 
SearchContext: -  none  -  3  -  10 

    1 /* 
    2  * Mach Operating System
    3  * Copyright (c) 1991,1990,1989 Carnegie Mellon University
    4  * All Rights Reserved.
    5  * 
    6  * Permission to use, copy, modify and distribute this software and its
    7  * documentation is hereby granted, provided that both the copyright
    8  * notice and this permission notice appear in all copies of the
    9  * software, derivative works or modified versions, and any portions
   10  * thereof, and that both notices appear in supporting documentation.
   11  * 
   12  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
   13  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
   14  * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
   15  * 
   16  * Carnegie Mellon requests users of this software to return to
   17  * 
   18  *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
   19  *  School of Computer Science
   20  *  Carnegie Mellon University
   21  *  Pittsburgh PA 15213-3890
   22  * 
   23  * any improvements or extensions that they make and grant Carnegie Mellon
   24  * the rights to redistribute these changes.
   25  */
   26 /*
   27  * HISTORY
   28  * $Log:        device_reply.defs,v $
   29  * Revision 2.7  91/05/14  15:42:37  mrt
   30  *      Correcting copyright
   31  * 
   32  * Revision 2.6  91/02/05  17:09:01  mrt
   33  *      Changed to new Mach copyright
   34  *      [91/01/31  17:28:12  mrt]
   35  * 
   36  * Revision 2.5  90/06/02  14:47:40  rpd
   37  *      Converted to new IPC.
   38  *      [90/03/26  21:52:00  rpd]
   39  * 
   40  * Revision 2.4  89/09/08  11:23:41  dbg
   41  *      Define KERNEL_SERVER.
   42  *      [89/08/23            dbg]
   43  * 
   44  * Revision 2.3  89/08/31  16:18:39  rwd
   45  *      Added device_read_reply_inband
   46  *      [89/08/15            rwd]
   47  * 
   48  * Revision 2.2  89/08/05  16:05:58  rwd
   49  *      Added device_write_reply_inband
   50  *      [89/08/04            rwd]
   51  * 
   52  */
   53 /*
   54  *      Author: David B. Golub, Carnegie Mellon University
   55  *      Date:   8/89
   56  *
   57  *      Reply-only side of device interface.
   58  */
   59 
   60 subsystem
   61 #if     KERNEL_USER
   62           KernelUser
   63 #endif  KERNEL_USER
   64                      device_reply 2900;
   65                                 /* to match reply numbers for device.defs */
   66 
   67 /*
   68  * Device_write_reply (only user of this data type) deallocates
   69  * the data.
   70  */
   71 
   72 
   73 #include <mach/std_types.defs>
   74 #include <device/device_types.defs>
   75 
   76 userprefix      ds_;
   77 
   78 type reply_port_t = polymorphic|MACH_MSG_TYPE_PORT_SEND_ONCE
   79         ctype: mach_port_t;
   80 
   81 simpleroutine   device_open_reply(
   82             reply_port          : reply_port_t;
   83         in  return_code         : kern_return_t;
   84         in  device_port         : mach_port_make_send_t
   85         );
   86 
   87 skip;   /* device_close */
   88 
   89 simpleroutine   device_write_reply(
   90             reply_port          : reply_port_t;
   91         in  return_code         : kern_return_t;
   92         in  bytes_written       : int
   93         );
   94 
   95 simpleroutine   device_write_reply_inband(
   96             reply_port          : reply_port_t;
   97         in  return_code         : kern_return_t;
   98         in  bytes_written       : int
   99         );
  100 
  101 simpleroutine   device_read_reply(
  102             reply_port          : reply_port_t;
  103         in  return_code         : kern_return_t;
  104         in  data                : io_buf_ptr_t, dealloc
  105         );
  106 
  107 simpleroutine   device_read_reply_inband(
  108             reply_port          : reply_port_t;
  109         in  return_code         : kern_return_t;
  110         in  data                : io_buf_ptr_inband_t
  111         );

Cache object: fffa8297b4153bd6eee4046bf4d7e116


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]


This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.