Changeset 96b02eb9 in mainline for contrib/arch/uspace


Ignore:
Timestamp:
2010-12-14T12:52:38Z (15 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
6b10dab
Parents:
554debd
Message:

more unification of basic types

  • use sysarg_t and native_t (unsigned and signed variant) in both kernel and uspace
  • remove ipcarg_t in favour of sysarg_t

(no change in functionality)

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

Legend:

Unmodified
Added
Removed

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

    r554debd r96b02eb9  
    11interface bd extends service {
    22                /* Share out data buffer */
    3                 ipcarg_t ipc_m_share_out(in ipcarg_t as_area_base, in ipcarg_t as_area_size, in ipcarg_t flags, out ipcarg_t dst_as_area_base);
     3                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);
    44               
    55                /* Get block size */
    6                 ipcarg_t get_block_size(out ipcarg_t block_size);
     6                sysarg_t get_block_size(out sysarg_t block_size);
    77               
    88                /* Read blocks via shared data buffer */
    9                 ipcarg_t read_blocks(in ipcarg_t index_lower, in ipcarg_t index_upper, in ipcarg_t count);
     9                sysarg_t read_blocks(in sysarg_t index_lower, in sysarg_t index_upper, in sysarg_t count);
    1010               
    1111                /* Write blocks via shared data buffer */
    12                 ipcarg_t write_blocks(in ipcarg_t index_lower, in ipcarg_t index_upper, in ipcarg_t count);
     12                sysarg_t write_blocks(in sysarg_t index_lower, in sysarg_t index_upper, in sysarg_t count);
    1313        protocol:
    1414                [bd.bp]

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

    r554debd r96b02eb9  
    11interface console extends service {
    22                /* Read characters from console */
    3                 ipcarg_t read(out_copy stream data);
     3                sysarg_t read(out_copy stream data);
    44               
    55                /* Write characters to console */
    6                 ipcarg_t write(in_copy stream data);
     6                sysarg_t write(in_copy stream data);
    77               
    88                /* Get last event from event queue */
    9                 ipcarg_t get_event(out ipcarg_t type, out ipcarg_t key, out ipcarg_t mods, out ipcarg_t char);
     9                sysarg_t get_event(out sysarg_t type, out sysarg_t key, out sysarg_t mods, out sysarg_t char);
    1010               
    1111                /* Flush output buffer */
    12                 ipcarg_t sync(void);
     12                sysarg_t sync(void);
    1313               
    1414                /* Clear console */
    15                 ipcarg_t clear(void);
     15                sysarg_t clear(void);
    1616               
    1717                /* Move cursor to given position */
    18                 ipcarg_t goto(in ipcarg_t col, in ipcarg_t row);
     18                sysarg_t goto(in sysarg_t col, in sysarg_t row);
    1919               
    2020                /* Get console dimensions (in character cells) */
    21                 ipcarg_t get_size(out ipcarg_t cols, in ipcarg_t rows);
     21                sysarg_t get_size(out sysarg_t cols, in sysarg_t rows);
    2222               
    2323                /* Get color capabilities */
    24                 ipcarg_t get_color_cap(void);
     24                sysarg_t get_color_cap(void);
    2525               
    2626                /* Set abstract text style */
    27                 ipcarg_t set_style(in ipcarg_t style);
     27                sysarg_t set_style(in sysarg_t style);
    2828               
    2929                /* Set EGA-based text color */
    30                 ipcarg_t set_color(in ipcarg_t fb_color, in ipcarg_t bg_color, in ipcarg_t attr);
     30                sysarg_t set_color(in sysarg_t fb_color, in sysarg_t bg_color, in sysarg_t attr);
    3131               
    3232                /* Set RGB-based text color */
    33                 ipcarg_t set_rgb_color(in ipcarg_t fb_color, in ipcarg_t bg_color);
     33                sysarg_t set_rgb_color(in sysarg_t fb_color, in sysarg_t bg_color);
    3434               
    3535                /* Set cursor visibility */
    36                 ipcarg_t cursor_visibility(in ipcarg_t visible);
     36                sysarg_t cursor_visibility(in sysarg_t visible);
    3737               
    3838                /* Switch to kernel debugging console (if available) */
    39                 ipcarg_t kcon_enable(void);
     39                sysarg_t kcon_enable(void);
    4040        protocol:
    4141                [console.bp]

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

    r554debd r96b02eb9  
    11interface devmap_driver {
    22                /* Establish connection (iface is DEVMAP_DRIVER) */
    3                 ipcarg_t ipc_m_connect_me_to(in ipcarg_t iface);
     3                sysarg_t ipc_m_connect_me_to(in sysarg_t iface);
    44               
    55                /* Register as a new driver */
    6                 ipcarg_t driver_register(in_copy string name);
     6                sysarg_t driver_register(in_copy string name);
    77               
    88                /* Unregister all devices and the driver itself */
    9                 ipcarg_t driver_unregister(void);
     9                sysarg_t driver_unregister(void);
    1010               
    1111                /* Register new device and return handle */
    12                 ipcarg_t device_register(in_copy string name, out ipcarg_t handle);
     12                sysarg_t device_register(in_copy string name, out sysarg_t handle);
    1313               
    1414                /* Unregister device */
    15                 ipcarg_t device_unregister(in ipcarg_t handle);
     15                sysarg_t device_unregister(in sysarg_t handle);
    1616               
    1717                /* Resolve device name to handle */
    18                 ipcarg_t device_get_handle(in ipcarg_t flags, in_copy string name);
     18                sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
    1919               
    2020                /* Get device name for a given handle */
    21                 ipcarg_t device_get_name(in ipcarg_t handle);
     21                sysarg_t device_get_name(in sysarg_t handle);
    2222               
    2323                /* Close connection */
    24                 ipcarg_t ipc_m_phone_hungup(void);
     24                sysarg_t ipc_m_phone_hungup(void);
    2525        protocol:
    2626                [devmap_driver.bp]
    … …  
    2929interface devmap_client {
    3030                /* Establish connection (iface is DEVMAP_CLIENT) or forward to device (iface is DEVMAP_CONNECT_TO_DEVICE) */
    31                 ipcarg_t ipc_m_connect_me_to(in ipcarg_t iface, in ipcarg_t handle);
     31                sysarg_t ipc_m_connect_me_to(in sysarg_t iface, in sysarg_t handle);
    3232               
    3333                /* Resolve device name to handle */
    34                 ipcarg_t device_get_handle(in ipcarg_t flags, in_copy string name);
     34                sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
    3535               
    3636                /* Get device name for a given handle */
    37                 ipcarg_t device_get_name(in ipcarg_t handle);
     37                sysarg_t device_get_name(in sysarg_t handle);
    3838               
    3939                /* Clone NULL device */
    40                 ipcarg_t device_null_create(out ipcarg_t index);
     40                sysarg_t device_null_create(out sysarg_t index);
    4141               
    4242                /* Destroy NULL device */
    43                 ipcarg_t device_null_destroy(in ipcarg_t index);
     43                sysarg_t device_null_destroy(in sysarg_t index);
    4444               
    4545                /* Get number of devices */
    46                 ipcarg_t device_get_count(out ipcarg_t count);
     46                sysarg_t device_get_count(out sysarg_t count);
    4747               
    4848                /* Get an array of (device_name, handle) pairs */
    49                 ipcarg_t device_get_devices(out_copy stream data);
     49                sysarg_t device_get_devices(out_copy stream data);
    5050               
    5151                /* Close connection */
    52                 ipcarg_t ipc_m_phone_hungup(void);
     52                sysarg_t ipc_m_phone_hungup(void);
    5353        protocol:
    5454                [devmap_client.bp]

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

    r554debd r96b02eb9  
    11interface fb extends service {
    22                /* Get screen resolution */
    3                 ipcarg_t get_resolution(out ipcarg_t width, out ipcarg_t height);
     3                sysarg_t get_resolution(out sysarg_t width, out sysarg_t height);
    44               
    55                /* Yield screen */
    6                 ipcarg_t screen_yield(void);
     6                sysarg_t screen_yield(void);
    77               
    88                /* Reclaim screen */
    9                 ipcarg_t screen_reclaim(void);
     9                sysarg_t screen_reclaim(void);
    1010               
    1111                /* Set mouse cursor position on screen */
    12                 ipcarg_t pointer_move(in ipcarg_t x, in ipcarg_t y);
     12                sysarg_t pointer_move(in sysarg_t x, in sysarg_t y);
    1313               
    1414                /* Create new viewport */
    15                 ipcarg_t viewport_create(in ipcarg_t origin, in ipcarg_t dimension);
     15                sysarg_t viewport_create(in sysarg_t origin, in sysarg_t dimension);
    1616               
    1717                /* Get viewport size in character cells */
    18                 ipcarg_t get_csize(out ipcarg_t width, out ipcarg_t height);
     18                sysarg_t get_csize(out sysarg_t width, out sysarg_t height);
    1919               
    2020                /* Clear viewport character buffer */
    21                 ipcarg_t clear(void);
     21                sysarg_t clear(void);
    2222               
    2323                /* Scroll viewport character buffer */
    24                 ipcarg_t scroll(in ipcarg_t lines);
     24                sysarg_t scroll(in sysarg_t lines);
    2525               
    2626                /* Set active viewport */
    27                 ipcarg_t viewport_switch(in ipcarg_t index);
     27                sysarg_t viewport_switch(in sysarg_t index);
    2828               
    2929                /* Delete viewport */
    30                 ipcarg_t viewport_delete(in ipcarg_t index);
     30                sysarg_t viewport_delete(in sysarg_t index);
    3131               
    3232                /* Get color capabilities of the screen */
    33                 ipcarg_t get_color_cap(void);
     33                sysarg_t get_color_cap(void);
    3434               
    3535                /* Set abstract text style */
    36                 ipcarg_t set_style(in ipcarg_t style);
     36                sysarg_t set_style(in sysarg_t style);
    3737               
    3838                /* Set EGA-based text color */
    39                 ipcarg_t set_color(in ipcarg_t fg_color, in ipcarg_t bg_color, in ipcarg_t atrr);
     39                sysarg_t set_color(in sysarg_t fg_color, in sysarg_t bg_color, in sysarg_t atrr);
    4040               
    4141                /* Set RGB-based text color */
    42                 ipcarg_t set_rgb_color(in ipcarg_t fg_color, in ipcarg_t bg_color);
     42                sysarg_t set_rgb_color(in sysarg_t fg_color, in sysarg_t bg_color);
    4343               
    4444                /* Put a character to a given position in viewport character buffer */
    45                 ipcarg_t putchar(in ipcarg_t char, in ipcarg_t col, in ipcarg_t row);
     45                sysarg_t putchar(in sysarg_t char, in sysarg_t col, in sysarg_t row);
    4646               
    4747                /* Set character cursor visibility in viewport */
    48                 ipcarg_t cursor_visibility(in ipcarg_t visible);
     48                sysarg_t cursor_visibility(in sysarg_t visible);
    4949               
    5050                /* Set character cursor position in viewport */
    51                 ipcarg_t cursor_goto(in ipcarg_t col, in ipcarg_t row);
     51                sysarg_t cursor_goto(in sysarg_t col, in sysarg_t row);
    5252               
    5353                /* Prepare memory sharing of bitmaps */
    54                 ipcarg_t prepare_shm(in ipcarg_t as_area_base);
     54                sysarg_t prepare_shm(in sysarg_t as_area_base);
    5555               
    5656                /* Share bitmap or text data */
    57                 ipcarg_t ipc_m_share_out(in ipcarg_t as_area_base, in ipcarg_t as_area_size, out ipcarg_t dst_as_area);
     57                sysarg_t ipc_m_share_out(in sysarg_t as_area_base, in sysarg_t as_area_size, out sysarg_t dst_as_area);
    5858               
    5959                /* Drop memory sharing */
    60                 ipcarg_t drop_shm(void);
     60                sysarg_t drop_shm(void);
    6161               
    6262                /* Draw PPM data from shared memory to viewport */
    63                 ipcarg_t draw_ppm(in ipcarg_t x, in ipcarg_t y);
     63                sysarg_t draw_ppm(in sysarg_t x, in sysarg_t y);
    6464               
    6565                /* Put characters from shared memory to viewport */
    66                 ipcarg_t draw_text_data(in ipcarg_t x, in ipcarg_t y, in ipcarg_t width, in ipcarg_t height);
     66                sysarg_t draw_text_data(in sysarg_t x, in sysarg_t y, in sysarg_t width, in sysarg_t height);
    6767               
    6868                /* Convert PPM data from shared memory to pixmap */
    69                 ipcarg_t shm2pixmap(void);
     69                sysarg_t shm2pixmap(void);
    7070               
    7171                /* Save viewport contents to a pixmap */
    72                 ipcarg_t vp2pixmap(in ipcarg_t vp_index);
     72                sysarg_t vp2pixmap(in sysarg_t vp_index);
    7373               
    7474                /* Draw pixmap to viewport */
    75                 ipcarg_t vp_draw_pixmap(in ipcarg_t vp_index, in ipcarg_t pm_index);
     75                sysarg_t vp_draw_pixmap(in sysarg_t vp_index, in sysarg_t pm_index);
    7676               
    7777                /* Discard pixmap */
    78                 ipcarg_t drop_pixmap(in ipcarg_t pm_index);
     78                sysarg_t drop_pixmap(in sysarg_t pm_index);
    7979               
    8080                /* Create new (empty) animation for a viewport */
    81                 ipcarg_t anim_create(in ipcarg_t vp_index);
     81                sysarg_t anim_create(in sysarg_t vp_index);
    8282               
    8383                /* Append a pixmap to an animation */
    84                 ipcarg_t anim_addpixmap(in ipcarg_t anim_index, in ipcarg_t pm_index);
     84                sysarg_t anim_addpixmap(in sysarg_t anim_index, in sysarg_t pm_index);
    8585               
    8686                /* Change a viewport associated with an animation */
    87                 ipcarg_t anim_chgvp(in ipcarg_t anim_index, in ipcarg_t vp_index);
     87                sysarg_t anim_chgvp(in sysarg_t anim_index, in sysarg_t vp_index);
    8888               
    8989                /* Start animation playback */
    90                 ipcarg_t anim_start(in ipcarg_t anim_index);
     90                sysarg_t anim_start(in sysarg_t anim_index);
    9191               
    9292                /* Stop animation playback */
    93                 ipcarg_t anim_stop(in ipcarg_t anim_index);
     93                sysarg_t anim_stop(in sysarg_t anim_index);
    9494               
    9595                /* Delete animation */
    96                 ipcarg_t anim_drop(in ipcarg_t anim_index);
     96                sysarg_t anim_drop(in sysarg_t anim_index);
    9797        protocol:
    9898                [fb.bp]

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

    r554debd r96b02eb9  
    11interface kbd extends service {
    22                /* Callback connection */
    3                 ipcarg_t ipc_m_connect_to_me(void);
     3                sysarg_t ipc_m_connect_to_me(void);
    44               
    55                /* Yield hardware */
    6                 ipcarg_t yield(void);
     6                sysarg_t yield(void);
    77               
    88                /* Reclaim hardware */
    9                 ipcarg_t reclaim(void);
     9                sysarg_t reclaim(void);
    1010        protocol:
    1111                [kbd.bp]
    … …  
    1414interface event {
    1515                /* Send keyboard event */
    16                 ipcarg_t event(in ipcarg_t type, in ipcarg_t key, in ipcarg_t mods, in ipcarg_t char);
     16                sysarg_t event(in sysarg_t type, in sysarg_t key, in sysarg_t mods, in sysarg_t char);
    1717        protocol:
    1818                [event.bp]

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

    r554debd r96b02eb9  
    11interface loader extends service {
    22                /* Set task pathname */
    3                 ipcarg_t set_pathname(in_copy string pathname);
     3                sysarg_t set_pathname(in_copy string pathname);
    44               
    55                /* Set task arguments */
    6                 ipcarg_t set_args(in_copy stream args);
     6                sysarg_t set_args(in_copy stream args);
    77               
    88                /* Set task initial files */
    9                 ipcarg_t set_files(in_copy stream files);
     9                sysarg_t set_files(in_copy stream files);
    1010               
    1111                /* Get task ID */
    12                 ipcarg_t get_taskid(out_copy stream id);
     12                sysarg_t get_taskid(out_copy stream id);
    1313               
    1414                /* Load binary */
    15                 ipcarg_t load(void);
     15                sysarg_t load(void);
    1616               
    1717                /* Run binary */
    18                 ipcarg_t run(void);
     18                sysarg_t run(void);
    1919        protocol:
    2020                [loader.bp]

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

    r554debd r96b02eb9  
    11interface ns {
    22                /* Register a clonable service or a generic service */
    3                 ipcarg_t ipc_m_connect_to_me(in ipcarg_t service);
     3                sysarg_t ipc_m_connect_to_me(in sysarg_t service);
    44               
    55                /* Connect to a clonable service or a generic service */
    6                 ipcarg_t ipc_m_connect_me_to(in ipcarg_t service, in ipcarg_t arg2, in ipcarg_t arg3, in ipcarg_t flags);
     6                sysarg_t ipc_m_connect_me_to(in sysarg_t service, in sysarg_t arg2, in sysarg_t arg3, in sysarg_t flags);
    77               
    88                /* Share real-time clock page or klog page */
    9                 ipcarg_t ipc_m_share_in(in ipcarg_t as_area_base, in ipcarg_t as_area_size, in ipcarg_t service);
     9                sysarg_t ipc_m_share_in(in sysarg_t as_area_base, in sysarg_t as_area_size, in sysarg_t service);
    1010               
    1111                /* For IPC testing purposes */
    12                 ipcarg_t ping(void);
     12                sysarg_t ping(void);
    1313               
    1414                /* Wait for task exit and get exit status and return value */
    15                 ipcarg_t task_wait(in ipcarg_t id_lower, in ipcarg_t id_upper, out ipcarg_t status, out ipcarg_t retval);
     15                sysarg_t task_wait(in sysarg_t id_lower, in sysarg_t id_upper, out sysarg_t status, out sysarg_t retval);
    1616               
    1717                /* Introduce a new loader task id in such a way it cannot be spoofed */
    18                 ipcarg_t id_intro(in ipcarg_t id_lower, in ipcarg_t id_upper);
     18                sysarg_t id_intro(in sysarg_t id_lower, in sysarg_t id_upper);
    1919               
    2020                /* Set task return value */
    21                 ipcarg_t retval(in ipcarg_t retval);
     21                sysarg_t retval(in sysarg_t retval);
    2222               
    2323                /* Implicit connection close */
    24                 ipcarg_t ipc_m_phone_hungup(void);
     24                sysarg_t ipc_m_phone_hungup(void);
    2525        protocol:
    2626                [ns.bp]

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

    r554debd r96b02eb9  
    22                /* Establish connection with the service
    33                   (this call is forwarded from Naming Service or Device Mapper) */
    4                 ipcarg_t ipc_m_connect_me_to(void);
     4                sysarg_t ipc_m_connect_me_to(void);
    55               
    66                /* Close connection */
    7                 ipcarg_t ipc_m_phone_hungup(void);
     7                sysarg_t ipc_m_phone_hungup(void);
    88};

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

    r554debd r96b02eb9  
    11interface vfs extends service {
    22                /* Register a filesystem driver */
    3                 ipcarg_t register(in_copy string name);
     3                sysarg_t register(in_copy string name);
    44               
    55                /* Mount filesystem */
    6                 ipcarg_t mount(in ipcarg_t device, in ipcarg_t flags, in_copy string point, in_copy string opts, in_copy string fs);
     6                sysarg_t mount(in sysarg_t device, in sysarg_t flags, in_copy string point, in_copy string opts, in_copy string fs);
    77               
    88                /* Open file */
    9                 ipcarg_t open(in ipcarg_t lflag, in ipcarg_t oflag, in ipcarg_t mode, in_copy string path, out ipcarg_t fd);
     9                sysarg_t open(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, in_copy string path, out sysarg_t fd);
    1010               
    1111                /* Open file using node */
    12                 ipcarg_t open_node(in ipcarg_t fs_handle, in ipcarg_t dev_handle, in ipcarg_t index, in ipcarg_t oflag, out ipcarg_t fd);
     12                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);
    1313               
    1414                /* Read data from file */
    15                 ipcarg_t read(in ipcarg_t fd, out_copy stream data);
     15                sysarg_t read(in sysarg_t fd, out_copy stream data);
    1616               
    1717                /* Write data to file */
    18                 ipcarg_t write(in ipcarg_t fd, in_copy stream data);
     18                sysarg_t write(in sysarg_t fd, in_copy stream data);
    1919               
    2020                /* Seek in file */
    21                 ipcarg_t seek(in ipcarg_t fd, in ipcarg_t offset, in ipcarg_t whence);
     21                sysarg_t seek(in sysarg_t fd, in sysarg_t offset, in sysarg_t whence);
    2222               
    2323                /* Truncate file */
    24                 ipcarg_t truncate(in ipcarg_t fd, in ipcarg_t size);
     24                sysarg_t truncate(in sysarg_t fd, in sysarg_t size);
    2525               
    2626                /* Get file metadata */
    27                 ipcarg_t fstat(in ipcarg_t fd, out_copy stream stat);
     27                sysarg_t fstat(in sysarg_t fd, out_copy stream stat);
    2828               
    2929                /* Get directory entry metadata */
    30                 ipcarg_t stat(in_copy string path, out_copy stream stat);
     30                sysarg_t stat(in_copy string path, out_copy stream stat);
    3131               
    3232                /* Create directory */
    33                 ipcarg_t mkdir(in ipcarg_t mode, in_copy string path);
     33                sysarg_t mkdir(in sysarg_t mode, in_copy string path);
    3434               
    3535                /* Delete directory entry */
    36                 ipcarg_t unlink(in ipcarg_t lflag, in_copy string path);
     36                sysarg_t unlink(in sysarg_t lflag, in_copy string path);
    3737               
    3838                /* Rename directory entry */
    39                 ipcarg_t rename(in_copy string old, in_copy string new);
     39                sysarg_t rename(in_copy string old, in_copy string new);
    4040               
    4141                /* Flush file buffers */
    42                 ipcarg_t sync(in ipcarg_t fd);
     42                sysarg_t sync(in sysarg_t fd);
    4343               
    4444                /* In-protocol status value */
    45                 ipcarg_t ipc_m_ping(void);
     45                sysarg_t ipc_m_ping(void);
    4646               
    4747                /* Close connection */
    48                 ipcarg_t ipc_m_phone_hungup(void);
     48                sysarg_t ipc_m_phone_hungup(void);
    4949        protocol:
    5050                [vfs.bp]
    … …  
    5353interface fs extends service {
    5454                /* Notify filesystem that it was mounted */
    55                 ipcarg_t mounted(in ipcarg_t dev_handle, in_copy string opts);
     55                sysarg_t mounted(in sysarg_t dev_handle, in_copy string opts);
    5656               
    5757                /* Mount filesystem */
    58                 ipcarg_t mount(in ipcarg_t device, in ipcarg_t flags, in_copy string point, in_copy string opts, ...);
     58                sysarg_t mount(in sysarg_t device, in sysarg_t flags, in_copy string point, in_copy string opts, ...);
    5959               
    6060                /* Open file by node */
    61                 ipcarg_t open_node(in ipcarg_t lflag, in ipcarg_t oflag, in ipcarg_t mode, ...);
     61                sysarg_t open_node(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
    6262               
    6363                /* Lookup file */
    64                 ipcarg_t lookup(in ipcarg_t lflag, in ipcarg_t oflag, in ipcarg_t mode, ...);
     64                sysarg_t lookup(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
    6565               
    6666                /* Read data from file */
    67                 ipcarg_t read(in ipcarg_t dev_handle, in ipcarg_t fs_index, in ipcarg_t offset, out_copy stream data);
     67                sysarg_t read(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, out_copy stream data);
    6868               
    6969                /* Write data to file */
    70                 ipcarg_t write(in ipcarg_t dev_handle, in ipcarg_t fs_index, in ipcarg_t offset, in_copy stream data);
     70                sysarg_t write(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, in_copy stream data);
    7171               
    7272                /* Truncate file */
    73                 ipcarg_t truncate(in ipcarg_t dev_handle, in ipcarg_t fs_index, in ipcarg_t size);
     73                sysarg_t truncate(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t size);
    7474               
    7575                /* Get directory entry metadata */
    76                 ipcarg_t stat(in ipcarg_t dev_handle, in ipcarg_t fs_index, out_copy stream stat);
     76                sysarg_t stat(in sysarg_t dev_handle, in sysarg_t fs_index, out_copy stream stat);
    7777               
    7878                /* Flush file buffers */
    79                 ipcarg_t sync(in ipcarg_t dev_handle, in ipcarg_t fs_index);
     79                sysarg_t sync(in sysarg_t dev_handle, in sysarg_t fs_index);
    8080               
    8181                /* Notify on file close */
    82                 ipcarg_t close(in ipcarg_t dev_handle, in ipcarg_t fs_index);
     82                sysarg_t close(in sysarg_t dev_handle, in sysarg_t fs_index);
    8383};
    8484
Note: See TracChangeset for help on using the changeset viewer.