Ignore:
Timestamp:
2009-09-15T13:45:23Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
ea5f46d
Parents:
ec8bab59
Message:

update architecture and behavior description
update preprocessor

File:
1 edited

Legend:

Unmodified
Added
Removed

  • contrib/arch/uspace/srv/devmap/devmap.adl

    rec8bab59 r1993f9a  
    44               
    55                /* Register as a new driver */
    6                 ipcarg_t driver_register(void);
     6                ipcarg_t driver_register(in_copy string name);
    77               
    88                /* Unregister all devices and the driver itself */
    … …  
    1010               
    1111                /* Register new device and return handle */
    12                 ipcarg_t device_register(out ipcarg_t handle);
     12                ipcarg_t device_register(in_copy string name, out ipcarg_t handle);
    1313               
    1414                /* Unregister device */
    … …  
    1616               
    1717                /* Resolve device name to handle */
    18                 ipcarg_t device_get_handle(in ipcarg_t flags);
     18                ipcarg_t device_get_handle(in ipcarg_t flags, in_copy string name);
    1919               
    2020                /* Get device name for a given handle */
    2121                ipcarg_t device_get_name(in ipcarg_t handle);
    22                
    23                 /* Transfer driver or device name */
    24                 ipcarg_t ipc_m_data_write(in ipcarg_t src_addr, in ipcarg_t src_size, out ipcarg_t dst_addr, out ipcarg_t dst_size);
    2522               
    2623                /* Close connection */
    … …  
    3532               
    3633                /* Resolve device name to handle */
    37                 ipcarg_t device_get_handle(in ipcarg_t flags);
     34                ipcarg_t device_get_handle(in ipcarg_t flags, in_copy string name);
    3835               
    3936                /* Get device name for a given handle */
    … …  
    5047               
    5148                /* Get an array of (device_name, handle) pairs */
    52                 ipcarg_t device_get_devices(void)
    53                
    54                 /* Transfer device name from client */
    55                 ipcarg_t ipc_m_data_write(in ipcarg_t src_addr, in ipcarg_t src_size, out ipcarg_t dst_addr, out ipcarg_t dst_size);
    56                
    57                 /* Transfer (device_name, handle) pairs to client */
    58                 ipcarg_t ipc_m_data_read(in ipcarg_t src_addr, in ipcarg_t src_size, out ipcarg_t dst_addr, out ipcarg_t dst_size);
     49                ipcarg_t device_get_devices(out_copy stream data)
    5950               
    6051                /* Close connection */
    … …  
    7061                device_mapper_client dm_client;
    7162        requires:
    72                 [/lib/libc/iface.requires]
     63                [/uspace/lib/libc/requires%]
    7364        protocol:
    7465                [devmap.bp]
Note: See TracChangeset for help on using the changeset viewer.