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_DEFS_H 13 #define FSM_DEFS_H 14 15 #include <chcore/ipc.h> 16 #include <chcore/idman.h> 17 18 #define TMPFS_INFO_VADDR 0x200000 19 20 #define PREFIX "[fsm]" 21 #define info(fmt, ...) printf(PREFIX " " fmt, ##__VA_ARGS__) 22 #define debug(fmt, ...) \ 23 do { \ 24 } while (0) 25 #define error(fmt, ...) printf(PREFIX " " fmt, ##__VA_ARGS__) 26 27 #define MAX_FS_NUM 10 28 #define MAX_MOUNT_POINT_LEN 255 29 #define MAX_PATH_LEN 511 30 #define MBR_MAX_PARTS_CNT 4 31 #define MBR_SIZE 512 32 #define MAX_PARTS_CNT (MBR_MAX_PARTS_CNT + 1) 33 34 #endif /* FSM_DEFS_H */ 35