Changeset 6b89868 in mainline


Ignore:
Timestamp:
2009-09-08T14:38:59Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
262cd01, 9b11daef
Parents:
e742429
Message:

add inbound interfaces

Location:
contrib/bp
Files:
17 edited

Legend:

Unmodified
Added
Removed

  • contrib/bp/lib/libfs/libfs_mount

    re742429 r6b89868  
    1 ?IPC_M_CONNECTION_CLONE ;
    2 ?IPC_M_DATA_WRITE /* mount options */ {
     1?fs.IPC_M_CONNECTION_CLONE ;
     2?fs.IPC_M_DATA_WRITE /* mount options */ {
    33        !fs.IPC_M_CONNECT_ME ;
    44        !fs.VFS_OUT_MOUNTED ;

  • contrib/bp/lib/libfs/libfs_stat

    re742429 r6b89868  
    1 ?IPC_M_DATA_READ
     1?fs.IPC_M_DATA_READ

  • contrib/bp/preproc.py

    re742429 r6b89868  
    8484        outf.write("### %s\n\n" % fname)
    8585       
    86         tokens = split_tokens(inf.read(), ["\n", " ", "\t", "(", ")", "{", "}", "/*", "*/", "#", "*", ";", "+", "||", "|", "!", "?"], True)
     86        tokens = split_tokens(inf.read(), ["\n", " ", "\t", "(", ")", "{", "}", "[", "/*", "*/", "#", "*", ";", "+", "||", "|", "!", "?"], True)
    8787       
    8888        empty = True

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

    re742429 r6b89868  
    22[devmap_device_register] ;
    33(
    4         ?IPC_M_CONNECT_ME_TO ;
    5         ?IPC_SHARE_IN ;
     4        ?bd.IPC_M_CONNECT_ME_TO ;
     5        ?bd.IPC_SHARE_IN ;
    66        (
    7                 ?BD_READ_BLOCK +
    8                 ?BD_WRITE_BLOCK
     7                ?bd.BD_READ_BLOCK +
     8                ?bd.BD_WRITE_BLOCK
    99        )* ;
    10         ?IPC_M_PHONE_HUNGUP
     10        ?bd.IPC_M_PHONE_HUNGUP
    1111)*

  • contrib/bp/srv/console/cons_read

    re742429 r6b89868  
    1 ?IPC_M_DATA_READ
     1?console.IPC_M_DATA_READ

  • contrib/bp/srv/console/cons_write

    re742429 r6b89868  
    1 ?IPC_M_DATA_WRITE ;
     1?console.IPC_M_DATA_WRITE ;
    22[write_char]* ;
    33[gcons_notify_char]

  • contrib/bp/srv/console/console.bp

    re742429 r6b89868  
    2222[curs_visibility] ;
    2323(
    24         ?IPC_M_CONNECT_ME_TO ;
     24        ?console.IPC_M_CONNECT_ME_TO ;
    2525        [gcons_notify_connect] ;
    2626        (
    27                 ?VFS_OUT_READ {
     27                ?console.VFS_OUT_READ {
    2828                        [cons_read]
    2929                } +
    3030               
    31                 ?VFS_OUT_WRITE {
     31                ?console.VFS_OUT_WRITE {
    3232                        [cons_write]
    3333                } +
    3434               
    35                 ?VFS_OUT_SYNC {
     35                ?console.VFS_OUT_SYNC {
    3636                        [fb_pending_flush] ;
    3737                        (
    … …  
    4444                } +
    4545               
    46                 ?CONSOLE_CLEAR {
     46                ?console.CONSOLE_CLEAR {
    4747                        !fb.FB_FLUSH +
    4848                        NULL
    4949                } +
    5050               
    51                 ?CONSOLE_GOTO {
     51                ?console.CONSOLE_GOTO {
    5252                        !fb.CURS_GOTO +
    5353                        NULL
    5454                } +
    5555               
    56                 ?CONSOLE_GET_SIZE +
     56                ?console.CONSOLE_GET_SIZE +
    5757               
    58                 ?CONSOLE_GET_COLOR_CAP +
     58                ?console.CONSOLE_GET_COLOR_CAP +
    5959               
    60                 ?CONSOLE_SET_STYLE {
     60                ?console.CONSOLE_SET_STYLE {
    6161                        [fb_pending_flush] ;
    6262                        (
    … …  
    6666                } +
    6767               
    68                 ?CONSOLE_SET_COLOR {
     68                ?console.CONSOLE_SET_COLOR {
    6969                        [fb_pending_flush] ;
    7070                        (
    … …  
    7474                } +
    7575               
    76                 ?CONSOLE_SET_RGB_COLOR {
     76                ?console.CONSOLE_SET_RGB_COLOR {
    7777                        [fb_pending_flush] ;
    7878                        (
    … …  
    8282                } +
    8383               
    84                 ?CONSOLE_CURSOR_VISIBILITY {
     84                ?console.CONSOLE_CURSOR_VISIBILITY {
    8585                        [fb_pending_flush] ;
    8686                        (
    … …  
    9090                } +
    9191               
    92                 ?CONSOLE_GET_EVENT +
     92                ?console.CONSOLE_GET_EVENT +
    9393               
    94                 ?CONSOLE_KCON_ENABLE
     94                ?console.CONSOLE_KCON_ENABLE
    9595               
    9696        )* ;
    9797       
    98         ?IPC_M_PHONE_HUNGUP {
     98        ?console.IPC_M_PHONE_HUNGUP {
    9999                [gcons_notify_disconnect]
    100100        }

  • contrib/bp/srv/devmap/devmap.bp

    re742429 r6b89868  
    11!ns.IPC_M_CONNECT_TO_ME ;
    22(
    3         ?IPC_M_CONNECT_ME_TO ;
     3        ?devmap.IPC_M_CONNECT_ME_TO ;
    44        (
    55                ( /* driver interface */
    6                         ?DEVMAP_DEVICE_REGISTER {
    7                                 ?IPC_M_DATA_WRITE /* name */
     6                        ?devmap.DEVMAP_DEVICE_REGISTER {
     7                                ?devmap.IPC_M_DATA_WRITE /* name */
    88                        } +
    99                       
    10                         ?DEVMAP_DEVICE_GET_HANDLE {
    11                                 ?IPC_M_DATA_WRITE /* name */
     10                        ?devmap.DEVMAP_DEVICE_GET_HANDLE {
     11                                ?devmap.IPC_M_DATA_WRITE /* name */
    1212                        } +
    1313                       
    14                         ?DEVMAP_DEVICE_GET_NAME +
     14                        ?devmap.DEVMAP_DEVICE_GET_NAME +
    1515                       
    16                         ?DEVMAP_DEVICE_UNREGISTER +
     16                        ?devmap.DEVMAP_DEVICE_UNREGISTER +
    1717                       
    18                         ?DEVMAP_DRIVER_UNREGISTER
     18                        ?devmap.DEVMAP_DRIVER_UNREGISTER
    1919                ) +
    2020               
    2121                ( /* client interface */
    22                         ?DEVMAP_DEVICE_GET_HANDLE {
    23                                 ?IPC_M_DATA_WRITE /* name */
     22                        ?devmap.DEVMAP_DEVICE_GET_HANDLE {
     23                                ?devmap.IPC_M_DATA_WRITE /* name */
    2424                        } +
    2525                       
    26                         ?DEVMAP_DEVICE_GET_NAME +
     26                        ?devmap.DEVMAP_DEVICE_GET_NAME +
    2727                       
    28                         ?DEVMAP_DEVICE_NULL_CREATE +
     28                        ?devmap.DEVMAP_DEVICE_NULL_CREATE +
    2929                       
    30                         ?DEVMAP_DEVICE_NULL_DESTROY +
     30                        ?devmap.DEVMAP_DEVICE_NULL_DESTROY +
    3131                       
    32                         ?DEVMAP_DEVICE_GET_COUNT +
     32                        ?devmap.DEVMAP_DEVICE_GET_COUNT +
    3333                       
    34                         ?DEVMAP_DEVICE_GET_DEVICES {
    35                                 ?IPC_M_DATA_READ /* buffer */
     34                        ?devmap.DEVMAP_DEVICE_GET_DEVICES {
     35                                ?devmap.IPC_M_DATA_READ /* buffer */
    3636                        }
    3737                ) +
    … …  
    3939                !dev.IPC_M_CONNECT_ME_TO /* forwarded */
    4040        )* ;
    41         ?IPC_M_PHONE_HUNGUP
     41        ?devmap.IPC_M_PHONE_HUNGUP
    4242)*

  • contrib/bp/srv/fb/fb.bp

    re742429 r6b89868  
    11!ns.IPC_M_CONNECT_TO_ME ;
    22(
    3         ?IPC_M_CONNECT_ME_TO ;
     3        ?fb.IPC_M_CONNECT_ME_TO ;
    44        (
    5                 ?IPC_M_SHARE_OUT +
     5                ?fb.IPC_M_SHARE_OUT +
    66               
    77                (
    8                         ?FB_PREPARE_SHM ;
    9                         ?IPC_M_AS_AREA_SEND ;
    10                         ?FB_DRAW_PPM ;
    11                         ?FB_DROP_SHM
     8                        ?fb.FB_PREPARE_SHM ;
     9                        ?fb.IPC_M_AS_AREA_SEND ;
     10                        ?fb.FB_DRAW_PPM ;
     11                        ?fb.FB_DROP_SHM
    1212                ) +
    1313               
    1414                (
    15                         ?IPC_M_AS_AREA_SEND ;
    16                         ?FB_DRAW_TEXT_DATA
     15                        ?fb.IPC_M_AS_AREA_SEND ;
     16                        ?fb.FB_DRAW_TEXT_DATA
    1717                ) +
    1818               
    19                 ?FB_SHM2PIXMAP +
     19                ?fb.FB_SHM2PIXMAP +
    2020               
    21                 ?FB_VP_DRAW_PIXMAP +
     21                ?fb.FB_VP_DRAW_PIXMAP +
    2222               
    23                 ?FB_VP2PIXMAP +
     23                ?fb.FB_VP2PIXMAP +
    2424               
    25                 ?FB_DROP_PIXMAP +
     25                ?fb.FB_DROP_PIXMAP +
    2626               
    27                 ?FB_ANIM_CREATE +
     27                ?fb.FB_ANIM_CREATE +
    2828               
    29                 ?FB_ANIM_DROP +
     29                ?fb.FB_ANIM_DROP +
    3030               
    31                 ?FB_ANIM_ADDPIXMAP +
     31                ?fb.FB_ANIM_ADDPIXMAP +
    3232               
    33                 ?FB_ANIM_CHGVP +
     33                ?fb.FB_ANIM_CHGVP +
    3434               
    35                 ?FB_ANIM_START +
     35                ?fb.FB_ANIM_START +
    3636               
    37                 ?FB_ANIM_STOP +
     37                ?fb.FB_ANIM_STOP +
    3838               
    39                 ?FB_PUTCHAR +
     39                ?fb.FB_PUTCHAR +
    4040               
    41                 ?FB_CLEAR +
     41                ?fb.FB_CLEAR +
    4242               
    43                 ?FB_CURSOR_GOTO +
     43                ?fb.FB_CURSOR_GOTO +
    4444               
    45                 ?FB_CURSOR_VISIBILITY +
     45                ?fb.FB_CURSOR_VISIBILITY +
    4646               
    47                 ?FB_GET_CSIZE +
     47                ?fb.FB_GET_CSIZE +
    4848               
    49                 ?FB_GET_COLOR_CAP +
     49                ?fb.FB_GET_COLOR_CAP +
    5050               
    51                 ?FB_SCROLL +
     51                ?fb.FB_SCROLL +
    5252               
    53                 ?FB_VIEWPORT_SWITCH +
     53                ?fb.FB_VIEWPORT_SWITCH +
    5454               
    55                 ?FB_VIEWPORT_CREATE +
     55                ?fb.FB_VIEWPORT_CREATE +
    5656               
    57                 ?FB_VIEWPORT_DELETE +
     57                ?fb.FB_VIEWPORT_DELETE +
    5858               
    59                 ?FB_SET_STYLE +
     59                ?fb.FB_SET_STYLE +
    6060               
    61                 ?FB_SET_COLOR +
     61                ?fb.FB_SET_COLOR +
    6262               
    63                 ?FB_SET_RGB_COLOR +
     63                ?fb.FB_SET_RGB_COLOR +
    6464               
    65                 ?FB_GET_RESOLUTION +
     65                ?fb.FB_GET_RESOLUTION +
    6666               
    67                 ?FB_POINTER_MOVE +
     67                ?fb.FB_POINTER_MOVE +
    6868               
    69                 ?FB_SCREEN_YIELD +
     69                ?fb.FB_SCREEN_YIELD +
    7070               
    71                 ?FB_SCREEN_RECLAIM
     71                ?fb.FB_SCREEN_RECLAIM
    7272        )* ;
    73         ?IPC_M_PHONE_HUNGUP
     73        ?fb.IPC_M_PHONE_HUNGUP
    7474)*

  • contrib/bp/srv/fs/devfs/devfs.bp

    re742429 r6b89868  
    33[../../../lib/libfs/fs_register] ;
    44(
    5         ?IPC_M_CONNECT_ME_TO ;
     5        ?fs.IPC_M_CONNECT_ME_TO ;
    66        (
    7                 ?VFS_OUT_MOUNTED {
    8                         ?IPC_M_DATA_WRITE /* mount options */
     7                ?fs.VFS_OUT_MOUNTED {
     8                        ?fs.IPC_M_DATA_WRITE /* mount options */
    99                } +
    1010               
    11                 ?VFS_OUT_MOUNT +
     11                ?fs.VFS_OUT_MOUNT +
    1212               
    13                 ?VFS_OUT_LOOKUP {
     13                ?fs.VFS_OUT_LOOKUP {
    1414                        (
    1515                                [../../../lib/libc/devmap_device_get_handle] ;
    … …  
    1919                } +
    2020               
    21                 ?VFS_OUT_READ {
    22                         ?IPC_M_DATA_READ /* payload */ {
     21                ?fs.VFS_OUT_READ {
     22                        ?fs.IPC_M_DATA_READ /* payload */ {
    2323                                (
    2424                                        !dev.VFS_OUT_READ ;
    … …  
    3232                } +
    3333               
    34                 ?VFS_OUT_WRITE {
    35                         ?IPC_M_DATA_WRITE /* payload */ {
     34                ?fs.VFS_OUT_WRITE {
     35                        ?fs.IPC_M_DATA_WRITE /* payload */ {
    3636                                (
    3737                                        !dev.VFS_OUT_WRITE ;
    … …  
    4242                } +
    4343               
    44                 ?VFS_OUT_TRUNCATE +
     44                ?fs.VFS_OUT_TRUNCATE +
    4545               
    46                 ?VFS_OUT_CLOSE {
     46                ?fs.VFS_OUT_CLOSE {
    4747                        !dev.IPC_M_PHONE_HUNGUP
    4848                } +
    4949               
    50                 ?VFS_OUT_DESTROY +
     50                ?fs.VFS_OUT_DESTROY +
    5151               
    52                 ?VFS_OUT_OPEN_NODE {
     52                ?fs.VFS_OUT_OPEN_NODE {
    5353                        [../../../lib/libc/devmap_device_connect] +
    5454                        NULL
    5555                } +
    5656               
    57                 ?VFS_OUT_STAT {
     57                ?fs.VFS_OUT_STAT {
    5858                        ?IPC_M_DATA_READ /* struct stat */
    5959                } +
    6060               
    61                 ?VFS_OUT_SYNC
     61                ?fs.VFS_OUT_SYNC
    6262               
    6363        )* ;
    64         ?IPC_M_PHONE_HUNGUP
     64        ?fs.IPC_M_PHONE_HUNGUP
    6565)* ;
    6666!vfs.IPC_M_PHONE_HUNGUP

  • contrib/bp/srv/fs/fat/fat.bp

    re742429 r6b89868  
    22[../../../lib/libfs/fs_register] ;
    33(
    4         ?IPC_M_CONNECT_ME_TO ;
     4        ?fs.IPC_M_CONNECT_ME_TO ;
    55        (
    6                 ?VFS_OUT_MOUNTED {
    7                         ?IPC_M_DATA_WRITE /* mount options */
     6                ?fs.VFS_OUT_MOUNTED {
     7                        ?fs.IPC_M_DATA_WRITE /* mount options */
    88                } +
    99               
    10                 ?VFS_OUT_MOUNT {
     10                ?fs.VFS_OUT_MOUNT {
    1111                        [../../../lib/libfs/libfs_mount]
    1212                } +
    1313               
    14                 ?VFS_OUT_LOOKUP {
     14                ?fs.VFS_OUT_LOOKUP {
    1515                        [../../../lib/libfs/libfs_lookup]
    1616                } +
    1717               
    18                 ?VFS_OUT_READ {
    19                         ?IPC_M_DATA_READ /* payload */
     18                ?fs.VFS_OUT_READ {
     19                        ?fs.IPC_M_DATA_READ /* payload */
    2020                } +
    2121               
    22                 ?VFS_OUT_WRITE {
    23                         ?IPC_M_DATA_WRITE /* payload */
     22                ?fs.VFS_OUT_WRITE {
     23                        ?fs.IPC_M_DATA_WRITE /* payload */
    2424                } +
    2525               
    26                 ?VFS_OUT_TRUNCATE +
     26                ?fs.VFS_OUT_TRUNCATE +
    2727               
    28                 ?VFS_OUT_CLOSE +
     28                ?fs.VFS_OUT_CLOSE +
    2929               
    30                 ?VFS_OUT_DESTROY +
     30                ?fs.VFS_OUT_DESTROY +
    3131               
    32                 ?VFS_OUT_OPEN_NODE {
     32                ?fs.VFS_OUT_OPEN_NODE {
    3333                        [../../../lib/libfs/libfs_open_node]
    3434                } +
    3535               
    36                 ?VFS_OUT_STAT {
     36                ?fs.VFS_OUT_STAT {
    3737                        [../../../lib/libfs/libfs_stat]
    3838                } +
    3939               
    40                 ?VFS_OUT_SYNC
     40                ?fs.VFS_OUT_SYNC
    4141               
    4242        )* ;
    43         ?IPC_M_PHONE_HUNGUP
     43        ?fs.IPC_M_PHONE_HUNGUP
    4444)* ;
    4545!vfs.IPC_M_PHONE_HUNGUP

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

    re742429 r6b89868  
    22[../../../lib/libfs/fs_register] ;
    33(
    4         ?IPC_M_CONNECT_ME_TO ;
     4        ?fs.IPC_M_CONNECT_ME_TO ;
    55        (
    6                 ?VFS_OUT_MOUNTED {
    7                         ?IPC_M_DATA_WRITE /* mount options */
     6                ?fs.VFS_OUT_MOUNTED {
     7                        ?fs.IPC_M_DATA_WRITE /* mount options */
    88                } +
    99               
    10                 ?VFS_OUT_MOUNT {
     10                ?fs.VFS_OUT_MOUNT {
    1111                        [../../../lib/libfs/libfs_mount]
    1212                } +
    1313               
    14                 ?VFS_OUT_LOOKUP {
     14                ?fs.VFS_OUT_LOOKUP {
    1515                        [../../../lib/libfs/libfs_lookup]
    1616                } +
    1717               
    18                 ?VFS_OUT_READ {
    19                         ?IPC_M_DATA_READ /* payload */
     18                ?fs.VFS_OUT_READ {
     19                        ?fs.IPC_M_DATA_READ /* payload */
    2020                } +
    2121               
    22                 ?VFS_OUT_WRITE {
    23                         ?IPC_M_DATA_WRITE /* payload */
     22                ?fs.VFS_OUT_WRITE {
     23                        ?fs.IPC_M_DATA_WRITE /* payload */
    2424                } +
    2525               
    26                 ?VFS_OUT_TRUNCATE +
     26                ?fs.VFS_OUT_TRUNCATE +
    2727               
    28                 ?VFS_OUT_CLOSE +
     28                ?fs.VFS_OUT_CLOSE +
    2929               
    30                 ?VFS_OUT_DESTROY +
     30                ?fs.VFS_OUT_DESTROY +
    3131               
    32                 ?VFS_OUT_OPEN_NODE {
     32                ?fs.VFS_OUT_OPEN_NODE {
    3333                        [../../../lib/libfs/libfs_open_node]
    3434                } +
    3535               
    36                 ?VFS_OUT_STAT {
     36                ?fs.VFS_OUT_STAT {
    3737                        [../../../lib/libfs/libfs_stat]
    3838                } +
    3939               
    40                 ?VFS_OUT_SYNC
     40                ?fs.VFS_OUT_SYNC
    4141               
    4242        )* ;
    43         ?IPC_M_PHONE_HUNGUP
     43        ?fs.IPC_M_PHONE_HUNGUP
    4444)* ;
    4545!vfs.IPC_M_PHONE_HUNGUP

  • contrib/bp/srv/kbd/kbd.bp

    re742429 r6b89868  
    55!ns.IPC_M_CONNECT_TO_ME ;
    66(
    7         ?IPC_M_CONNECT_ME_TO ;
     7        ?kbd.IPC_M_CONNECT_ME_TO ;
    88        (
    99                (
    10                         ?KBD_YIELD +
    11                         ?KBD_RECLAIM +
     10                        ?kbd.KBD_YIELD +
     11                        ?kbd.KBD_RECLAIM +
    1212                ) |
    1313                !console.KBD_EVENT
    1414        )* ;
    15         ?IPC_M_PHONE_HUNGUP
     15        ?kbd.IPC_M_PHONE_HUNGUP
    1616)* ;
    1717(

  • contrib/bp/srv/loader/loader.bp

    re742429 r6b89868  
    22!ns.IPC_M_CONNECT_TO_ME ;
    33(
    4         ?LOADER_GET_TASKID {
    5                 ?IPC_M_DATA_READ /* task id */
     4        ?loader.LOADER_GET_TASKID {
     5                ?loader.IPC_M_DATA_READ /* task id */
    66        } +
    77       
    8         ?LOADER_SET_PATHNAME {
    9                 ?IPC_M_DATA_WRITE /* path */
     8        ?loader.LOADER_SET_PATHNAME {
     9                ?loader.IPC_M_DATA_WRITE /* path */
    1010        } +
    1111       
    12         ?LOADER_SET_ARGS {
    13                 ?IPC_M_DATA_WRITE /* arguments */
     12        ?loader.LOADER_SET_ARGS {
     13                ?loader.IPC_M_DATA_WRITE /* arguments */
    1414        } +
    1515       
    16         ?LOADER_SET_FILES {
    17                 ?IPC_M_DATA_WRITE /* files */
     16        ?loader.LOADER_SET_FILES {
     17                ?loader.IPC_M_DATA_WRITE /* files */
    1818        } +
    1919       
    20         ?LOADER_LOAD
     20        ?loader.LOADER_LOAD
    2121)* ;
    2222(
    23         ?LOADER_RUN +
    24         ?IPC_M_PHONE_HUNGUP
     23        ?loader.LOADER_RUN +
     24        ?loader.IPC_M_PHONE_HUNGUP
    2525)

  • contrib/bp/srv/ns/ns.bp

    re742429 r6b89868  
    11(
    22        (
    3                 ?IPC_M_SHARE_IN /* SERVICE_MEM_REALTIME || SERVICE_MEM_KLOG */ +
    4                 ?IPC_M_CONNECT_TO_ME {
     3                ?ns.IPC_M_SHARE_IN /* SERVICE_MEM_REALTIME || SERVICE_MEM_KLOG */ +
     4                ?ns.IPC_M_CONNECT_TO_ME {
    55                        !clonable.IPC_M_CONNECT_TO_ME /* forwarded */ +
    66                        NULL
    77                } +
    8                 ?IPC_M_CONNECT_ME_TO {
     8                ?ns.IPC_M_CONNECT_ME_TO {
    99                        !service.IPC_M_CONNECT_ME_TO /* forwarded */ +
    1010                        NULL
    1111                } +
    12                 ?NS_PING +
    13                 ?NS_TASK_WAIT +
    14                 ?NS_ID_INTRO +
    15                 ?NS_RETVAL
     12                ?ns.NS_PING +
     13                ?ns.NS_TASK_WAIT +
     14                ?ns.NS_ID_INTRO +
     15                ?ns.NS_RETVAL
    1616        )* ;
    17         ?IPC_M_PHONE_HUNGUP
     17        ?ns.IPC_M_PHONE_HUNGUP
    1818)*

  • contrib/bp/srv/pci/pci.bp

    re742429 r6b89868  
    11!ns.IPC_M_CONNECT_TO_ME ;
    22(
    3         ?IPC_M_CONNECT_ME_TO ;
    4         ?IPC_M_PHONE_HUNGUP
     3        ?pci.IPC_M_CONNECT_ME_TO ;
     4        ?pci.IPC_M_PHONE_HUNGUP
    55)*

  • contrib/bp/srv/vfs/vfs.bp

    re742429 r6b89868  
    11!ns.IPC_M_CONNECT_TO_ME ;
    22(
    3         ?IPC_M_CONNECT_ME_TO ;
     3        ?vfs.IPC_M_CONNECT_ME_TO ;
    44        (
    5                 ?VFS_IN_REGISTER {
    6                         ?IPC_M_DATA_WRITE ;
    7                         ?IPC_M_CONNECT_TO_ME ;
    8                         ?IPC_M_SHARE_IN
     5                ?vfs.VFS_IN_REGISTER {
     6                        ?vfs.IPC_M_DATA_WRITE ;
     7                        ?vfs.IPC_M_CONNECT_TO_ME ;
     8                        ?vfs.IPC_M_SHARE_IN
    99                } +
    1010               
    11                 ?VFS_IN_MOUNT {
    12                         ?IPC_M_DATA_WRITE /* mount point */ ;
    13                         ?IPC_M_DATA_WRITE /* mount options */ ;
    14                         ?IPC_M_DATA_WRITE /* fs name */ ;
    15                         ?IPC_M_PING ;
     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 ;
    1616                        (
    1717                               
    … …  
    2626                } +
    2727               
    28                 ?VFS_IN_OPEN {
    29                         ?IPC_M_DATA_WRITE /* path */ ;
     28                ?vfs.VFS_IN_OPEN {
     29                        ?vfs.IPC_M_DATA_WRITE /* path */ ;
    3030                        [vfs_lookup_internal] ;
    3131                        (
    … …  
    3939                } +
    4040               
    41                 ?VFS_IN_OPEN_NODE {
     41                ?vfs.VFS_IN_OPEN_NODE {
    4242                        [vfs_grab_phone] ;
    4343                        !fs.VFS_OUT_OPEN_NODE ;
    … …  
    5353                } +
    5454               
    55                 ?VFS_IN_CLOSE {
     55                ?vfs.VFS_IN_CLOSE {
    5656                        [vfs_grab_phone] ;
    5757                        !fs.VFS_OUT_CLOSE ;
    … …  
    5959                } +
    6060               
    61                 ?VFS_IN_READ {
    62                         ?IPC_M_DATA_READ {
     61                ?vfs.VFS_IN_READ {
     62                        ?vfs.IPC_M_DATA_READ {
    6363                                [vfs_grab_phone] ;
    6464                                !fs.VFS_OUT_READ /* payload */ ;
    … …  
    6868                } +
    6969               
    70                 ?VFS_IN_WRITE {
    71                         ?IPC_M_DATA_WRITE {
     70                ?vfs.VFS_IN_WRITE {
     71                        ?vfs.IPC_M_DATA_WRITE {
    7272                                [vfs_grab_phone] ;
    7373                                !fs.VFS_OUT_WRITE /* payload */ ;
    … …  
    7777                } +
    7878               
    79                 ?VFS_IN_SEEK +
     79                ?vfs.VFS_IN_SEEK +
    8080               
    81                 ?VFS_IN_TRUNCATE {
     81                ?vfs.VFS_IN_TRUNCATE {
    8282                        [vfs_grab_phone] ;
    8383                        !fs.VFS_OUT_TRUNCATE ;
    … …  
    8585                } +
    8686               
    87                 ?VFS_IN_FSTAT {
    88                         ?IPC_M_DATA_READ /* struct stat */ {
     87                ?vfs.VFS_IN_FSTAT {
     88                        ?vfs.IPC_M_DATA_READ /* struct stat */ {
    8989                                [vfs_grab_phone] ;
    9090                                !fs.VFS_OUT_STAT ;
    … …  
    9494                } +
    9595               
    96                 ?VFS_IN_STAT {
    97                         ?IPC_M_DATA_WRITE /* path */ ;
    98                         ?IPC_M_DATA_READ /* struct stat */ {
     96                ?vfs.VFS_IN_STAT {
     97                        ?vfs.IPC_M_DATA_WRITE /* path */ ;
     98                        ?vfs.IPC_M_DATA_READ /* struct stat */ {
    9999                                [vfs_lookup_internal] ;
    100100                                !fs.VFS_OUT_STAT ;
    … …  
    103103                } +
    104104               
    105                 ?VFS_IN_MKDIR {
    106                         ?IPC_M_DATA_WRITE /* path */ ;
     105                ?vfs.VFS_IN_MKDIR {
     106                        ?vfs.IPC_M_DATA_WRITE /* path */ ;
    107107                        [vfs_lookup_internal]
    108108                } +
    109109               
    110                 ?VFS_IN_UNLINK {
    111                         ?IPC_M_DATA_WRITE /* path */ ;
     110                ?vfs.VFS_IN_UNLINK {
     111                        ?vfs.IPC_M_DATA_WRITE /* path */ ;
    112112                        [vfs_lookup_internal]
    113113                } +
    114114               
    115                 ?VFS_IN_RENAME {
    116                         ?IPC_M_DATA_WRITE /* old path */ ;
    117                         ?IPC_M_DATE_WRITE /* new path */ ;
     115                ?vfs.VFS_IN_RENAME {
     116                        ?vfs.IPC_M_DATA_WRITE /* old path */ ;
     117                        ?vfs.IPC_M_DATE_WRITE /* new path */ ;
    118118                        [vfs_lookup_internal] /* lookup old path */ ;
    119119                        [vfs_lookup_internal] /* lookup parent of new path */ ;
    … …  
    123123                } +
    124124               
    125                 ?VFS_IN_SYNC {
     125                ?vfs.VFS_IN_SYNC {
    126126                        !fs.VFS_OUT_SYNC
    127127                }
    128128               
    129129        )* ;
    130         ?IPC_M_PHONE_HUNGUP
     130        ?vfs.IPC_M_PHONE_HUNGUP
    131131)*
Note: See TracChangeset for help on using the changeset viewer.