source: mainline/contrib/arch/uspace/srv/vfs/vfs.adl@ 1de92fb0

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 1de92fb0 was f1380b7, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 8 years ago

style: Remove trailing whitespace on _all_ lines, including empty ones, remaining files.
  • Property mode set to 100644
File size: 3.9 KB
Line 
1interface vfs extends service {
2 /* Register a filesystem driver */
3 sysarg_t register(in_copy string name);
4
5 /* Mount filesystem */
6 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
8 /* Open file */
9 sysarg_t open(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, in_copy string path, out sysarg_t fd);
10
11 /* Open file using node */
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);
13
14 /* Read data from file */
15 sysarg_t read(in sysarg_t fd, out_copy stream data);
16
17 /* Write data to file */
18 sysarg_t write(in sysarg_t fd, in_copy stream data);
19
20 /* Seek in file */
21 sysarg_t seek(in sysarg_t fd, in sysarg_t offset, in sysarg_t whence);
22
23 /* Truncate file */
24 sysarg_t truncate(in sysarg_t fd, in sysarg_t size);
25
26 /* Get file metadata */
27 sysarg_t fstat(in sysarg_t fd, out_copy stream stat);
28
29 /* Get directory entry metadata */
30 sysarg_t stat(in_copy string path, out_copy stream stat);
31
32 /* Create directory */
33 sysarg_t mkdir(in sysarg_t mode, in_copy string path);
34
35 /* Delete directory entry */
36 sysarg_t unlink(in sysarg_t lflag, in_copy string path);
37
38 /* Rename directory entry */
39 sysarg_t rename(in_copy string old, in_copy string new);
40
41 /* Flush file buffers */
42 sysarg_t sync(in sysarg_t fd);
43
44 /* In-protocol status value */
45 sysarg_t ipc_m_ping(void);
46
47 /* Close connection */
48 sysarg_t ipc_m_phone_hungup(void);
49 protocol:
50 [vfs.bp]
51};
52
53interface fs extends service {
54 /* Notify filesystem that it was mounted */
55 sysarg_t mounted(in sysarg_t dev_handle, in_copy string opts);
56
57 /* Mount filesystem */
58 sysarg_t mount(in sysarg_t device, in sysarg_t flags, in sysarg_t instance, in_copy string point, in_copy string opts, ...);
59
60 /* Open file by node */
61 sysarg_t open_node(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
62
63 /* Lookup file */
64 sysarg_t lookup(in sysarg_t lflag, in sysarg_t oflag, in sysarg_t mode, ...);
65
66 /* Read data from file */
67 sysarg_t read(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, out_copy stream data);
68
69 /* Write data to file */
70 sysarg_t write(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t offset, in_copy stream data);
71
72 /* Truncate file */
73 sysarg_t truncate(in sysarg_t dev_handle, in sysarg_t fs_index, in sysarg_t size);
74
75 /* Get directory entry metadata */
76 sysarg_t stat(in sysarg_t dev_handle, in sysarg_t fs_index, out_copy stream stat);
77
78 /* Flush file buffers */
79 sysarg_t sync(in sysarg_t dev_handle, in sysarg_t fs_index);
80
81 /* Notify on file close */
82 sysarg_t close(in sysarg_t dev_handle, in sysarg_t fs_index);
83};
84
85frame io_dispatcher {
86 provides:
87 vfs vfs;
88 requires:
89 [/uspace/lib/libc/requires]
90 ns ns;
91 tmpfs tmpfs;
92 fat fat;
93 devfs devfs;
94 initialization:
95 !ns.ipc_m_connect_to_me /* vfs */
96 protocol:
97 [/uspace/lib/libc/protocol]
98};
99
100architecture vfs {
101 inst io_dispatcher io_dispatcher;
102 inst tmpfs tmpfs;
103 inst fat fat;
104 inst devfs devfs;
105
106 bind io_dispatcher:tmpfs to tmpfs:tmpfs;
107 bind io_dispatcher:fat to fat:fat;
108 bind io_dispatcher:devfs to devfs:devfs;
109
110 bind tmpfs:vfs to io_dispatcher:vfs;
111 bind fat:vfs to io_dispatcher:vfs;
112 bind devfs:vfs to io_dispatcher:vfs;
113
114 bind tmpfs:tmpfs_nested to tmpfs:tmpfs;
115 bind tmpfs:fat_nested to fat:fat;
116 bind tmpfs:devfs_nested to devfs:devfs;
117
118 bind fat:tmpfs_nested to tmpfs:tmpfs;
119 bind fat:fat_nested to fat:fat;
120 bind fat:devfs_nested to devfs:devfs;
121
122 delegate vfs to io_dispatcher:vfs;
123
124 [/uspace/lib/libc/subsume%io_dispatcher]
125 [/uspace/lib/libc/subsume%tmpfs]
126 [/uspace/lib/libc/subsume%fat]
127 [/uspace/lib/libc/subsume%devfs]
128
129 subsume io_dispatcher:ns to ns;
130 subsume tmpfs:ns to ns;
131 subsume fat:ns to ns;
132 subsume devfs:ns to ns;
133
134 subsume tmpfs:rd to rd;
135 subsume fat:rd to rd;
136
137 subsume devfs:devmap_client to devmap_client;
138 subsume devfs:device to device;
139};
Note: See TracBrowser for help on using the repository browser.