Changeset f1380b7 in mainline for contrib


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

Legend:

Unmodified
Added
Removed

  • contrib/arch/HelenOS.adl

    ra35b458 rf1380b7  
    22        /* SPARTAN kernel */
    33        inst kernel kernel;
    4        
     4
    55        /* Naming Service */
    66        inst ns ns;
    7        
     7
    88        /* Loader (clonable service) */
    99        inst loader loader;
    10        
     10
    1111        /* Device mapper */
    1212        inst devmap devmap;
    13        
     13
    1414        /* Block device */
    1515        inst bd bd;
    16        
     16
    1717        /* VFS server */
    1818        inst vfs vfs;
    19        
     19
    2020        /* Console */
    2121        inst console console;
    22        
     22
    2323        /* Kernel log */
    2424        inst kio kio;
    25        
     25
    2626        [/uspace/lib/libc/bind%ns]
    2727        [/uspace/lib/libc/bind%loader]
    … …  
    3131        [/uspace/lib/libc/bind%console]
    3232        [/uspace/lib/libc/bind%kio]
    33        
     33
    3434        bind ns:kbd to console:kbd;
    3535        bind ns:fb to console:fb;
    … …  
    3939        bind ns:devmap_client to devmap:devmap_client;
    4040        bind ns:loader to loader:loader;
    41        
     41
    4242        bind loader:ns to ns:ns;
    43        
     43
    4444        bind devmap:ns to ns:ns;
    4545        bind devmap:rd to bd:rd;
    4646        bind devmap:console to console:console;
    47        
     47
    4848        bind bd:ns to ns:ns;
    4949        bind bd:devmap_driver to devmap:devmap_driver;
    50        
     50
    5151        bind vfs:ns to ns:ns;
    5252        bind vfs:rd to bd:rd;
    5353        bind vfs:devmap_client to devmap:devmap_client;
    5454        bind vfs:device to console:console;
    55        
     55
    5656        bind console:ns to ns:ns;
    5757        bind console:devmap_driver to devmap:devmap_driver;
    5858        bind console:sys_console to kernel:sys_console;
    59        
     59
    6060        bind kio:ns to ns:ns;
    6161};

  • contrib/arch/kernel/kernel.adl

    ra35b458 rf1380b7  
    1313                /* Enable kernel console */
    1414                sysarg_t sys_debug_enable_console(void);
    15                
     15
    1616                /* Disable kernel console */
    1717                sysarg_t sys_debug_disable_console(void);
    … …  
    2626                /* Create new thread */
    2727                sysarg_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, size_t name_len, thread_id_t *uspace_thread_id);
    28                
     28
    2929                /* Terminate current thread */
    3030                sysarg_t sys_thread_exit(int uspace_status);
    31                
     31
    3232                /* Get current thread id */
    3333                sysarg_t sys_thread_get_id(thread_id_t *uspace_thread_id);
    … …  
    4343                /* Set name fo the current task */
    4444                sysarg_t sys_task_set_name(const char *uspace_name, size_t name_len);
    45                
     45
    4646                /* Get current task id */
    4747                sysarg_t sys_task_get_id(task_id_t *uspace_task_id);
    … …  
    6363                /* Sleep in a futex wait queue */
    6464                sysarg_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec, int flags);
    65                
     65
    6666                /* Wakeup one thread waiting in futex wait queue */
    6767                sysarg_t sys_futex_wakeup(uintptr_t uaddr);
    … …  
    8383                /* Create new address space area */
    8484                sysarg_t sys_as_area_create(uintptr_t address, size_t size, int flags);
    85                
     85
    8686                /* Resize an address space area */
    8787                sysarg_t sys_as_area_resize(uinptr_t address, size_t size, int flags);
    88                
     88
    8989                /* Change flags of an address space area */
    9090                sysarg_t sys_as_area_change_flags(uintptr_t address, int flags);
    91                
     91
    9292                /* Destroy an address space area */
    9393                sysarg_t sys_as_area_destroy(uintptr_t address);
    … …  
    104104                /* Fast synchronous IPC call */
    105105                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);
    106                
     106
    107107                /* Slow synchronous IPC call */
    108108                sysarg_t sys_ipc_call_sync_slow(sysarg_t phoneid, ipc_data_t *question, ipc_data_t *answer);
    109                
     109
    110110                /* Fast asynchronous IPC call */
    111111                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);
    112                
     112
    113113                /* Slow asynchronous IPC call */
    114114                sysarg_t sys_ipc_call_async_slow(sysarg_t phoneid, ipc_data_t *data);
    115                
     115
    116116                /* Fast forward a received IPC call to another destination */
    117117                sysarg_t sys_ipc_forward_fast(sysarg_t callid, sysarg_t phoneid, sysarg_t method, sysarg_t arg1, sysarg_t arg2, int mode);
    118                
     118
    119119                /* Slow forward a received IPC call to another destination */
    120120                sysarg_t sys_ipc_forward_slow(sysarg_t callid, sysarg_t phoneid, ipc_data_t *data, int mode);
    121                
     121
    122122                /* Fast answer an IPC call */
    123123                sysarg_t sys_ipc_answer_fast(sysarg_t callid, sysarg_t retval, sysarg_t arg1, sysarg_t arg2, sysarg_t arg3, sysarg_t arg4);
    124                
     124
    125125                /* Slow answer an IPC call */
    126126                sysarg_t sys_ipc_answer_slow(sysarg_t callid, ipc_data_t *data);
    127                
     127
    128128                /* Hang up a phone */
    129129                sysarg_t sys_ipc_hangup(int phoneid);
    130                
     130
    131131                /* Wait for an incoming IPC call or answer */
    132132                sysarg_t sys_ipc_wait_for_call(ipc_data_t *calldata, uint32_t usec, int flags);
    133                
     133
    134134                /* Interrupt one thread of the current task from waiting on IPC call */
    135135                sysarg_t sys_ipc_poke(void);
    … …  
    162162                sysarg_t sys_cap_grant(sysarg64_t *uspace_taskid, cap_t caps);
    163163#endif
    164                
     164
    165165#ifdef __64_BITS__
    166166                sysarg_t sys_cap_grant(sysarg_t taskid, cap_t caps);
    167167#endif
    168                
     168
    169169                /* Revoke capabilities from a task */
    170170#ifdef __32_BITS__
    171171                sysarg_t sys_cap_revoke(sysarg64_t *uspace_taskid, cap_t caps);
    172172#endif
    173                
     173
    174174#ifdef __64_BITS__
    175175                sysarg_t sys_cap_revoke(sysarg_t taskid, cap_t caps);
    … …  
    185185                /* Enable access I/O address space for the current task */
    186186                sysarg_t sys_enable_iospace(ddi_ioarg_t *uspace_io_arg);
    187                
     187
    188188                /* Map physical memory to the current task's address space */
    189189                sysarg_t sys_physmem_map(sysarg_t phys_base, sysarg_t virt_base, sysarg_t pages, sysarg_t flags);
    190                
     190
    191191                /* Enable or disable preemption */
    192192                sysarg_t sys_preempt_control(int enable);
    193                
     193
    194194                /* Assign unique device number */
    195195                sysarg_t sys_device_assign_devno(void);
    196                
     196
    197197                /* Connect an IRQ handler to the current task */
    198198                sysarg_t sys_register_irq(inr_t inr, devno_t devno, sysarg_t method, irq_code_t *ucode);
    199                
     199
    200200                /* Disconnect an IRQ handler from the current task */
    201201                sysarg_t sys_unregister_irq(inr_t inr, devno_t devno);
    … …  
    214214                /* Check for sysinfo key validity */
    215215                sysarg_t sys_sysinfo_valid(sysarg_t ptr, sysarg_t len);
    216                
     216
    217217                /* Get sysinfo key value */
    218218                sysarg_t sys_sysinfo_value(unatice_t ptr, sysarg_t len);
    … …  
    229229                sysarg_t sys_ipc_connect_kbox(sysarg64_t *uspace_taskid);
    230230#endif
    231                
     231
    232232#ifdef __64_BITS__
    233233                sysarg_t sys_ipc_connect_kbox(sysarg_t taskid);
    … …  
    308308        inst sys_sysinfo sys_sysinfo;
    309309        inst sys_debug sys_debug;
    310        
     310
    311311        delegate sys_kio to sys_console:sys_kio;
    312312        delegate sys_console to sys_console:sys_console;

  • 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

  • contrib/highlight/adl.syntax

    ra35b458 rf1380b7  
    66        keyword whole frame yellow
    77        keyword whole architecture yellow
    8        
     8
    99        keyword whole system yellow
    1010        keyword whole extends yellow
    1111        keyword whole version yellow
    12        
     12
    1313        keyword whole inst yellow
    1414        keyword whole bind yellow
    … …  
    1616        keyword whole subsume yellow
    1717        keyword whole delegate yellow
    18        
     18
    1919        keyword whole sysarg_t yellow
    2020        keyword whole string yellow
    2121        keyword whole stream yellow
    2222        keyword whole void yellow
    23        
     23
    2424        keyword whole in yellow
    2525        keyword whole in_copy yellow
    2626        keyword whole out yellow
    2727        keyword whole out_copy yellow
    28        
     28
    2929        keyword whole protocol yellow
    3030        keyword whole initialization yellow
    … …  
    3232        keyword whole provides yellow
    3333        keyword whole requires yellow
    34        
     34
    3535        keyword /\* brown
    3636        keyword \*/ brown
    3737        keyword // brown
    38        
     38
    3939        keyword { brightcyan
    4040        keyword } brightcyan
    41        
     41
    4242        keyword ( brightcyan
    4343        keyword ) brightcyan
    44        
     44
    4545        keyword , brightcyan
    4646        keyword : brightcyan
    4747        keyword ; brightmagenta
    48        
     48
    4949        keyword [ brightblue black
    5050        keyword ] brightblue black

  • contrib/highlight/bp.syntax

    ra35b458 rf1380b7  
    66        keyword whole tentative yellow
    77        keyword whole alternative yellow
    8        
     8
    99        keyword /\* brown
    1010        keyword \*/ brown
    1111        keyword # brown
    12        
     12
    1313        keyword ! brightred
    1414        keyword ? brightgreen
    15        
     15
    1616        keyword ( brightcyan
    1717        keyword ) brightcyan
    18        
     18
    1919        keyword { brightcyan
    2020        keyword } brightcyan
    21        
     21
    2222        keyword \+ brightmagenta
    2323        keyword ; brightmagenta
    2424        keyword \* brightmagenta
    2525        keyword | brightmagenta
    26        
     26
    2727        keyword \. brightcyan
    28        
     28
    2929        keyword [ brightblue black
    3030        keyword ] brightblue black

  • contrib/tools/font/bdf2c.pl

    ra35b458 rf1380b7  
    5353        /^FONTBOUNDINGBOX\s/ and do {
    5454                ($skip, $width, $height, $offset_x, $offset_y) = (split);
    55                
     55
    5656                die("Font width is not 8px\n") if ($width != 8);
    5757                die("Font height is not 16px\n") if ($height != 16);
    … …  
    7070                my @glyph = ();
    7171                my $y;
    72                
     72
    7373                # Add empty lines at top
    7474                my $empties = $height + $offset_y - $goffset_y - $gheight;
    75                
     75
    7676                for ($y = 0; $y < $empties; $y++) {
    7777                        $glyph[$y] = 0;
    7878                }
    79                
     79
    8080                # Scan the hex bitmap
    8181                for ($y = $empties; $y < $empties + $gheight; $y++) {
    … …  
    8383                        $glyph[$y] = hex(substr($_, 0, 2)) >> $goffset_x;
    8484                }
    85                
     85
    8686                # Add empty lines at bottom
    8787                my $fill = $height - $gheight - $empties;
    … …  
    8989                        $glyph[$y] = 0;
    9090                }
    91                
     91
    9292                if ($index != 0) {
    9393                        $glyphs[$index] = (\@glyph);
    … …  
    125125                                print "\t\treturn (ch - " . ($start - $start_pos) . ");\n";
    126126                        }
    127                        
     127
    128128                        print "\t\n";
    129129                }
    130                
     130
    131131                $start = $index;
    132132                $start_pos = $pos;
    133133        }
    134        
     134
    135135        $pos++;
    136136        $prev = $index;
    … …  
    145145for $index (@chars) {
    146146        print "\n\t{";
    147        
     147
    148148        my $y;
    149149        for ($y = 0; $y < $height; $y++) {
    … …  
    151151                printf "0x%.2x", $glyphs[$index]->[$y];
    152152        }
    153        
     153
    154154        print "},";
    155155}
Note: See TracChangeset for help on using the changeset viewer.