Changeset f1380b7 in mainline for contrib/arch/uspace/srv


Ignore:
Timestamp:
2018-03-02T20:21:57Z (7 years ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
34e1206
Parents:
a35b458
git-author:
Jiří Zárevúcky <zarevucky.jiri@…> (2018-02-28 17:51:04)
git-committer:
Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-02 20:21:57)
Message:

style: Remove trailing whitespace on _all_ lines, including empty ones, remaining files.

Location:
contrib/arch/uspace/srv
Files:
18 edited

Legend:

Unmodified
Added
Removed

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

    ra35b458 rf1380b7  
    22                /* Share out data buffer */
    33                sysarg_t ipc_m_share_out(in sysarg_t as_area_base, in sysarg_t as_area_size, in sysarg_t flags, out sysarg_t dst_as_area_base);
    4                
     4
    55                /* Get block size */
    66                sysarg_t get_block_size(out sysarg_t block_size);
    7                
     7
    88                /* Read blocks via shared data buffer */
    99                sysarg_t read_blocks(in sysarg_t index_lower, in sysarg_t index_upper, in sysarg_t count);
    10                
     10
    1111                /* Write blocks via shared data buffer */
    1212                sysarg_t write_blocks(in sysarg_t index_lower, in sysarg_t index_upper, in sysarg_t count);
    … …  
    1717architecture bd {
    1818        inst rd rd;
    19        
     19
    2020        [/uspace/lib/libc/subsume%rd]
    21        
     21
    2222        delegate rd to rd:rd;
    23        
     23
    2424        subsume rd:ns to ns;
    2525        subsume rd:devmap_driver to devmap_driver;

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

    ra35b458 rf1380b7  
    22                /* Read characters from console */
    33                sysarg_t read(out_copy stream data);
    4                
     4
    55                /* Write characters to console */
    66                sysarg_t write(in_copy stream data);
    7                
     7
    88                /* Get last event from event queue */
    99                sysarg_t get_event(out sysarg_t type, out sysarg_t key, out sysarg_t mods, out sysarg_t char);
    10                
     10
    1111                /* Flush output buffer */
    1212                sysarg_t sync(void);
    13                
     13
    1414                /* Clear console */
    1515                sysarg_t clear(void);
    16                
     16
    1717                /* Move cursor to given position */
    1818                sysarg_t goto(in sysarg_t col, in sysarg_t row);
    19                
     19
    2020                /* Get console dimensions (in character cells) */
    2121                sysarg_t get_size(out sysarg_t cols, in sysarg_t rows);
    22                
     22
    2323                /* Get color capabilities */
    2424                sysarg_t get_color_cap(void);
    25                
     25
    2626                /* Set abstract text style */
    2727                sysarg_t set_style(in sysarg_t style);
    28                
     28
    2929                /* Set EGA-based text color */
    3030                sysarg_t set_color(in sysarg_t fb_color, in sysarg_t bg_color, in sysarg_t attr);
    31                
     31
    3232                /* Set RGB-based text color */
    3333                sysarg_t set_rgb_color(in sysarg_t fb_color, in sysarg_t bg_color);
    34                
     34
    3535                /* Set cursor visibility */
    3636                sysarg_t cursor_visibility(in sysarg_t visible);
    37                
     37
    3838                /* Switch to kernel debugging console (if available) */
    3939                sysarg_t kcon_enable(void);
    … …  
    8585        inst kbd kbd;
    8686        inst fb fb;
    87        
     87
    8888        bind ui_dispatcher:kbd to kbd:kbd;
    8989        bind ui_dispatcher:fb to fb:fb;
    90        
     90
    9191        bind kbd:event to ui_dispatcher:event;
    92        
     92
    9393        delegate console to ui_dispatcher:console;
    9494        delegate kbd to kbd:kbd;
    9595        delegate fb to fb:fb;
    96        
     96
    9797        [/uspace/lib/libc/subsume%ui_dispatcher]
    9898        [/uspace/lib/libc/subsume%kbd]
    9999        [/uspace/lib/libc/subsume%fb]
    100        
     100
    101101        subsume ui_dispatcher:ns to ns;
    102102        subsume ui_dispatcher:devmap_driver to devmap_driver;
    103103        subsume ui_dispatcher:sys_console to sys_console;
    104        
     104
    105105        subsume kbd:ns to ns;
    106106        subsume fb:ns to ns;

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

    ra35b458 rf1380b7  
    55                [fnc.cons_read]
    66        } +
    7        
     7
    88        ?write {
    99                [fnc.cons_write]
    1010        } +
    11        
     11
    1212        ?sync {
    1313                [fnc.fb_pending_flush] ;
    … …  
    1717                }
    1818        } +
    19        
     19
    2020        ?clear {
    2121                tentative {
    … …  
    2323                }
    2424        } +
    25        
     25
    2626        ?goto {
    2727                tentative {
    … …  
    2929                }
    3030        } +
    31        
     31
    3232        ?set_style {
    3333                [fnc.fb_pending_flush] ;
    … …  
    3636                }
    3737        } +
    38        
     38
    3939        ?set_color {
    4040                [fnc.fb_pending_flush] ;
    … …  
    4343                }
    4444        } +
    45        
     45
    4646        ?set_rgb_color {
    4747                [fnc.fb_pending_flush] ;
    … …  
    5050                }
    5151        } +
    52        
     52
    5353        ?cursor_visibility {
    5454                [fnc.fb_pending_flush] ;
    … …  
    5757                }
    5858        } +
    59        
     59
    6060        ?kcon_enable {
    6161                !sys_console.sys_debug_enable_console
    6262        } +
    63        
     63
    6464        ?get_event +
    6565        ?get_size +

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

    ra35b458 rf1380b7  
    22                /* Establish connection (iface is DEVMAP_DRIVER) */
    33                sysarg_t ipc_m_connect_me_to(in sysarg_t iface);
    4                
     4
    55                /* Register as a new driver */
    66                sysarg_t driver_register(in_copy string name);
    7                
     7
    88                /* Unregister all devices and the driver itself */
    99                sysarg_t driver_unregister(void);
    10                
     10
    1111                /* Register new device and return handle */
    1212                sysarg_t device_register(in_copy string name, out sysarg_t handle);
    13                
     13
    1414                /* Unregister device */
    1515                sysarg_t device_unregister(in sysarg_t handle);
    16                
     16
    1717                /* Resolve device name to handle */
    1818                sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
    19                
     19
    2020                /* Get device name for a given handle */
    2121                sysarg_t device_get_name(in sysarg_t handle);
    22                
     22
    2323                /* Close connection */
    2424                sysarg_t ipc_m_phone_hungup(void);
    … …  
    3030                /* Establish connection (iface is DEVMAP_CLIENT) or forward to device (iface is DEVMAP_CONNECT_TO_DEVICE) */
    3131                sysarg_t ipc_m_connect_me_to(in sysarg_t iface, in sysarg_t handle);
    32                
     32
    3333                /* Resolve device name to handle */
    3434                sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
    35                
     35
    3636                /* Get device name for a given handle */
    3737                sysarg_t device_get_name(in sysarg_t handle);
    38                
     38
    3939                /* Clone NULL device */
    4040                sysarg_t device_null_create(out sysarg_t index);
    41                
     41
    4242                /* Destroy NULL device */
    4343                sysarg_t device_null_destroy(in sysarg_t index);
    44                
     44
    4545                /* Get number of devices */
    4646                sysarg_t device_get_count(out sysarg_t count);
    47                
     47
    4848                /* Get an array of (device_name, handle) pairs */
    4949                sysarg_t device_get_devices(out_copy stream data);
    50                
     50
    5151                /* Close connection */
    5252                sysarg_t ipc_m_phone_hungup(void);
    5353        protocol:
    5454                [devmap_client.bp]
    55        
     55
    5656};
    5757

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

    ra35b458 rf1380b7  
    1010                        ?ipc_m_data_write /* device name */
    1111                } +
    12                
     12
    1313                ?device_get_name +
    1414                ?device_null_create +
    1515                ?device_null_destroy +
    1616                ?device_get_count +
    17                
     17
    1818                ?device_get_devices {
    1919                        ?ipc_m_data_read /* buffer */

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

    ra35b458 rf1380b7  
    1414                }
    1515        } +
    16        
     16
    1717        ?device_get_handle {
    1818                ?ipc_m_data_write /* device name */
    1919        } +
    20        
     20
    2121        ?device_get_name +
    2222        ?device_unregister +

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

    ra35b458 rf1380b7  
    22                /* Get screen resolution */
    33                sysarg_t get_resolution(out sysarg_t width, out sysarg_t height);
    4                
     4
    55                /* Yield screen */
    66                sysarg_t screen_yield(void);
    7                
     7
    88                /* Reclaim screen */
    99                sysarg_t screen_reclaim(void);
    10                
     10
    1111                /* Set mouse cursor position on screen */
    1212                sysarg_t pointer_move(in sysarg_t x, in sysarg_t y);
    13                
     13
    1414                /* Create new viewport */
    1515                sysarg_t viewport_create(in sysarg_t origin, in sysarg_t dimension);
    16                
     16
    1717                /* Get viewport size in character cells */
    1818                sysarg_t get_csize(out sysarg_t width, out sysarg_t height);
    19                
     19
    2020                /* Clear viewport character buffer */
    2121                sysarg_t clear(void);
    22                
     22
    2323                /* Scroll viewport character buffer */
    2424                sysarg_t scroll(in sysarg_t lines);
    25                
     25
    2626                /* Set active viewport */
    2727                sysarg_t viewport_switch(in sysarg_t index);
    28                
     28
    2929                /* Delete viewport */
    3030                sysarg_t viewport_delete(in sysarg_t index);
    31                
     31
    3232                /* Get color capabilities of the screen */
    3333                sysarg_t get_color_cap(void);
    34                
     34
    3535                /* Set abstract text style */
    3636                sysarg_t set_style(in sysarg_t style);
    37                
     37
    3838                /* Set EGA-based text color */
    3939                sysarg_t set_color(in sysarg_t fg_color, in sysarg_t bg_color, in sysarg_t atrr);
    40                
     40
    4141                /* Set RGB-based text color */
    4242                sysarg_t set_rgb_color(in sysarg_t fg_color, in sysarg_t bg_color);
    43                
     43
    4444                /* Put a character to a given position in viewport character buffer */
    4545                sysarg_t putchar(in sysarg_t char, in sysarg_t col, in sysarg_t row);
    46                
     46
    4747                /* Set character cursor visibility in viewport */
    4848                sysarg_t cursor_visibility(in sysarg_t visible);
    49                
     49
    5050                /* Set character cursor position in viewport */
    5151                sysarg_t cursor_goto(in sysarg_t col, in sysarg_t row);
    52                
     52
    5353                /* Prepare memory sharing of bitmaps */
    5454                sysarg_t prepare_shm(in sysarg_t as_area_base);
    55                
     55
    5656                /* Share bitmap or text data */
    5757                sysarg_t ipc_m_share_out(in sysarg_t as_area_base, in sysarg_t as_area_size, out sysarg_t dst_as_area);
    58                
     58
    5959                /* Drop memory sharing */
    6060                sysarg_t drop_shm(void);
    61                
     61
    6262                /* Draw PPM data from shared memory to viewport */
    6363                sysarg_t draw_ppm(in sysarg_t x, in sysarg_t y);
    64                
     64
    6565                /* Put characters from shared memory to viewport */
    6666                sysarg_t draw_text_data(in sysarg_t x, in sysarg_t y, in sysarg_t width, in sysarg_t height);
    67                
     67
    6868                /* Convert PPM data from shared memory to pixmap */
    6969                sysarg_t shm2pixmap(void);
    70                
     70
    7171                /* Save viewport contents to a pixmap */
    7272                sysarg_t vp2pixmap(in sysarg_t vp_index);
    73                
     73
    7474                /* Draw pixmap to viewport */
    7575                sysarg_t vp_draw_pixmap(in sysarg_t vp_index, in sysarg_t pm_index);
    76                
     76
    7777                /* Discard pixmap */
    7878                sysarg_t drop_pixmap(in sysarg_t pm_index);
    79                
     79
    8080                /* Create new (empty) animation for a viewport */
    8181                sysarg_t anim_create(in sysarg_t vp_index);
    82                
     82
    8383                /* Append a pixmap to an animation */
    8484                sysarg_t anim_addpixmap(in sysarg_t anim_index, in sysarg_t pm_index);
    85                
     85
    8686                /* Change a viewport associated with an animation */
    8787                sysarg_t anim_chgvp(in sysarg_t anim_index, in sysarg_t vp_index);
    88                
     88
    8989                /* Start animation playback */
    9090                sysarg_t anim_start(in sysarg_t anim_index);
    91                
     91
    9292                /* Stop animation playback */
    9393                sysarg_t anim_stop(in sysarg_t anim_index);
    94                
     94
    9595                /* Delete animation */
    9696                sysarg_t anim_drop(in sysarg_t anim_index);

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

    ra35b458 rf1380b7  
    55                        ?ipc_m_data_write /* mount options */
    66                } +
    7                
     7
    88                ?lookup {
    99                        tentative {
    … …  
    1414                        }
    1515                } +
    16                
     16
    1717                ?open_node {
    1818                        tentative {
    … …  
    2020                        }
    2121                } +
    22                
     22
    2323                ?read {
    2424                        tentative {
    … …  
    3434                        }
    3535                } +
    36                
     36
    3737                ?write {
    3838                        tentative {
    … …  
    4444                        }
    4545                } +
    46                
     46
    4747                ?stat {
    4848                        ?ipc_m_data_read /* struct data */
    4949                } +
    50                
     50
    5151                ?close {
    5252                        !device.ipc_m_phone_hungup
    5353                } +
    54                
     54
    5555                ?mount +
    5656                ?truncate +

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

    ra35b458 rf1380b7  
    1010                        }
    1111                } +
    12                
     12
    1313                ?mount {
    1414                        [/uspace/lib/libfs/fnc.libfs_mount]
    1515                } +
    16                
     16
    1717                ?lookup {
    1818                        [/uspace/lib/libfs/fnc.libfs_lookup]
    1919                } +
    20                
     20
    2121                ?open_node {
    2222                        [/uspace/lib/libfs/fnc.libfs_open_node]
    2323                } +
    24                
     24
    2525                ?read {
    2626                        tentative {
    … …  
    2828                        }
    2929                } +
    30                
     30
    3131                ?write {
    3232                        tentative {
    … …  
    3434                        }
    3535                } +
    36                
     36
    3737                ?stat {
    3838                        [/uspace/lib/libfs/fnc.libfs_stat]
    3939                } +
    40                
     40
    4141                ?truncate +
    4242                ?close +

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

    ra35b458 rf1380b7  
    88                        }
    99                } +
    10                
     10
    1111                ?mount {
    1212                        [/uspace/lib/libfs/fnc.libfs_mount]
    1313                } +
    14                
     14
    1515                ?lookup {
    1616                        [/uspace/lib/libfs/fnc.libfs_lookup]
    1717                } +
    18                
     18
    1919                ?open_node {
    2020                        [/uspace/lib/libfs/fnc.libfs_open_node]
    2121                } +
    22                
     22
    2323                ?read {
    2424                        tentative {
    … …  
    2626                        }
    2727                } +
    28                
     28
    2929                ?write {
    3030                        tentative {
    … …  
    3232                        }
    3333                } +
    34                
     34
    3535                ?stat {
    3636                        [/uspace/lib/libfs/fnc.libfs_stat]
    3737                } +
    38                
     38
    3939                ?truncate +
    4040                ?close +

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

    ra35b458 rf1380b7  
    22                /* Callback connection */
    33                sysarg_t ipc_m_connect_to_me(void);
    4                
     4
    55                /* Yield hardware */
    66                sysarg_t yield(void);
    7                
     7
    88                /* Reclaim hardware */
    99                sysarg_t reclaim(void);

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

    ra35b458 rf1380b7  
    22                /* Set task pathname */
    33                sysarg_t set_pathname(in_copy string pathname);
    4                
     4
    55                /* Set task arguments */
    66                sysarg_t set_args(in_copy stream args);
    7                
     7
    88                /* Set task initial files */
    99                sysarg_t set_files(in_copy stream files);
    10                
     10
    1111                /* Get task ID */
    1212                sysarg_t get_taskid(out_copy stream id);
    13                
     13
    1414                /* Load binary */
    1515                sysarg_t load(void);
    16                
     16
    1717                /* Run binary */
    1818                sysarg_t run(void);

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

    ra35b458 rf1380b7  
    33                ?ipc_m_data_read /* task ID */
    44        } +
    5        
     5
    66        ?set_pathname {
    77                ?ipc_m_data_write /* pathname */
    88        } +
    9        
     9
    1010        ?set_args {
    1111                ?ipc_m_data_write /* arguments */
    1212        } +
    13        
     13
    1414        ?set_files {
    1515                ?ipc_m_data_write /* files */
    1616        } +
    17        
     17
    1818        ?load
    1919)* ;

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

    ra35b458 rf1380b7  
    22                /* Register a clonable service or a generic service */
    33                sysarg_t ipc_m_connect_to_me(in sysarg_t service);
    4                
     4
    55                /* Connect to a clonable service or a generic service */
    66                sysarg_t ipc_m_connect_me_to(in sysarg_t service, in sysarg_t arg2, in sysarg_t arg3, in sysarg_t flags);
    7                
     7
    88                /* Share real-time clock page or kio page */
    99                sysarg_t ipc_m_share_in(in sysarg_t as_area_base, in sysarg_t as_area_size, in sysarg_t service);
    10                
     10
    1111                /* For IPC testing purposes */
    1212                sysarg_t ping(void);
    13                
     13
    1414                /* Wait for task exit and get exit status and return value */
    1515                sysarg_t task_wait(in sysarg_t id_lower, in sysarg_t id_upper, out sysarg_t status, out sysarg_t retval);
    16                
     16
    1717                /* Introduce a new loader task id in such a way it cannot be spoofed */
    1818                sysarg_t id_intro(in sysarg_t id_lower, in sysarg_t id_upper);
    19                
     19
    2020                /* Set task return value */
    2121                sysarg_t retval(in sysarg_t retval);
    22                
     22
    2323                /* Implicit connection close */
    2424                sysarg_t ipc_m_phone_hungup(void);

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

    ra35b458 rf1380b7  
    88                }
    99        } +
    10        
     10
    1111        ?ipc_m_connect_me_to {
    1212                tentative {
    … …  
    1616                }
    1717        } +
    18        
     18
    1919        ?ipc_m_share_in +
    2020        ?ping +

  • contrib/arch/uspace/srv/ns/service.adl

    ra35b458 rf1380b7  
    33                   (this call is forwarded from Naming Service or Device Mapper) */
    44                sysarg_t ipc_m_connect_me_to(void);
    5                
     5
    66                /* Close connection */
    77                sysarg_t ipc_m_phone_hungup(void);

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

    ra35b458 rf1380b7  
    22                /* Register a filesystem driver */
    33                sysarg_t register(in_copy string name);
    4                
     4
    55                /* Mount filesystem */
    66                sysarg_t mount(in sysarg_t device, in sysarg_t flags, in sysarg_t instance, in_copy string point, in_copy string opts, in_copy string fs);
    7                
     7
    88                /* Open file */
    99                sysarg_t open(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, in_copy string path, out sysarg_t fd);
    10                
     10
    1111                /* Open file using node */
    1212                sysarg_t open_node(in sysarg_t fs_handle, in sysarg_t dev_handle, in sysarg_t index, in sysarg_t oflag, out sysarg_t fd);
    13                
     13
    1414                /* Read data from file */
    1515                sysarg_t read(in sysarg_t fd, out_copy stream data);
    16                
     16
    1717                /* Write data to file */
    1818                sysarg_t write(in sysarg_t fd, in_copy stream data);
    19                
     19
    2020                /* Seek in file */
    2121                sysarg_t seek(in sysarg_t fd, in sysarg_t offset, in sysarg_t whence);
    22                
     22
    2323                /* Truncate file */
    2424                sysarg_t truncate(in sysarg_t fd, in sysarg_t size);
    25                
     25
    2626                /* Get file metadata */
    2727                sysarg_t fstat(in sysarg_t fd, out_copy stream stat);
    28                
     28
    2929                /* Get directory entry metadata */
    3030                sysarg_t stat(in_copy string path, out_copy stream stat);
    31                
     31
    3232                /* Create directory */
    3333                sysarg_t mkdir(in sysarg_t mode, in_copy string path);
    34                
     34
    3535                /* Delete directory entry */
    3636                sysarg_t unlink(in sysarg_t lflag, in_copy string path);
    37                
     37
    3838                /* Rename directory entry */
    3939                sysarg_t rename(in_copy string old, in_copy string new);
    40                
     40
    4141                /* Flush file buffers */
    4242                sysarg_t sync(in sysarg_t fd);
    43                
     43
    4444                /* In-protocol status value */
    4545                sysarg_t ipc_m_ping(void);
    46                
     46
    4747                /* Close connection */
    4848                sysarg_t ipc_m_phone_hungup(void);
    … …  
    5454                /* Notify filesystem that it was mounted */
    5555                sysarg_t mounted(in sysarg_t dev_handle, in_copy string opts);
    56                
     56
    5757                /* Mount filesystem */
    5858                sysarg_t mount(in sysarg_t device, in sysarg_t flags, in sysarg_t instance, in_copy string point, in_copy string opts, ...);
    59                
     59
    6060                /* Open file by node */
    6161                sysarg_t open_node(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
    62                
     62
    6363                /* Lookup file */
    6464                sysarg_t lookup(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
    65                
     65
    6666                /* Read data from file */
    6767                sysarg_t read(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, out_copy stream data);
    68                
     68
    6969                /* Write data to file */
    7070                sysarg_t write(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, in_copy stream data);
    71                
     71
    7272                /* Truncate file */
    7373                sysarg_t truncate(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t size);
    74                
     74
    7575                /* Get directory entry metadata */
    7676                sysarg_t stat(in sysarg_t dev_handle, in sysarg_t fs_index, out_copy stream stat);
    77                
     77
    7878                /* Flush file buffers */
    7979                sysarg_t sync(in sysarg_t dev_handle, in sysarg_t fs_index);
    80                
     80
    8181                /* Notify on file close */
    8282                sysarg_t close(in sysarg_t dev_handle, in sysarg_t fs_index);
    … …  
    103103        inst fat fat;
    104104        inst devfs devfs;
    105        
     105
    106106        bind io_dispatcher:tmpfs to tmpfs:tmpfs;
    107107        bind io_dispatcher:fat to fat:fat;
    108108        bind io_dispatcher:devfs to devfs:devfs;
    109        
     109
    110110        bind tmpfs:vfs to io_dispatcher:vfs;
    111111        bind fat:vfs to io_dispatcher:vfs;
    112112        bind devfs:vfs to io_dispatcher:vfs;
    113        
     113
    114114        bind tmpfs:tmpfs_nested to tmpfs:tmpfs;
    115115        bind tmpfs:fat_nested to fat:fat;
    116116        bind tmpfs:devfs_nested to devfs:devfs;
    117        
     117
    118118        bind fat:tmpfs_nested to tmpfs:tmpfs;
    119119        bind fat:fat_nested to fat:fat;
    120120        bind fat:devfs_nested to devfs:devfs;
    121        
     121
    122122        delegate vfs to io_dispatcher:vfs;
    123        
     123
    124124        [/uspace/lib/libc/subsume%io_dispatcher]
    125125        [/uspace/lib/libc/subsume%tmpfs]
    126126        [/uspace/lib/libc/subsume%fat]
    127127        [/uspace/lib/libc/subsume%devfs]
    128        
     128
    129129        subsume io_dispatcher:ns to ns;
    130130        subsume tmpfs:ns to ns;
    131131        subsume fat:ns to ns;
    132132        subsume devfs:ns to ns;
    133        
     133
    134134        subsume tmpfs:rd to rd;
    135135        subsume fat:rd to rd;
    136        
     136
    137137        subsume devfs:devmap_client to devmap_client;
    138138        subsume devfs:device to device;

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

    ra35b458 rf1380b7  
    99                }
    1010        } +
    11        
     11
    1212        ?mount {
    1313                ?ipc_m_data_write /* mount point */ ;
    … …  
    5151                }
    5252        } +
    53        
     53
    5454        ?open {
    5555                tentative {
    … …  
    6767                }
    6868        } +
    69        
     69
    7070        ?open_node {
    7171                alternative (fs; tmpfs; fat; devfs) {
    … …  
    7878                }
    7979        } +
    80        
     80
    8181        ?close {
    8282                tentative {
    … …  
    8888                }
    8989        } +
    90        
     90
    9191        ?read {
    9292                tentative {
    … …  
    102102                }
    103103        } +
    104        
     104
    105105        ?write {
    106106                tentative {
    … …  
    116116                }
    117117        } +
    118        
     118
    119119        ?truncate {
    120120                tentative {
    … …  
    126126                }
    127127        } +
    128        
     128
    129129        ?fstat {
    130130                tentative {
    … …  
    140140                }
    141141        } +
    142        
     142
    143143        ?stat {
    144144                ?ipc_m_data_write /* path */ ;
    … …  
    156156                }
    157157        } +
    158        
     158
    159159        ?mkdir {
    160160                ?ipc_m_data_write /* path */ ;
    … …  
    165165                }
    166166        } +
    167        
     167
    168168        ?unlink {
    169169                ?ipc_m_data_write /* path */ ;
    … …  
    174174                }
    175175        } +
    176        
     176
    177177        ?rename {
    178178                ?ipc_m_data_write /* old path */ ;
    … …  
    198198                }
    199199        } +
    200        
     200
    201201        ?sync {
    202202                tentative {
    … …  
    206206                }
    207207        } +
    208        
     208
    209209        ?seek
    210        
     210
    211211)* ;
    212212?ipc_m_phone_hungup
Note: See TracChangeset for help on using the changeset viewer.