1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #ifndef FSM_H 13 #define FSM_H 14 15 #include <assert.h> 16 #include <chcore/cpio.h> 17 #include <chcore/defs.h> 18 #include <chcore/error.h> 19 #include <chcore-internal/fs_defs.h> 20 #include <chcore/container/list.h> 21 #include <chcore/ipc.h> 22 #include <chcore/launcher.h> 23 #include <chcore/proc.h> 24 #include <chcore/syscall.h> 25 #include <stdio.h> 26 #include <string.h> 27 #include <sys/stat.h> 28 #include <sys/statfs.h> 29 30 #include "defs.h" 31 32 /* for debugging */ 33 #include <chcore-internal/fs_debug.h> 34 35 int init_fsm(void); 36 37 int fsm_mount_fs(const char *path, const char *mount_point); 38 int fsm_umount_fs(const char *path); 39 40 void fsm_dispatch(ipc_msg_t *ipc_msg, badge_t client_badge); 41 42 #endif /* FSM_H */