Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext2/super.c ext2_parse_param() -> ext2_msg_fc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops->parse_monolithic | 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544 |
| PARAM_VALUE | 0 | fc->ops->parse_param | 4096-ptr_max |
| PARAM_VALUE | 1 | prefix | 2260944923277840384 |
| PARAM_VALUE | 2 | fmt | 696670547656241152 |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prefix | 3 |
| BUF_SIZE | 2 | fmt | 27 |
| DATA_SOURCE | 0 | fc | $0 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 1 | prefix | 2 |
| STR_LEN | 2 | fmt | 26 |
| TERMINATED | 1 | prefix | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fc->sb_flags | 0-u32max[c] |
| USER_DATA | 0 | *fc->source | 0-255 |
| HALF_LOCKED2 | 0 | &fc->uapi_mutex |
fs/ext2/super.c ext2_parse_param() -> ext2_msg_fc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops->parse_monolithic | 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544 |
| PARAM_VALUE | 0 | fc->ops->parse_param | 4096-ptr_max |
| PARAM_VALUE | 1 | prefix | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 142584383048978432 |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prefix | 3 |
| BUF_SIZE | 2 | fmt | 50 |
| DATA_SOURCE | 0 | fc | $0 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 1 | prefix | 2 |
| STR_LEN | 2 | fmt | 49 |
| TERMINATED | 1 | prefix | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fc->sb_flags | 0-u32max[c] |
| USER_DATA | 0 | *fc->source | 0-255 |
| HALF_LOCKED2 | 0 | &fc->uapi_mutex |
fs/ext2/super.c ext2_parse_param() -> ext2_msg_fc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops->parse_monolithic | 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544 |
| PARAM_VALUE | 0 | fc->ops->parse_param | 4096-ptr_max |
| PARAM_VALUE | 1 | prefix | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 4752932592522399744 |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prefix | 3 |
| BUF_SIZE | 2 | fmt | 50 |
| DATA_SOURCE | 0 | fc | $0 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 1 | prefix | 2 |
| STR_LEN | 2 | fmt | 49 |
| TERMINATED | 1 | prefix | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fc->sb_flags | 0-u32max[c] |
| USER_DATA | 0 | *fc->source | 0-255 |
| HALF_LOCKED2 | 0 | &fc->uapi_mutex |
fs/ext2/super.c ext2_parse_param() -> ext2_msg_fc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->fs_private | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops->parse_monolithic | 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544 |
| PARAM_VALUE | 0 | fc->ops->parse_param | 4096-ptr_max |
| PARAM_VALUE | 1 | prefix | 2260944923277840384 |
| PARAM_VALUE | 2 | fmt | 8350409300731449344 |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prefix | 3 |
| BUF_SIZE | 2 | fmt | 16 |
| DATA_SOURCE | 0 | fc | $0 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 1 | prefix | 2 |
| STR_LEN | 2 | fmt | 15 |
| TERMINATED | 1 | prefix | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fc->sb_flags | 0-u32max[c] |
| USER_DATA | 0 | *fc->source | 0-255 |
| HALF_LOCKED2 | 0 | &fc->uapi_mutex |
fs/ext2/super.c ext2_parse_param() -> ext2_msg_fc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->fs_private | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->ops->parse_monolithic | 0,634968867006672896,1923336409103024128,2935546142322450432,5537387387394355200,6031079647331782656,7045259487304556544 |
| PARAM_VALUE | 0 | fc->ops->parse_param | 4096-ptr_max |
| PARAM_VALUE | 1 | prefix | 2260944923277840384 |
| PARAM_VALUE | 2 | fmt | 5771010706312712192 |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | fc | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prefix | 3 |
| BUF_SIZE | 2 | fmt | 17 |
| DATA_SOURCE | 0 | fc | $0 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 0 | fc | (-1),3-4,6-7 |
| STR_LEN | 1 | prefix | 2 |
| STR_LEN | 2 | fmt | 16 |
| TERMINATED | 1 | prefix | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | fc->sb_flags | 0-u32max[c] |
| USER_DATA | 0 | *fc->source | 0-255 |
| HALF_LOCKED2 | 0 | &fc->uapi_mutex |