Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/ioctl.c __ext4_ioctl() -> ext4_ioctl_group_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_path.mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | input | 3194463344496123904 |
| DATA_SOURCE | 0 | file | $0 |
| USER_DATA | 1 | input->block_bitmap | 0-u64max |
| USER_DATA | 1 | input->blocks_count | 0-u32max |
| USER_DATA | 1 | input->free_clusters_count | 0-u32max |
| USER_DATA | 1 | input->group | 0-u32max |
| USER_DATA | 1 | input->inode_bitmap | 0-u64max |
| USER_DATA | 1 | input->inode_table | 0-u64max |
| USER_DATA | 1 | input->mdata_blocks | 0-u16max |
| USER_DATA | 1 | input->reserved_blocks | 0-u16max |
fs/ext4/ioctl.c ext4_compat_ioctl() -> ext4_ioctl_group_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0,4-u64max |
| PARAM_VALUE | 1 | input | 1910362949081972736 |
| DATA_SOURCE | 0 | file | $0 |
| USER_DATA | 1 | input->block_bitmap | 0-u64max |
| USER_DATA | 1 | input->blocks_count | 0-u32max |
| USER_DATA | 1 | input->group | 0-u32max |
| USER_DATA | 1 | input->inode_bitmap | 0-u64max |
| USER_DATA | 1 | input->inode_table | 0-u64max |
| USER_DATA | 1 | input->reserved_blocks | 0-u16max |