Changeset 8614534 in mainline for contrib/bp/vfs.bp

Timestamp:

2009-08-26T12:33:22Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

52ff7699

Parents:

471a32d

Message:

more protocols
always specify interface on outgoing calls
replace forward messages with the messages themselves

File:

• contrib/bp/vfs.bp (modified) (9 diffs)

contrib/bp/vfs.bp

@@ -16 +16 @@
                         (
                                 
-                                !VFS_OUT_MOUNTED ;
-                                !IPC_M_DATA_WRITE /* mount options */
+                                !fs.VFS_OUT_MOUNTED ;
+                                !fs.IPC_M_DATA_WRITE /* mount options */
                         ) /* root fs */ +
                         (
-                                !VFS_OUT_MOUNT ;
-                                !IPC_M_CONNECTION_CLONE ;
-                                !VFS_M_DATA_WRITE /* mount options */
+                                !fs.VFS_OUT_MOUNT ;
+                                !fs.IPC_M_CONNECTION_CLONE ;
+                                !fs.VFS_M_DATA_WRITE /* mount options */
                         ) /* non-root fs */
                 } +
@@ -32 +32 @@
                                 (
                                         [vfs_grab_phone] ;
-                                        !VFS_OUT_TRUNCATE ;
+                                        !fs.VFS_OUT_TRUNCATE ;
                                         [vfs_release_phone]
                                 ) +
@@ -41 +41 @@
                 ?VFS_IN_OPEN_NODE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_OPEN_NODE ;
+                        !fs.VFS_OUT_OPEN_NODE ;
                         [vfs_release_phone] ;
                         (
                                 (
                                         [vfs_grab_phone] ;
-                                        !VFS_OUT_TRUNCATE ;
+                                        !fs.VFS_OUT_TRUNCATE ;
                                         [vfs_release_phone]
                                 ) +
@@ -56 +56 @@
                 ?VFS_IN_CLOSE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_CLOSE ;
+                        !fs.VFS_OUT_CLOSE ;
                         [vfs_release_phone]
                 } +
@@ -63 +63 @@
                         ?IPC_M_DATA_READ {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_READ /* payload */ ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_READ /* payload */ ;
+                                !fs.IPC_M_DATA_READ /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -72 +72 @@
                         ?IPC_M_DATA_WRITE {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_WRITE /* payload */ ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_WRITE /* payload */ ;
+                                !fs.IPC_M_DATA_WRITE /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -82 +82 @@
                 ?VFS_IN_TRUNCATE {
                         [vfs_grab_phone] ;
-                        !VFS_OUT_TRUNCATE ;
+                        !fs.VFS_OUT_TRUNCATE ;
                         [vfs_release_phone]
                 } +
                 
                 ?VFS_IN_FSTAT {
-                        ?IPC_M_DATA_READ {
+                        ?IPC_M_DATA_READ /* struct stat */ {
                                 [vfs_grab_phone] ;
-                                !VFS_OUT_STAT ;
-                                !IPC_M_FORWARD ;
+                                !fs.VFS_OUT_STAT ;
+                                !fs.IPC_M_DATA_READ /* forwarded */ ;
                                 [vfs_release_phone]
                         }
@@ -97 +97 @@
                 ?VFS_IN_STAT {
                         ?IPC_M_DATA_WRITE /* path */ ;
-                        ?IPC_M_DATA_READ {
+                        ?IPC_M_DATA_READ /* struct stat */ {
                                 [vfs_lookup_internal] ;
-                                !VFS_OUT_STAT ;
-                                !IPC_M_FORWARD
+                                !fs.VFS_OUT_STAT ;
+                                !fs.IPC_M_DATA_READ /* forwarded */
                         }
                 } +
@@ -125 +125 @@
                 
                 ?VFS_IN_SYNC {
-                        !VFS_OUT_SYNC
+                        !fs.VFS_OUT_SYNC
                 }