source: mainline/contrib/arch/uspace/srv/ns/ns.adl

Last change on this file was f1380b7, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 7 years ago

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

  • Property mode set to 100644
File size: 1.2 KB
Line 
1interface ns {
2 /* Register a clonable service or a generic service */
3 sysarg_t ipc_m_connect_to_me(in sysarg_t service);
4
5 /* Connect to a clonable service or a generic service */
6 sysarg_t ipc_m_connect_me_to(in sysarg_t service, in sysarg_t arg2, in sysarg_t arg3, in sysarg_t flags);
7
8 /* Share real-time clock page or kio page */
9 sysarg_t ipc_m_share_in(in sysarg_t as_area_base, in sysarg_t as_area_size, in sysarg_t service);
10
11 /* For IPC testing purposes */
12 sysarg_t ping(void);
13
14 /* Wait for task exit and get exit status and return value */
15 sysarg_t task_wait(in sysarg_t id_lower, in sysarg_t id_upper, out sysarg_t status, out sysarg_t retval);
16
17 /* Introduce a new loader task id in such a way it cannot be spoofed */
18 sysarg_t id_intro(in sysarg_t id_lower, in sysarg_t id_upper);
19
20 /* Set task return value */
21 sysarg_t retval(in sysarg_t retval);
22
23 /* Implicit connection close */
24 sysarg_t ipc_m_phone_hungup(void);
25 protocol:
26 [ns.bp]
27};
28
29frame ns {
30 provides:
31 ns ns;
32 requires:
33 [/uspace/lib/libc/requires]
34 kbd kbd;
35 fb fb;
36 console console;
37 vfs vfs;
38 devmap_driver devmap_driver;
39 devmap_client devmap_client;
40 loader loader;
41 protocol:
42 [/uspace/lib/libc/protocol]
43};
Note: See TracBrowser for help on using the repository browser.