Changeset 96b02eb9 in mainline for contrib


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
Files:
12 edited

Legend:

Unmodified
Added
Removed

  • contrib/arch/hadlbppp.py

    r554debd r96b02eb9  
    11511151                                        continue
    11521152                               
    1153                                 if ((token == "ipcarg_t") or (token == "unative_t")):
     1153                                if (token == "sysarg_t"):
    11541154                                        output += "\n%s%s " % (tabs(indent), token)
    11551155                                        context.add(PROTOTYPE)

  • contrib/arch/kernel/kernel.adl

    r554debd r96b02eb9  
    55interface sys_klog {
    66                /* Print using kernel facility */
    7                 unative_t sys_klog(int fd, const void *buf, size_t size);
     7                sysarg_t sys_klog(int fd, const void *buf, size_t size);
    88        protocol:
    99                ?sys_klog*
    … …  
    1212interface sys_console {
    1313                /* Enable kernel console */
    14                 unative_t sys_debug_enable_console(void);
     14                sysarg_t sys_debug_enable_console(void);
    1515               
    1616                /* Disable kernel console */
    17                 unative_t sys_debug_disable_console(void);
     17                sysarg_t sys_debug_disable_console(void);
    1818        protocol:
    1919                (
    … …  
    2525interface sys_tls {
    2626                /* Set thread-local storage pointer (on architectures where kernel mode is required) */
    27                 unative_t sys_tls_set(unative_t addr);
     27                sysarg_t sys_tls_set(sysarg_t addr);
    2828        protocol:
    2929                ?sys_tls_set*
    … …  
    3232interface sys_thread {
    3333                /* Create new thread */
    34                 unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
     34                sysarg_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
    3535               
    3636                /* Terminate current thread */
    37                 unative_t sys_thread_exit(int uspace_status);
     37                sysarg_t sys_thread_exit(int uspace_status);
    3838               
    3939                /* Get current thread id */
    40                 unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
     40                sysarg_t sys_thread_get_id(thread_id_t *uspace_thread_id);
    4141        protocol:
    4242                (
    … …  
    4949interface sys_task {
    5050                /* Set name fo the current task */
    51                 unative_t sys_task_set_name(const char *uspace_name, size_t name_len);
     51                sysarg_t sys_task_set_name(const char *uspace_name, size_t name_len);
    5252               
    5353                /* Get current task id */
    54                 unative_t sys_task_get_id(task_id_t *uspace_task_id);
     54                sysarg_t sys_task_get_id(task_id_t *uspace_task_id);
    5555        protocol:
    5656                (
    … …  
    6262interface sys_program {
    6363                /* Spawn a new instance of clonable loader service */
    64                 unative_t sys_program_spawn_loader(char *uspace_name, size_t name_len);
     64                sysarg_t sys_program_spawn_loader(char *uspace_name, size_t name_len);
    6565        protocol:
    6666                ?sys_program_spawn_loader*
    … …  
    6969interface sys_futex {
    7070                /* Sleep in a futex wait queue */
    71                 unative_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
     71                sysarg_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
    7272               
    7373                /* Wakeup one thread waiting in futex wait queue */
    74                 unative_t sys_futex_wakeup(uintptr_t uaddr);
     74                sysarg_t sys_futex_wakeup(uintptr_t uaddr);
    7575        protocol:
    7676                (
    … …  
    8282interface sys_smc {
    8383                /* Enforce self-modifying code cache coherency */
    84                 unative_t sys_smc_coherence(uintptr_t va, size_t size);
     84                sysarg_t sys_smc_coherence(uintptr_t va, size_t size);
    8585        protocol:
    8686                ?sys_smc_coherence*
    … …  
    8989interface sys_as {
    9090                /* Create new address space area */
    91                 unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
     91                sysarg_t sys_as_area_create(uintptr_t address, size_t size, int flags);
    9292               
    9393                /* Resize an address space area */
    94                 unative_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
     94                sysarg_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
    9595               
    9696                /* Change flags of an address space area */
    97                 unative_t sys_as_area_change_flags(uintptr_t address, int flags);
     97                sysarg_t sys_as_area_change_flags(uintptr_t address, int flags);
    9898               
    9999                /* Destroy an address space area */
    100                 unative_t sys_as_area_destroy(uintptr_t address);
     100                sysarg_t sys_as_area_destroy(uintptr_t address);
    101101        protocol:
    102102                (
    … …  
    110110interface sys_ipc {
    111111                /* Fast synchronous IPC call */
    112                 unative_t sys_ipc_call_sync_fast(unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, unative_t arg3, ipc_data_t *data);
     112                sysarg_t sys_ipc_call_sync_fast(sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, ipc_data_t *data);
    113113               
    114114                /* Slow synchronous IPC call */
    115                 unative_t sys_ipc_call_sync_slow(unative_t phoneid, ipc_data_t *question, ipc_data_t *answer);
     115                sysarg_t sys_ipc_call_sync_slow(sysarg_t phoneid, ipc_data_t *question, ipc_data_t *answer);
    116116               
    117117                /* Fast asynchronous IPC call */
    118                 unative_t sys_ipc_call_async_fast(unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, unative_t arg3, unative_t arg4);
     118                sysarg_t sys_ipc_call_async_fast(sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
    119119               
    120120                /* Slow asynchronous IPC call */
    121                 unative_t sys_ipc_call_async_slow(unative_t phoneid, ipc_data_t *data);
     121                sysarg_t sys_ipc_call_async_slow(sysarg_t phoneid, ipc_data_t *data);
    122122               
    123123                /* Fast forward a received IPC call to another destination */
    124                 unative_t sys_ipc_forward_fast(unative_t callid, unative_t phoneid, unative_t method, unative_t arg1, unative_t arg2, int mode);
     124                sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
    125125               
    126126                /* Slow forward a received IPC call to another destination */
    127                 unative_t sys_ipc_forward_slow(unative_t callid, unative_t phoneid, ipc_data_t *data, int mode);
     127                sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid, ipc_data_t *data, int mode);
    128128               
    129129                /* Fast answer an IPC call */
    130                 unative_t sys_ipc_answer_fast(unative_t callid, unative_t retval, unative_t arg1, unative_t arg2, unative_t arg3, unative_t arg4);
     130                sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
    131131               
    132132                /* Slow answer an IPC call */
    133                 unative_t sys_ipc_answer_slow(unative_t callid, ipc_data_t *data);
     133                sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
    134134               
    135135                /* Hang up a phone */
    136                 unative_t sys_ipc_hangup(int phoneid);
     136                sysarg_t sys_ipc_hangup(int phoneid);
    137137               
    138138                /* Wait for an incoming IPC call or answer */
    139                 unative_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
     139                sysarg_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
    140140               
    141141                /* Interrupt one thread of the current task from waiting on IPC call */
    142                 unative_t sys_ipc_poke(void);
     142                sysarg_t sys_ipc_poke(void);
    143143        protocol:
    144144                (
    … …  
    159159interface sys_event {
    160160                /* Subscribe to kernel event notifications */
    161                 unative_t sys_event_subscribe(unative_t evno, unative_t method);
     161                sysarg_t sys_event_subscribe(sysarg_t evno, sysarg_t method);
    162162        protocol:
    163163                ?sys_event_subscribe*
    … …  
    166166interface sys_cap {
    167167                /* Grant capabilities to a task */
    168                 unative_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
     168                sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
    169169               
    170170                /* Revoke capabilities from a task */
    171                 unative_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
     171                sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
    172172        protocol:
    173173                (
    … …  
    179179interface sys_ddi {
    180180                /* Enable access I/O address space for the current task */
    181                 unative_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
     181                sysarg_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
    182182               
    183183                /* Map physical memory to the current task's address space */
    184                 unative_t sys_physmem_map(unative_t phys_base, unative_t virt_base, unative_t pages, unative_t flags);
     184                sysarg_t sys_physmem_map(sysarg_t phys_base, sysarg_t virt_base, sysarg_t pages, sysarg_t flags);
    185185               
    186186                /* Enable or disable preemption */
    187                 unative_t sys_preempt_control(int enable);
     187                sysarg_t sys_preempt_control(int enable);
    188188               
    189189                /* Assign unique device number */
    190                 unative_t sys_device_assign_devno(void);
     190                sysarg_t sys_device_assign_devno(void);
    191191               
    192192                /* Connect an IRQ handler to the current task */
    193                 unative_t sys_ipc_register_irq(inr_t inr, devno_t devno, unative_t method, irq_code_t *ucode);
     193                sysarg_t sys_ipc_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
    194194               
    195195                /* Disconnect an IRQ handler from the current task */
    196                 unative_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
     196                sysarg_t sys_ipc_unregister_irq(inr_t inr, devno_t devno);
    197197        protocol:
    198198                (
    … …  
    208208interface sys_sysinfo {
    209209                /* Check for sysinfo key validity */
    210                 unative_t sys_sysinfo_valid(unative_t ptr, unative_t len);
     210                sysarg_t sys_sysinfo_valid(sysarg_t ptr, sysarg_t len);
    211211               
    212212                /* Get sysinfo key value */
    213                 unative_t sys_sysinfo_value(unatice_t ptr, unative_t len);
     213                sysarg_t sys_sysinfo_value(unatice_t ptr, sysarg_t len);
    214214        protocol:
    215215                (
    … …  
    221221interface sys_debug {
    222222                /* Connect to the kernel debugging answerbox of a given task */
    223                 unative_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg);
     223                sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid_arg);
    224224        protocol:
    225225                ?sys_ipc_connect_kbox*

  • 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

  • contrib/highlight/adl.syntax

    r554debd r96b02eb9  
    1717        keyword whole delegate yellow
    1818       
    19         keyword whole ipcarg_t yellow
     19        keyword whole sysarg_t yellow
    2020        keyword whole string yellow
    2121        keyword whole stream yellow
Note: See TracChangeset for help on using the changeset viewer.