source: mainline/contrib/arch/uspace/srv/vfs/vfs.bp

?ipc_m_connect_me_to ;
(
        ?register {
                ?ipc_m_data_write /* fs name */ ;
                tentative {
                        /* callback connection */
                        ?ipc_m_connect_to_me ;
                        ?ipc_m_share_in
                }
        } +

        ?mount {
                ?ipc_m_data_write /* mount point */ ;
                tentative {
                        ?ipc_m_data_write /* mount options */ ;
                        tentative {
                                ?ipc_m_data_write /* fs name */ ;
                                tentative {
                                        ?ipc_m_ping ;
                                        tentative {
                                                (
                                                        /* root fs */
                                                        alternative (fs; tmpfs; fat; devfs) {
                                                                !fs.mounted {
                                                                        !fs.ipc_m_data_write /* mount options */
                                                                }
                                                        }
                                                ) +
                                                (
                                                        /* non-root fs */
                                                        tentative {
                                                                alternative (fs; tmpfs; fat; devfs) {
                                                                        [fnc.vfs_lookup_internal] ;
                                                                        tentative {
                                                                                [fnc.vfs_grab_phone] ;
                                                                                [fnc.vfs_grab_phone] ;
                                                                                !fs.mount ;
                                                                                !fs.ipc_m_connection_clone ;
                                                                                [fnc.vfs_release_phone] ;
                                                                                tentative {
                                                                                        !fs.vfs_m_data_write /* mount options */
                                                                                } ;
                                                                                [fnc.vfs_release_phone]
                                                                        }
                                                                }
                                                        }
                                                )
                                        }
                                }
                        }
                }
        } +

        ?open {
                tentative {
                        ?ipc_m_data_write /* path */ ;
                        tentative {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_lookup_internal] ;
                                        tentative {
                                                [fnc.vfs_grab_phone] ;
                                                !fs.truncate ;
                                                [fnc.vfs_release_phone]
                                        }
                                }
                        }
                }
        } +

        ?open_node {
                alternative (fs; tmpfs; fat; devfs) {
                        [fnc.vfs_open_node_internal] ;
                        tentative {
                                [fnc.vfs_grab_phone] ;
                                !fs.truncate ;
                                [fnc.vfs_release_phone]
                        }
                }
        } +

        ?close {
                tentative {
                        alternative (fs; tmpfs; fat; devfs) {
                                [fnc.vfs_grab_phone] ;
                                !fs.close ;
                                [fnc.vfs_release_phone]
                        }
                }
        } +

        ?read {
                tentative {
                        ?ipc_m_data_read {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_grab_phone] ;
                                        !fs.read {
                                                !fs.ipc_m_data_read /* forward payload */
                                        } ;
                                        [fnc.vfs_release_phone]
                                }
                        }
                }
        } +

        ?write {
                tentative {
                        ?ipc_m_data_write {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_grab_phone] ;
                                        !fs.write {
                                                !fs.ipc_m_data_write /* forward payload */
                                        } ;
                                        [fnc.vfs_release_phone]
                                }
                        }
                }
        } +

        ?truncate {
                tentative {
                        alternative (fs; tmpfs; fat; devfs) {
                                [fnc.vfs_grab_phone] ;
                                !fs.truncate ;
                                [fnc.vfs_release_phone]
                        }
                }
        } +

        ?fstat {
                tentative {
                        ?ipc_m_data_read /* vfs_stat_t */ {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_grab_phone] ;
                                        !fs.stat {
                                                !fs.ipc_m_data_read /* forward vfs_stat_t */
                                        } ;
                                        [fnc.vfs_release_phone]
                                }
                        }
                }
        } +

        ?stat {
                ?ipc_m_data_write /* path */ ;
                tentative {
                        ?ipc_m_data_read /* vfs_stat_t */ {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_lookup_internal] ;
                                        tentative {
                                                !fs.stat {
                                                        !fs.ipc_m_data_read /* forward vfs_stat_t */
                                                }
                                        }
                                }
                        }
                }
        } +

        ?mkdir {
                ?ipc_m_data_write /* path */ ;
                tentative {
                        alternative (fs; tmpfs; fat; devfs) {
                                [fnc.vfs_lookup_internal]
                        }
                }
        } +

        ?unlink {
                ?ipc_m_data_write /* path */ ;
                tentative {
                        alternative (fs; tmpfs; fat; devfs) {
                                [fnc.vfs_lookup_internal]
                        }
                }
        } +

        ?rename {
                ?ipc_m_data_write /* old path */ ;
                tentative {
                        ?ipc_m_data_write /* new path */ ;
                        tentative {
                                alternative (fs; tmpfs; fat; devfs) {
                                        [fnc.vfs_lookup_internal] /* lookup old path */ ;
                                        tentative {
                                                [fnc.vfs_lookup_internal] /* lookup parent of new path */ ;
                                                tentative {
                                                        [fnc.vfs_lookup_internal] /* destroy old link for the new path */ ;
                                                        tentative {
                                                                [fnc.vfs_lookup_internal] /* create new link for the new path */ ;
                                                                tentative {
                                                                        [fnc.vfs_lookup_internal] /* destroy link for the old path */
                                                                }
                                                        }
                                                }
                                        }
                                }
                        }
                }
        } +

        ?sync {
                tentative {
                        alternative (fs; tmpfs; fat; devfs) {
                                !fs.sync
                        }
                }
        } +

        ?seek

)* ;
?ipc_m_phone_hungup