Changeset 1993f9a in mainline for contrib/arch/uspace/srv


Ignore:
Timestamp:
2009-09-15T13:45:23Z (16 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

Location:
contrib/arch/uspace/srv
Files:
28 added
24 deleted
8 edited

Legend:

Unmodified
Added
Removed
  • contrib/arch/uspace/srv/bd/rd/rd.adl

    rec8bab59 r1993f9a  
    33                block_device bd;
    44        requires:
     5                [/uspace/lib/libc/requires%]
    56                naming_service ns;
    67                device_mapper_driver dm_driver;
    7                 [/uspace/lib/libc/requires]
    88        protocol:
    99                [/uspace/lib/libc/protocol] +
  • contrib/arch/uspace/srv/bd/rd/rd.bp

    rec8bab59 r1993f9a  
    1 [/lib/libc/fnc.devmap_driver_register] ;
    2 [/lib/libc/fnc.devmap_device_register]
     1[/uspace/lib/libc/fnc.devmap_driver_register] ;
     2[/uspace/lib/libc/fnc.devmap_device_register]
  • contrib/arch/uspace/srv/console/console.bp

    rec8bab59 r1993f9a  
    22!kbd.IPC_CONNECT_TO_ME ;
    33!ns.IPC_CONNECT_ME_TO /* fb */ ;
    4 [devmap_driver_register] ;
     4[/uspace/lib/libc/fnc.devmap_driver_register] ;
    55!fb.FB_GET_RESOLUTION ;
    66(
    7         [vp_create] +
    8         [vp_switch]
     7        [fnc.vp_create] +
     8        [fnc.vp_switch]
    99)* ;
    10 [make_pixmap]* ;
    11 [make_anim] ;
    12 [vp_switch] ;
     10[fnc.make_pixmap]* ;
     11[fnc.make_anim] ;
     12[fnc.vp_switch] ;
    1313!fb.FB_FLUSH ;
    1414!fb.FB_GET_CSIZE ;
    1515!fb.FB_GET_COLOR_CAP ;
    1616!fb.IPC_M_SHARE_OUT ;
    17 [devmap_device_register]* ;
    18 [gcons_redraw_console] ;
    19 [set_rgb_color] ;
    20 [screen_clear] ;
    21 [curs_goto] ;
    22 [curs_visibility] ;
     17[/uspace/lib/libc/fnc.devmap_device_register]* ;
     18[fnc.gcons_redraw_console] ;
     19[fnc.set_rgb_color] ;
     20[fnc.screen_clear] ;
     21[fnc.curs_goto] ;
     22[fnc.curs_visibility] ;
    2323(
    2424        ?console.IPC_M_CONNECT_ME_TO ;
    25         [gcons_notify_connect] ;
     25        [fnc.gcons_notify_connect] ;
    2626        (
    2727                ?console.VFS_OUT_READ {
    28                         [cons_read]
     28                        [fnc.cons_read]
    2929                } +
    3030               
    3131                ?console.VFS_OUT_WRITE {
    32                         [cons_write]
     32                        [fnc.cons_write]
    3333                } +
    3434               
    3535                ?console.VFS_OUT_SYNC {
    36                         [fb_pending_flush] ;
     36                        [fnc.fb_pending_flush] ;
    3737                        (
    3838                                (
    3939                                        !fb.FB_FLUSH ;
    40                                         [curs_goto]
     40                                        [fnc.curs_goto]
    4141                                ) +
    4242                                NULL
     
    5959               
    6060                ?console.CONSOLE_SET_STYLE {
    61                         [fb_pending_flush] ;
     61                        [fnc.fb_pending_flush] ;
    6262                        (
    63                                 [set_style] +
     63                                [fnc.set_style] +
    6464                                NULL
    6565                        )
     
    6767               
    6868                ?console.CONSOLE_SET_COLOR {
    69                         [fb_pending_flush] ;
     69                        [fnc.fb_pending_flush] ;
    7070                        (
    71                                 [set_color] +
     71                                [fnc.set_color] +
    7272                                NULL
    7373                        )
     
    7575               
    7676                ?console.CONSOLE_SET_RGB_COLOR {
    77                         [fb_pending_flush] ;
     77                        [fnc.fb_pending_flush] ;
    7878                        (
    79                                 [set_rgb_color] +
     79                                [fnc.set_rgb_color] +
    8080                                NULL
    8181                        )
     
    8383               
    8484                ?console.CONSOLE_CURSOR_VISIBILITY {
    85                         [fb_pending_flush] ;
     85                        [fnc.fb_pending_flush] ;
    8686                        (
    87                                 [curs_visibility] +
     87                                [fnc.curs_visibility] +
    8888                                NULL
    8989                        )
     
    9797       
    9898        ?console.IPC_M_PHONE_HUNGUP {
    99                 [gcons_notify_disconnect]
     99                [fnc.gcons_notify_disconnect]
    100100        }
    101101)*
  • 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]
  • contrib/arch/uspace/srv/fs/devfs/devfs.bp

    rec8bab59 r1993f9a  
    1 [../../../lib/libc/devmap_get_phone] ;
     1[/uspace/lib/libc/fnc.devmap_get_phone] ;
    22!ns.IPC_M_CONNECT_ME_TO /* vfs */ ;
    3 [../../../lib/libfs/fs_register] ;
     3[/uspace/lib/libfs/fnc.fs_register] ;
    44(
    55        ?fs.IPC_M_CONNECT_ME_TO ;
     
    1313                ?fs.VFS_OUT_LOOKUP {
    1414                        (
    15                                 [../../../lib/libc/devmap_device_get_handle] ;
    16                                 [../../../lib/libc/devmap_device_connect]
     15                                [/uspace/lib/libc/fnc.devmap_device_get_handle] ;
     16                                [/uspace/lib/libc/fnc.devmap_device_connect]
    1717                        ) +
    1818                        NULL
     
    2626                                ) +
    2727                                (
    28                                         [../../../lib/libc/devmap_device_get_count] ;
    29                                         [../../../lib/libc/devmap_device_get_devices]
     28                                        [/uspace/lib/libc/fnc.devmap_device_get_count] ;
     29                                        [/uspace/lib/libc/fnc.devmap_device_get_devices]
    3030                                )
    3131                        }
     
    5151               
    5252                ?fs.VFS_OUT_OPEN_NODE {
    53                         [../../../lib/libc/devmap_device_connect] +
     53                        [/uspace/lib/libc/fnc.devmap_device_connect] +
    5454                        NULL
    5555                } +
  • contrib/arch/uspace/srv/fs/fat/fat.bp

    rec8bab59 r1993f9a  
    11!ns.IPC_M_CONNECT_ME_TO /* vfs */ ;
    2 [../../../lib/libfs/fs_register] ;
     2[/uspace/lib/libfs/fnc.fs_register] ;
    33(
    44        ?fs.IPC_M_CONNECT_ME_TO ;
     
    99               
    1010                ?fs.VFS_OUT_MOUNT {
    11                         [../../../lib/libfs/libfs_mount]
     11                        [/uspace/lib/libfs/fnc.libfs_mount]
    1212                } +
    1313               
    1414                ?fs.VFS_OUT_LOOKUP {
    15                         [../../../lib/libfs/libfs_lookup]
     15                        [/uspace/lib/libfs/fnc.libfs_lookup]
    1616                } +
    1717               
     
    3131               
    3232                ?fs.VFS_OUT_OPEN_NODE {
    33                         [../../../lib/libfs/libfs_open_node]
     33                        [/uspace/lib/libfs/fnc.libfs_open_node]
    3434                } +
    3535               
    3636                ?fs.VFS_OUT_STAT {
    37                         [../../../lib/libfs/libfs_stat]
     37                        [/uspace/lib/libfs/fnc.libfs_stat]
    3838                } +
    3939               
  • contrib/arch/uspace/srv/fs/tmpfs/tmpfs.bp

    rec8bab59 r1993f9a  
    11!ns.IPC_M_CONNECT_ME_TO /* vfs */ ;
    2 [../../../lib/libfs/fs_register] ;
     2[/uspace/lib/libfs/fnc.fs_register] ;
    33(
    44        ?fs.IPC_M_CONNECT_ME_TO ;
     
    99               
    1010                ?fs.VFS_OUT_MOUNT {
    11                         [../../../lib/libfs/libfs_mount]
     11                        [/uspace/lib/libfs/fnc.libfs_mount]
    1212                } +
    1313               
    1414                ?fs.VFS_OUT_LOOKUP {
    15                         [../../../lib/libfs/libfs_lookup]
     15                        [/uspace/lib/libfs/fnc.libfs_lookup]
    1616                } +
    1717               
     
    3131               
    3232                ?fs.VFS_OUT_OPEN_NODE {
    33                         [../../../lib/libfs/libfs_open_node]
     33                        [/uspace/lib/libfs/fnc.libfs_open_node]
    3434                } +
    3535               
    3636                ?fs.VFS_OUT_STAT {
    37                         [../../../lib/libfs/libfs_stat]
     37                        [/uspace/lib/libfs/fnc.libfs_stat]
    3838                } +
    3939               
  • contrib/arch/uspace/srv/vfs/vfs.bp

    rec8bab59 r1993f9a  
    1 !ns.IPC_M_CONNECT_TO_ME ;
    2 (
    3         ?vfs.IPC_M_CONNECT_ME_TO ;
    4         (
    5                 ?vfs.VFS_IN_REGISTER {
    6                         ?vfs.IPC_M_DATA_WRITE ;
    7                         ?vfs.IPC_M_CONNECT_TO_ME ;
    8                         ?vfs.IPC_M_SHARE_IN
    9                 } +
    10                
    11                 ?vfs.VFS_IN_MOUNT {
    12                         ?vfs.IPC_M_DATA_WRITE /* mount point */ ;
    13                         ?vfs.IPC_M_DATA_WRITE /* mount options */ ;
    14                         ?vfs.IPC_M_DATA_WRITE /* fs name */ ;
    15                         ?vfs.IPC_M_PING ;
    16                         (
    17                                
    18                                 !fs.VFS_OUT_MOUNTED ;
    19                                 !fs.IPC_M_DATA_WRITE /* mount options */
    20                         ) /* root fs */ +
    21                         (
    22                                 !fs.VFS_OUT_MOUNT ;
    23                                 !fs.IPC_M_CONNECTION_CLONE ;
    24                                 !fs.VFS_M_DATA_WRITE /* mount options */
    25                         ) /* non-root fs */
    26                 } +
    27                
    28                 ?vfs.VFS_IN_OPEN {
    29                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    30                         [vfs_lookup_internal] ;
    31                         (
    32                                 (
    33                                         [vfs_grab_phone] ;
    34                                         !fs.VFS_OUT_TRUNCATE ;
    35                                         [vfs_release_phone]
    36                                 ) +
    37                                 NULL
    38                         )
    39                 } +
    40                
    41                 ?vfs.VFS_IN_OPEN_NODE {
    42                         [vfs_grab_phone] ;
    43                         !fs.VFS_OUT_OPEN_NODE ;
    44                         [vfs_release_phone] ;
    45                         (
    46                                 (
    47                                         [vfs_grab_phone] ;
    48                                         !fs.VFS_OUT_TRUNCATE ;
    49                                         [vfs_release_phone]
    50                                 ) +
    51                                 NULL
    52                         )
    53                 } +
    54                
    55                 ?vfs.VFS_IN_CLOSE {
    56                         [vfs_grab_phone] ;
    57                         !fs.VFS_OUT_CLOSE ;
    58                         [vfs_release_phone]
    59                 } +
    60                
    61                 ?vfs.VFS_IN_READ {
    62                         ?vfs.IPC_M_DATA_READ {
    63                                 [vfs_grab_phone] ;
    64                                 !fs.VFS_OUT_READ /* payload */ ;
    65                                 !fs.IPC_M_DATA_READ /* forwarded */ ;
    66                                 [vfs_release_phone]
    67                         }
    68                 } +
    69                
    70                 ?vfs.VFS_IN_WRITE {
    71                         ?vfs.IPC_M_DATA_WRITE {
    72                                 [vfs_grab_phone] ;
    73                                 !fs.VFS_OUT_WRITE /* payload */ ;
    74                                 !fs.IPC_M_DATA_WRITE /* forwarded */ ;
    75                                 [vfs_release_phone]
    76                         }
    77                 } +
    78                
    79                 ?vfs.VFS_IN_SEEK +
    80                
    81                 ?vfs.VFS_IN_TRUNCATE {
    82                         [vfs_grab_phone] ;
    83                         !fs.VFS_OUT_TRUNCATE ;
    84                         [vfs_release_phone]
    85                 } +
    86                
    87                 ?vfs.VFS_IN_FSTAT {
    88                         ?vfs.IPC_M_DATA_READ /* struct stat */ {
    89                                 [vfs_grab_phone] ;
    90                                 !fs.VFS_OUT_STAT ;
    91                                 !fs.IPC_M_DATA_READ /* forwarded */ ;
    92                                 [vfs_release_phone]
    93                         }
    94                 } +
    95                
    96                 ?vfs.VFS_IN_STAT {
    97                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    98                         ?vfs.IPC_M_DATA_READ /* struct stat */ {
    99                                 [vfs_lookup_internal] ;
    100                                 !fs.VFS_OUT_STAT ;
    101                                 !fs.IPC_M_DATA_READ /* forwarded */
    102                         }
    103                 } +
    104                
    105                 ?vfs.VFS_IN_MKDIR {
    106                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    107                         [vfs_lookup_internal]
    108                 } +
    109                
    110                 ?vfs.VFS_IN_UNLINK {
    111                         ?vfs.IPC_M_DATA_WRITE /* path */ ;
    112                         [vfs_lookup_internal]
    113                 } +
    114                
    115                 ?vfs.VFS_IN_RENAME {
    116                         ?vfs.IPC_M_DATA_WRITE /* old path */ ;
    117                         ?vfs.IPC_M_DATE_WRITE /* new path */ ;
    118                         [vfs_lookup_internal] /* lookup old path */ ;
    119                         [vfs_lookup_internal] /* lookup parent of new path */ ;
    120                         [vfs_lookup_internal] /* destroy old link for the new path */ ;
    121                         [vfs_lookup_internal] /* create new link for the new path */ ;
    122                         [vfs_lookup_internal] /* destroy link for the old path */
    123                 } +
    124                
    125                 ?vfs.VFS_IN_SYNC {
    126                         !fs.VFS_OUT_SYNC
    127                 }
    128                
    129         )* ;
    130         ?vfs.IPC_M_PHONE_HUNGUP
    131 )*
     1!ns.ipc_m_connect_to_me
Note: See TracChangeset for help on using the changeset viewer.