Changes in contrib/arch/uspace/srv/vfs/vfs.bp [b988db0:0e8ad0b] in mainline

File:

• contrib/arch/uspace/srv/vfs/vfs.bp (modified) (5 diffs)

contrib/arch/uspace/srv/vfs/vfs.bp

@@ -22 +22 @@
                                                         /* root fs */
                                                         alternative (fs; tmpfs; fat; devfs) {
-                                                                !fs.mounted {
-                                                                        !fs.ipc_m_data_write /* mount options */
-                                                                }
+                                                                !fs.mounted ;
+                                                                !fs.ipc_m_data_write /* mount options */
                                                         }
                                                 ) +
@@ -94 +93 @@
                                 alternative (fs; tmpfs; fat; devfs) {
                                         [fnc.vfs_grab_phone] ;
-                                        !fs.read {
-                                                !fs.ipc_m_data_read /* forward payload */
-                                        } ;
+                                        !fs.read ;
+                                        !fs.ipc_m_data_read /* forward payload */ ;
                                         [fnc.vfs_release_phone]
                                 }
@@ -108 +106 @@
                                 alternative (fs; tmpfs; fat; devfs) {
                                         [fnc.vfs_grab_phone] ;
-                                        !fs.write {
-                                                !fs.ipc_m_data_write /* forward payload */
-                                        } ;
+                                        !fs.write ;
+                                        !fs.ipc_m_data_write /* forward payload */ ;
                                         [fnc.vfs_release_phone]
                                 }
@@ -132 +129 @@
                                 alternative (fs; tmpfs; fat; devfs) {
                                         [fnc.vfs_grab_phone] ;
-                                        !fs.stat {
-                                                !fs.ipc_m_data_read /* forward struct stat */
-                                        } ;
+                                        !fs.stat ;
+                                        !fs.ipc_m_data_read /* forward struct stat */ ;
                                         [fnc.vfs_release_phone]
                                 }
@@ -148 +144 @@
                                         [fnc.vfs_lookup_internal] ;
                                         tentative {
-                                                !fs.stat {
-                                                        !fs.ipc_m_data_read /* forward struct stat */
-                                                }
+                                                !fs.stat ;
+                                                !fs.ipc_m_data_read /* forward struct stat */
                                         }
                                 }