Changeset 810860a in mainline


Ignore:
Timestamp:
2009-09-17T17:03:49Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
3037384
Parents:
41eca31
Message:

various protocol fixes
add console architecture

Location:
contrib/arch
Files:
8 added
56 edited

Legend:

Unmodified
Added
Removed

  • contrib/arch/HelenOS.adl

    r41eca31 r810860a  
    88        /* Loader (clonable service) */
    99        inst loader loader;
     10       
     11        /* Device mapper */
     12        inst devmap devmap;
    1013       
    1114        /* Block device */
    … …  
    2326        [/uspace/lib/libc/bind%ns]
    2427        [/uspace/lib/libc/bind%loader]
     28        [/uspace/lib/libc/bind%devmap]
    2529        [/uspace/lib/libc/bind%bd]
    2630        [/uspace/lib/libc/bind%vfs]
    … …  
    2933       
    3034        bind loader:ns to ns:ns;
     35       
     36        bind devmap:ns to ns:ns;
    3137       
    3238        bind bd:ns to ns:ns;

  • contrib/arch/uspace/app/klog/klog.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_share_in /* SERVICE_MEM_KLOG */
     1(
     2        !ns.ipc_m_share_in /* SERVICE_MEM_KLOG */
     3)

  • contrib/arch/uspace/lib/libc/fnc.devmap_device_connect

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_me_to /* device via devmap */
     1(
     2        !ns.ipc_m_connect_me_to /* device via devmap */
     3)

  • contrib/arch/uspace/lib/libc/fnc.devmap_device_get_count

    r41eca31 r810860a  
    1 [fnc.devmap_get_phone] ;
    2 tentative {
    3         !dm_client.device_get_count
    4 }
     1(
     2        [fnc.devmap_get_phone] ;
     3        tentative {
     4                !devmap_client.device_get_count
     5        }
     6)

  • contrib/arch/uspace/lib/libc/fnc.devmap_device_get_devices

    r41eca31 r810860a  
    1 [fnc.devmap_get_phone] ;
    2 tentative {
    3         !dm_client.device_get_devices {
    4                 !dm_client.ipc_m_data_read /* buffer */
     1(
     2        [fnc.devmap_get_phone] ;
     3        tentative {
     4                !devmap_client.device_get_devices {
     5                        !devmap_client.ipc_m_data_read /* buffer */
     6                }
    57        }
    6 }
     8)
     9

  • contrib/arch/uspace/lib/libc/fnc.devmap_device_get_handle

    r41eca31 r810860a  
    1 [fnc.devmap_get_phone] ;
    2 tentative {
    3         !dm_client.device_get_handle {
    4                 !dm_client.ipc_m_data_write /* name */
     1(
     2        [fnc.devmap_get_phone] ;
     3        tentative {
     4                !devmap_client.device_get_handle {
     5                        !devmap_client.ipc_m_data_write /* name */
     6                }
    57        }
    6 }
     8)

  • contrib/arch/uspace/lib/libc/fnc.devmap_device_register

    r41eca31 r810860a  
    1 [fnc.devmap_get_phone] ;
    2 tentative {
    3         !devmap.device_register {
    4                 !devmap.ipc_m_data_write /* name */
     1(
     2        [fnc.devmap_get_phone] ;
     3        tentative {
     4                !devmap_driver.device_register {
     5                        !devmap_driver.ipc_m_data_write /* name */
     6                }
    57        }
    6 }
     8)

  • contrib/arch/uspace/lib/libc/fnc.devmap_driver_register

    r41eca31 r810860a  
    1 [fnc.devmap_get_phone] ;
    2 tentative {
    3         !devmap.driver_register {
    4                 !devmap.ipc_m_data_write /* name */
    5         } ;
     1(
     2        [fnc.devmap_get_phone] ;
    63        tentative {
    7                 !devmap.ipc_m_connect_to_me
     4                !devmap_driver.driver_register {
     5                        !devmap_driver.ipc_m_data_write /* name */
     6                } ;
     7                tentative {
     8                        !devmap_driver.ipc_m_connect_to_me
     9                }
    810        }
    9 }
     11)

  • contrib/arch/uspace/lib/libc/fnc.devmap_get_phone

    r41eca31 r810860a  
    1 tentative {
    2         !ns.ipc_m_connect_me_to /* devmap */
    3 }
     1(
     2        tentative {
     3                !ns.ipc_m_connect_me_to /* devmap */
     4        }
     5)

  • contrib/arch/uspace/lib/libfs/fnc.fs_register

    r41eca31 r810860a  
    1 !vfs.register {
    2         !vfs.ipc_m_data_write /* vfs_into_t */
    3 } ;
    4 !vfs.ipc_m_connect_to_me ;
    5 !vfs.ipc_m_share_in
     1(
     2        !vfs.register {
     3                !vfs.ipc_m_data_write /* vfs_into_t */
     4        } ;
     5        !vfs.ipc_m_connect_to_me ;
     6        !vfs.ipc_m_share_in
     7)

  • contrib/arch/uspace/lib/libfs/fnc.libfs_mount

    r41eca31 r810860a  
    1 ?ipc_m_connection_clone ;
    2 ?ipc_m_data_write /* mount options */ {
    3         alternative (fs; tmpfs; fat; devfs) {
    4                 !fs.ipc_m_connect_to_me ;
    5                 !fs.mounted ;
    6                 !fs.ipc_m_data_write /* forward */
     1(
     2        ?ipc_m_connection_clone ;
     3        ?ipc_m_data_write /* mount options */ {
     4                alternative (fs; tmpfs; fat; devfs) {
     5                        !fs.ipc_m_connect_to_me ;
     6                        !fs.mounted ;
     7                        !fs.ipc_m_data_write /* forward */
     8                }
    79        }
    8 }
     10)

  • contrib/arch/uspace/lib/libfs/fnc.libfs_open_node

    r41eca31 r810860a  
    1 NULL
     1(
     2        NULL
     3)

  • contrib/arch/uspace/lib/libfs/fnc.libfs_stat

    r41eca31 r810860a  
    1 ?fs.ipc_m_data_read
     1(
     2        ?fs.ipc_m_data_read
     3)

  • contrib/arch/uspace/srv/bd/rd/rd.bp

    r41eca31 r810860a  
    1 [/uspace/lib/libc/fnc.devmap_driver_register] ;
    2 [/uspace/lib/libc/fnc.devmap_device_register]
     1(
     2        [/uspace/lib/libc/fnc.devmap_driver_register] ;
     3        [/uspace/lib/libc/fnc.devmap_device_register]
     4)

  • contrib/arch/uspace/srv/console/console.bp

    r41eca31 r810860a  
    1 !ns.IPC_CONNECT_ME_TO /* kbd */ ;
    2 !kbd.IPC_CONNECT_TO_ME ;
    3 !ns.IPC_CONNECT_ME_TO /* fb */ ;
    4 [/uspace/lib/libc/fnc.devmap_driver_register] ;
    5 !fb.FB_GET_RESOLUTION ;
     1?ipc_m_connect_me_to ;
     2[fnc.gcons_notify_connect] ;
    63(
    7         [fnc.vp_create] +
    8         [fnc.vp_switch]
     4        ?read {
     5                [fnc.cons_read]
     6        } +
     7       
     8        ?write {
     9                [fnc.cons_write]
     10        } +
     11       
     12        ?sync {
     13                [fnc.fb_pending_flush] ;
     14                tentative {
     15                        !fb.flush ;
     16                        [fnc.curs_goto]
     17                }
     18        } +
     19       
     20        ?clear {
     21                tentative {
     22                        !fb.flush
     23                }
     24        } +
     25       
     26        ?goto {
     27                tentative {
     28                        !fb.curs_goto
     29                }
     30        } +
     31       
     32        ?set_style {
     33                [fnc.fb_pending_flush] ;
     34                tentative {
     35                        [fnc.set_style]
     36                }
     37        } +
     38       
     39        ?set_color {
     40                [fnc.fb_pending_flush] ;
     41                tentative {
     42                        [fnc.set_color]
     43                }
     44        } +
     45       
     46        ?set_rgb_color {
     47                [fnc.fb_pending_flush] ;
     48                tentative {
     49                        [fnc.set_rgb_color]
     50                }
     51        } +
     52       
     53        ?cursor_visibility {
     54                [fnc.fb_pending_flush] ;
     55                tentative {
     56                        [fnc.curs_visibility]
     57                }
     58        } +
     59       
     60        ?get_event +
     61        ?get_size +
     62        ?get_color_cap +
     63        ?kcon_enable
    964)* ;
    10 [fnc.make_pixmap]* ;
    11 [fnc.make_anim] ;
    12 [fnc.vp_switch] ;
    13 !fb.FB_FLUSH ;
    14 !fb.FB_GET_CSIZE ;
    15 !fb.FB_GET_COLOR_CAP ;
    16 !fb.IPC_M_SHARE_OUT ;
    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] ;
    23 (
    24         ?console.IPC_M_CONNECT_ME_TO ;
    25         [fnc.gcons_notify_connect] ;
    26         (
    27                 ?console.VFS_OUT_READ {
    28                         [fnc.cons_read]
    29                 } +
    30                
    31                 ?console.VFS_OUT_WRITE {
    32                         [fnc.cons_write]
    33                 } +
    34                
    35                 ?console.VFS_OUT_SYNC {
    36                         [fnc.fb_pending_flush] ;
    37                         (
    38                                 (
    39                                         !fb.FB_FLUSH ;
    40                                         [fnc.curs_goto]
    41                                 ) +
    42                                 NULL
    43                         ) ;
    44                 } +
    45                
    46                 ?console.CONSOLE_CLEAR {
    47                         !fb.FB_FLUSH +
    48                         NULL
    49                 } +
    50                
    51                 ?console.CONSOLE_GOTO {
    52                         !fb.CURS_GOTO +
    53                         NULL
    54                 } +
    55                
    56                 ?console.CONSOLE_GET_SIZE +
    57                
    58                 ?console.CONSOLE_GET_COLOR_CAP +
    59                
    60                 ?console.CONSOLE_SET_STYLE {
    61                         [fnc.fb_pending_flush] ;
    62                         (
    63                                 [fnc.set_style] +
    64                                 NULL
    65                         )
    66                 } +
    67                
    68                 ?console.CONSOLE_SET_COLOR {
    69                         [fnc.fb_pending_flush] ;
    70                         (
    71                                 [fnc.set_color] +
    72                                 NULL
    73                         )
    74                 } +
    75                
    76                 ?console.CONSOLE_SET_RGB_COLOR {
    77                         [fnc.fb_pending_flush] ;
    78                         (
    79                                 [fnc.set_rgb_color] +
    80                                 NULL
    81                         )
    82                 } +
    83                
    84                 ?console.CONSOLE_CURSOR_VISIBILITY {
    85                         [fnc.fb_pending_flush] ;
    86                         (
    87                                 [fnc.curs_visibility] +
    88                                 NULL
    89                         )
    90                 } +
    91                
    92                 ?console.CONSOLE_GET_EVENT +
    93                
    94                 ?console.CONSOLE_KCON_ENABLE
    95                
    96         )* ;
    97        
    98         ?console.IPC_M_PHONE_HUNGUP {
    99                 [fnc.gcons_notify_disconnect]
    100         }
    101 )*
     65?ipc_m_phone_hungup {
     66        [fnc.gcons_notify_disconnect]
     67}

  • contrib/arch/uspace/srv/console/fnc.cell_mark_changed

    r41eca31 r810860a  
    1 tentative {
    2         [fnc.fb_pending_flush]
    3 }
     1(
     2        tentative {
     3                [fnc.fb_pending_flush]
     4        }
     5)

  • contrib/arch/uspace/srv/console/fnc.clear

    r41eca31 r810860a  
    1 !fb.clear
     1(
     2        !fb.clear
     3)

  • contrib/arch/uspace/srv/console/fnc.cons_read

    r41eca31 r810860a  
    1 ?ipc_m_data_read
     1(
     2        ?ipc_m_data_read
     3)

  • contrib/arch/uspace/srv/console/fnc.cons_write

    r41eca31 r810860a  
    1 ?ipc_m_data_write ;
    2 [fnc.write_char]* ;
    3 [fnc.gcons_notify_char]
     1(
     2        ?ipc_m_data_write ;
     3        [fnc.write_char]* ;
     4        [fnc.gcons_notify_char]
     5)

  • contrib/arch/uspace/srv/console/fnc.curs_goto

    r41eca31 r810860a  
    1 !fb.cursor_goto
     1(
     2        !fb.cursor_goto
     3)

  • contrib/arch/uspace/srv/console/fnc.curs_visibility

    r41eca31 r810860a  
    1 !fb.cursor_visibility
     1(
     2        !fb.cursor_visibility
     3)

  • contrib/arch/uspace/srv/console/fnc.draw_pixmap

    r41eca31 r810860a  
    1 !fb.prepare_shm ;
    2 !fb.ipc_m_share_out ;
    3 !fb.draw_ppm ;
    4 !fb.drop_shm
     1(
     2        !fb.prepare_shm ;
     3        !fb.ipc_m_share_out ;
     4        !fb.draw_ppm ;
     5        !fb.drop_shm
     6)

  • contrib/arch/uspace/srv/console/fnc.fb_pending_flush

    r41eca31 r810860a  
    1 !fb.draw_text_data
     1(
     2        !fb.draw_text_data
     3)

  • contrib/arch/uspace/srv/console/fnc.gcons_notify_char

    r41eca31 r810860a  
    1 tentative {
    2         [fnc.redraw_state] ;
    3         [fnc.vp_switch]
    4 }
     1(
     2        tentative {
     3                [fnc.redraw_state] ;
     4                [fnc.vp_switch]
     5        }
     6)

  • contrib/arch/uspace/srv/console/fnc.gcons_notify_connect

    r41eca31 r810860a  
    1 tentative {
    2         [fnc.redraw_state] ;
    3         [fnc.vp_switch]
    4 }
     1(
     2        tentative {
     3                [fnc.redraw_state] ;
     4                [fnc.vp_switch]
     5        }
     6)

  • contrib/arch/uspace/srv/console/fnc.gcons_notify_disconnect

    r41eca31 r810860a  
    1 tentative {
    2         [fnc.redraw_state] ;
    3         [fnc.vp_switch]
    4 }
     1(
     2        tentative {
     3                [fnc.redraw_state] ;
     4                [fnc.vp_switch]
     5        }
     6)

  • contrib/arch/uspace/srv/console/fnc.gcons_redraw_console

    r41eca31 r810860a  
    1 tentative {
    2         [fnc.vp_switch] ;
    3         [fnc.set_rgb_color] ;
    4         [fnc.clear] ;
    5         [fnc.draw_pixmap] ;
    6         [fnc.draw_pixmap] ;
    7         [fnc.redraw_state]* ;
    8         [fnc.vp_switch]
    9 }
     1(
     2        tentative {
     3                [fnc.vp_switch] ;
     4                [fnc.set_rgb_color] ;
     5                [fnc.clear] ;
     6                [fnc.draw_pixmap] ;
     7                [fnc.draw_pixmap] ;
     8                [fnc.redraw_state]* ;
     9                [fnc.vp_switch]
     10        }
     11)

  • contrib/arch/uspace/srv/console/fnc.make_anim

    r41eca31 r810860a  
    1 !fb.anim_create ;
    2 [fnc.make_pixmap]* ;
    3 !fb.anim_add_pixmap ;
    4 !fb.anim_start
     1(
     2        !fb.anim_create ;
     3        [fnc.make_pixmap]* ;
     4        !fb.anim_add_pixmap ;
     5        !fb.anim_start
     6)

  • contrib/arch/uspace/srv/console/fnc.make_pixmap

    r41eca31 r810860a  
    1 !fb.prepare_shm ;
    2 !fb.ipc_m_share_out ;
    3 !fb.shm2pixmap ;
    4 !fb.drop_shm
     1(
     2        !fb.prepare_shm ;
     3        !fb.ipc_m_share_out ;
     4        !fb.shm2pixmap ;
     5        !fb.drop_shm
     6)

  • contrib/arch/uspace/srv/console/fnc.redraw_state

    r41eca31 r810860a  
    1 [fnc.vp_switch] ;
    2 tentative {
    3         !fb.FB_VP_DRAW_PIXMAP
    4 } ;
    5 tentative {
    6         !fb.FB_PUTCHAR*
    7 }
     1(
     2        [fnc.vp_switch] ;
     3        tentative {
     4                !fb.vp_draw_pixmap
     5        } ;
     6        tentative {
     7                !fb.putchar*
     8        }
     9)

  • contrib/arch/uspace/srv/console/fnc.screen_clear

    r41eca31 r810860a  
    1 !fb.clear
     1(
     2        !fb.clear
     3)

  • contrib/arch/uspace/srv/console/fnc.set_color

    r41eca31 r810860a  
    1 !fb.set_color
     1(
     2        !fb.set_color
     3)

  • contrib/arch/uspace/srv/console/fnc.set_rgb_color

    r41eca31 r810860a  
    1 !fb.set_rgb_color
     1(
     2        !fb.set_rgb_color
     3)

  • contrib/arch/uspace/srv/console/fnc.set_style

    r41eca31 r810860a  
    1 !fb.set_style
     1(
     2        !fb.set_style
     3)

  • contrib/arch/uspace/srv/console/fnc.vp_create

    r41eca31 r810860a  
    1 !fb.viewport_create
     1(
     2        !fb.viewport_create
     3)

  • contrib/arch/uspace/srv/console/fnc.vp_switch

    r41eca31 r810860a  
    1 !fb.viewport_switch
     1(
     2        !fb.viewport_switch
     3)

  • contrib/arch/uspace/srv/console/fnc.write_char

    r41eca31 r810860a  
    11(
    2         [fnc.fb_pending_flush] +
    3         [fnc.cell_mark_changed]
    4 ) ;
    5 tentative {
    6         [fnc.fb_pending_flush] ;
     2        (
     3                [fnc.fb_pending_flush] +
     4                [fnc.cell_mark_changed]
     5        ) ;
    76        tentative {
    8                 !fb.scroll +
     7                [fnc.fb_pending_flush] ;
     8                tentative {
     9                        !fb.scroll
     10                }
     11        } ;
     12        tentative {
     13                [fnc.curs_goto]
    914        }
    10 } ;
    11 tentative {
    12         [fnc.curs_goto]
    13 }
     15)

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

    r41eca31 r810860a  
    6262        requires:
    6363                [/uspace/lib/libc/requires]
     64                ns ns;
    6465        protocol:
     66                [/uspace/lib/libc/protocol] |
    6567                [devmap_server.bp]
    6668};

  • contrib/arch/uspace/srv/devmap/devmap_client.bp

    r41eca31 r810860a  
    11?ipc_m_connect_me_to ;
    22
    3 !service.ipc_m_connect_me_to /* forward */
     3alternative (service; rd; console) {
     4        !service.ipc_m_connect_me_to /* forward */
     5}
    46+
    57(

  • contrib/arch/uspace/srv/devmap/devmap_server.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_to_me /* devmap */
     1(
     2        !ns.ipc_m_connect_to_me /* devmap */
     3)

  • contrib/arch/uspace/srv/fb/fb.bp

    r41eca31 r810860a  
    1 !ns.IPC_M_CONNECT_TO_ME ;
     1?ipc_m_connect_me_to ;
    22(
    3         ?fb.IPC_M_CONNECT_ME_TO ;
    43        (
    5                 ?fb.IPC_M_SHARE_OUT +
    6                
    7                 (
    8                         ?fb.FB_PREPARE_SHM ;
    9                         ?fb.IPC_M_AS_AREA_SEND ;
    10                         ?fb.FB_DRAW_PPM ;
    11                         ?fb.FB_DROP_SHM
    12                 ) +
    13                
    14                 (
    15                         ?fb.IPC_M_AS_AREA_SEND ;
    16                         ?fb.FB_DRAW_TEXT_DATA
    17                 ) +
    18                
    19                 ?fb.FB_SHM2PIXMAP +
    20                
    21                 ?fb.FB_VP_DRAW_PIXMAP +
    22                
    23                 ?fb.FB_VP2PIXMAP +
    24                
    25                 ?fb.FB_DROP_PIXMAP +
    26                
    27                 ?fb.FB_ANIM_CREATE +
    28                
    29                 ?fb.FB_ANIM_DROP +
    30                
    31                 ?fb.FB_ANIM_ADDPIXMAP +
    32                
    33                 ?fb.FB_ANIM_CHGVP +
    34                
    35                 ?fb.FB_ANIM_START +
    36                
    37                 ?fb.FB_ANIM_STOP +
    38                
    39                 ?fb.FB_PUTCHAR +
    40                
    41                 ?fb.FB_CLEAR +
    42                
    43                 ?fb.FB_CURSOR_GOTO +
    44                
    45                 ?fb.FB_CURSOR_VISIBILITY +
    46                
    47                 ?fb.FB_GET_CSIZE +
    48                
    49                 ?fb.FB_GET_COLOR_CAP +
    50                
    51                 ?fb.FB_SCROLL +
    52                
    53                 ?fb.FB_VIEWPORT_SWITCH +
    54                
    55                 ?fb.FB_VIEWPORT_CREATE +
    56                
    57                 ?fb.FB_VIEWPORT_DELETE +
    58                
    59                 ?fb.FB_SET_STYLE +
    60                
    61                 ?fb.FB_SET_COLOR +
    62                
    63                 ?fb.FB_SET_RGB_COLOR +
    64                
    65                 ?fb.FB_GET_RESOLUTION +
    66                
    67                 ?fb.FB_POINTER_MOVE +
    68                
    69                 ?fb.FB_SCREEN_YIELD +
    70                
    71                 ?fb.FB_SCREEN_RECLAIM
    72         )* ;
    73         ?fb.IPC_M_PHONE_HUNGUP
    74 )*
     4                ?prepare_shm ;
     5                ?ipc_m_share_out
     6        ) +
     7        ?ipc_m_share_out +
     8        ?drop_shm +
     9        ?get_resolution +
     10        ?screen_yield +
     11        ?screen_reclaim +
     12        ?pointer_move +
     13        ?viewport_create +
     14        ?get_csize +
     15        ?clear +
     16        ?scroll +
     17        ?viewport_switch +
     18        ?viewport_delete +
     19        ?get_color_cap +
     20        ?set_style +
     21        ?set_color +
     22        ?set_rgb_color +
     23        ?putchar +
     24        ?cursor_visibility +
     25        ?cursor_goto +
     26        ?draw_ppm +
     27        ?draw_text_data +
     28        ?shm2pixmap +
     29        ?vp2pixmap +
     30        ?vp_draw_pixmap +
     31        ?drop_pixmap +
     32        ?anim_create +
     33        ?anim_addpixmap +
     34        ?anim_chgvp +
     35        ?anim_start +
     36        ?anim_stop +
     37        ?anim_drop
     38)* ;
     39?ipc_m_phone_hungup

  • contrib/arch/uspace/srv/fs/devfs/devfs_server.bp

    r41eca31 r810860a  
    1 [/uspace/lib/libc/fnc.devmap_get_phone] ;
    2 !ns.ipc_m_connect_me_to /* vfs */ ;
    3 [/uspace/lib/libfs/fnc.fs_register]
     1(
     2        [/uspace/lib/libc/fnc.devmap_get_phone] ;
     3        !ns.ipc_m_connect_me_to /* vfs */ ;
     4        [/uspace/lib/libfs/fnc.fs_register]
     5)

  • contrib/arch/uspace/srv/fs/fat/fat_server.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_me_to /* vfs */ ;
    2 [/uspace/lib/libfs/fnc.fs_register]
     1(
     2        !ns.ipc_m_connect_me_to /* vfs */ ;
     3        [/uspace/lib/libfs/fnc.fs_register]
     4)

  • contrib/arch/uspace/srv/fs/tmpfs/tmpfs.bp

    r41eca31 r810860a  
    33        (
    44                ?mounted {
    5                         ?ipc_m_data_write /* mount options */
     5                        ?ipc_m_data_write /* mount options */ ;
     6                        tentative {
     7                                [fnc.tmpfs_restore]
     8                        }
    69                } +
    710               

  • contrib/arch/uspace/srv/fs/tmpfs/tmpfs_server.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_me_to /* vfs */ ;
    2 [/uspace/lib/libfs/fnc.fs_register]
     1(
     2        !ns.ipc_m_connect_me_to /* vfs */ ;
     3        [/uspace/lib/libfs/fnc.fs_register]
     4)

  • contrib/arch/uspace/srv/kbd/event.bp

    r41eca31 r810860a  
    1 ?event
     1?ipc_m_connect_me_to ;
     2?event* ;
     3?ipc_m_phone_hungup

  • contrib/arch/uspace/srv/kbd/kbd_server.bp

    r41eca31 r810860a  
    1 tentative {
    2         !ns.ipc_m_connect_me_to /* cir */
    3 } ;
    4 !ns.ipc_m_connect_to_me /* kbd */
     1(
     2        tentative {
     3                !ns.ipc_m_connect_me_to /* cir */
     4        } ;
     5        !ns.ipc_m_connect_to_me /* kbd */ ;
     6        !event.event*
     7)

  • contrib/arch/uspace/srv/loader/loader_server.bp

    r41eca31 r810860a  
    1 !ns.id_intro ;
    2 !ns.ipc_m_connect_to_me /* loader */
     1(
     2        !ns.id_intro ;
     3        !ns.ipc_m_connect_to_me /* loader */
     4)

  • contrib/arch/uspace/srv/ns/ns.bp

    r41eca31 r810860a  
    1111        ?ipc_m_connect_me_to {
    1212                tentative {
    13                         !service.ipc_m_connect_me_to /* forward */
     13                        alternative (service; kbd; fb; console; vfs; devmap) {
     14                                !service.ipc_m_connect_me_to /* forward */
     15                        }
    1416                }
    1517        } +

  • contrib/arch/uspace/srv/pci/pci_server.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_to_me /* pci */
     1(
     2        !ns.ipc_m_connect_to_me /* pci */
     3)

  • contrib/arch/uspace/srv/vfs/fnc.vfs_grab_phone

    r41eca31 r810860a  
    1 !fs.ipc_m_connect_me_to
     1(
     2        !fs.ipc_m_connect_me_to
     3)

  • contrib/arch/uspace/srv/vfs/fnc.vfs_lookup_internal

    r41eca31 r810860a  
    1 [fnc.vfs_grab_phone] ;
    2 !fs.lookup ;
    3 [fnc.vfs_release_phone]
     1(
     2        [fnc.vfs_grab_phone] ;
     3        !fs.lookup ;
     4        [fnc.vfs_release_phone]
     5)

  • contrib/arch/uspace/srv/vfs/fnc.vfs_open_node_internal

    r41eca31 r810860a  
    1 [fnc.vfs_grab_phone] ;
    2 !fs.open_node ;
    3 [fnc.vfs_release_phone]
     1(
     2        [fnc.vfs_grab_phone] ;
     3        !fs.open_node ;
     4        [fnc.vfs_release_phone]
     5)

  • contrib/arch/uspace/srv/vfs/fnc.vfs_release_phone

    r41eca31 r810860a  
    1 !fs.ipc_m_phone_hungup
     1(
     2        !fs.ipc_m_phone_hungup
     3)

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

    r41eca31 r810860a  
    6868               
    6969                /* Write data to file */
    70                 ipcarg_t write(in ipcarg_t dev_handle, in ipcarg_t fs_index, in ipcarg_t offset, out_copy stream data);
     70                ipcarg_t write(in ipcarg_t dev_handle, in ipcarg_t fs_index, in ipcarg_t offset, in_copy stream data);
    7171               
    7272                /* Truncate file */
    … …  
    8383};
    8484
    85 frame dispatcher {
     85frame io_dispatcher {
    8686        provides:
    8787                vfs vfs;
    … …  
    9898
    9999architecture vfs {
    100         inst dispatcher dispatcher;
     100        inst io_dispatcher io_dispatcher;
    101101        inst tmpfs tmpfs;
    102102        inst fat fat;
    103103        inst devfs devfs;
    104104       
    105         bind dispatcher:tmpfs to tmpfs:tmpfs;
    106         bind dispatcher:fat to fat:fat;
    107         bind dispatcher:devfs to devfs:devfs;
     105        bind io_dispatcher:tmpfs to tmpfs:tmpfs;
     106        bind io_dispatcher:fat to fat:fat;
     107        bind io_dispatcher:devfs to devfs:devfs;
    108108       
    109         bind tmpfs:vfs to dispatcher:vfs;
    110         bind fat:vfs to dispatcher:vfs;
    111         bind devfs:vfs to dispatcher:vfs;
     109        bind tmpfs:vfs to io_dispatcher:vfs;
     110        bind fat:vfs to io_dispatcher:vfs;
     111        bind devfs:vfs to io_dispatcher:vfs;
    112112       
    113         delegate vfs to dispatcher:vfs;
     113        delegate vfs to io_dispatcher:vfs;
    114114       
    115         [/uspace/lib/libc/subsume%dispatcher]
     115        [/uspace/lib/libc/subsume%io_dispatcher]
    116116        [/uspace/lib/libc/subsume%tmpfs]
    117117        [/uspace/lib/libc/subsume%fat]
    118118        [/uspace/lib/libc/subsume%devfs]
    119119       
    120         subsume dispatcher:ns to ns;
     120        subsume io_dispatcher:ns to ns;
    121121        subsume tmpfs:ns to ns;
    122122        subsume fat:ns to ns;

  • contrib/arch/uspace/srv/vfs/vfs_server.bp

    r41eca31 r810860a  
    1 !ns.ipc_m_connect_to_me /* vfs */
     1(
     2        !ns.ipc_m_connect_to_me /* vfs */
     3)
Note: See TracChangeset for help on using the changeset viewer.