Searched refs:install_fileserver (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/global-components/components/FileServer/libFileServer-client/
H A Dfsclient.h39 void install_fileserver(file_server_interface_t fs_interface);
H A Dfsclient.c109 void install_fileserver(file_server_interface_t fs_interface) { function

Completed in 34 milliseconds