lfn
serial
ticket/834-toolchain-update
topic/msim-upgrade
topic/simplify-dev-export
Last change
on this file since afe34be was 82cf692, checked in by Martin Decky <martin@…>, 16 years ago |
protocol closure
(now all bindings are satisfied and the whole architecture can be verified, but this doesn't mean that the protocols are correct)
|
-
Property mode
set to
100644
|
File size:
729 bytes
|
Rev | Line | |
---|
[cf7b3e0] | 1 | !ns.ipc_m_connect_me_to /* vfs */ ;
|
---|
| 2 | [/uspace/lib/libfs/fnc.fs_register] ;
|
---|
| 3 | (
|
---|
| 4 | ?ipc_m_connect_me_to ;
|
---|
| 5 | (
|
---|
| 6 | ?mounted {
|
---|
[82cf692] | 7 | ?ipc_m_data_write /* mount options */ ;
|
---|
| 8 | tentative {
|
---|
| 9 | [/uspace/lib/libblock/fnc.block_init%rd]
|
---|
| 10 | }
|
---|
[cf7b3e0] | 11 | } +
|
---|
| 12 |
|
---|
| 13 | ?mount {
|
---|
| 14 | [/uspace/lib/libfs/fnc.libfs_mount]
|
---|
| 15 | } +
|
---|
| 16 |
|
---|
| 17 | ?lookup {
|
---|
| 18 | [/uspace/lib/libfs/fnc.libfs_lookup]
|
---|
| 19 | } +
|
---|
| 20 |
|
---|
| 21 | ?open_node {
|
---|
| 22 | [/uspace/lib/libfs/fnc.libfs_open_node]
|
---|
| 23 | } +
|
---|
| 24 |
|
---|
| 25 | ?read {
|
---|
| 26 | tentative {
|
---|
| 27 | ?ipc_m_data_read /* payload */
|
---|
| 28 | }
|
---|
| 29 | } +
|
---|
| 30 |
|
---|
| 31 | ?write {
|
---|
| 32 | tentative {
|
---|
| 33 | ?ipc_m_data_write /* payload */
|
---|
| 34 | }
|
---|
| 35 | } +
|
---|
| 36 |
|
---|
| 37 | ?stat {
|
---|
| 38 | [/uspace/lib/libfs/fnc.libfs_stat]
|
---|
| 39 | } +
|
---|
| 40 |
|
---|
| 41 | ?truncate +
|
---|
| 42 | ?close +
|
---|
| 43 | ?destroy +
|
---|
| 44 | ?sync
|
---|
| 45 | )* ;
|
---|
| 46 | ?ipc_m_phone_hungup
|
---|
| 47 | )* ;
|
---|
| 48 | !vfs.ipc_m_phone_hungup
|
---|
Note:
See
TracBrowser
for help on using the repository browser.