Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 0a1a313 in mainline


Ignore:
Timestamp:
2009-10-07T10:58:07Z (11 years ago)
Author:
Martin Decky <martin@…>
Branches:
master
Children:
b988db0
Parents:
100aaf5
Message:

fix protocols w.r.t. nested calls

Location:
contrib/arch/uspace
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • contrib/arch/uspace/lib/libfs/fnc.libfs_mount

    r100aaf5 r0a1a313  
    44                alternative (fs; tmpfs; fat; devfs) {
    55                        !fs.ipc_m_connect_to_me ;
    6                         !fs.mounted ;
    7                         !fs.ipc_m_data_write /* forward */
     6                        !fs.mounted {
     7                                !fs.ipc_m_data_write /* forward */
     8                        }
    89                }
    910        }
  • contrib/arch/uspace/srv/vfs/vfs.bp

    r100aaf5 r0a1a313  
    2222                                                        /* root fs */
    2323                                                        alternative (fs; tmpfs; fat; devfs) {
    24                                                                 !fs.mounted ;
    25                                                                 !fs.ipc_m_data_write /* mount options */
     24                                                                !fs.mounted {
     25                                                                        !fs.ipc_m_data_write /* mount options */
     26                                                                }
    2627                                                        }
    2728                                                ) +
     
    9394                                alternative (fs; tmpfs; fat; devfs) {
    9495                                        [fnc.vfs_grab_phone] ;
    95                                         !fs.read ;
    96                                         !fs.ipc_m_data_read /* forward payload */ ;
     96                                        !fs.read {
     97                                                !fs.ipc_m_data_read /* forward payload */ ;
     98                                        } ;
    9799                                        [fnc.vfs_release_phone]
    98100                                }
     
    106108                                alternative (fs; tmpfs; fat; devfs) {
    107109                                        [fnc.vfs_grab_phone] ;
    108                                         !fs.write ;
    109                                         !fs.ipc_m_data_write /* forward payload */ ;
     110                                        !fs.write {
     111                                                !fs.ipc_m_data_write /* forward payload */ ;
     112                                        } ;
    110113                                        [fnc.vfs_release_phone]
    111114                                }
     
    129132                                alternative (fs; tmpfs; fat; devfs) {
    130133                                        [fnc.vfs_grab_phone] ;
    131                                         !fs.stat ;
    132                                         !fs.ipc_m_data_read /* forward struct stat */ ;
     134                                        !fs.stat {
     135                                                !fs.ipc_m_data_read /* forward struct stat */ ;
     136                                        } ;
    133137                                        [fnc.vfs_release_phone]
    134138                                }
     
    144148                                        [fnc.vfs_lookup_internal] ;
    145149                                        tentative {
    146                                                 !fs.stat ;
    147                                                 !fs.ipc_m_data_read /* forward struct stat */
     150                                                !fs.stat {
     151                                                        !fs.ipc_m_data_read /* forward struct stat */
     152                                                }
    148153                                        }
    149154                                }
Note: See TracChangeset for help on using the changeset viewer.