Defined in 1 files as a function:
Referenced in 6 files:
- fs/afs/dir.c
- fs/afs/file.c
- fs/afs/fs_operation.c
- fs/afs/rotate.c
- fs/afs/server.c, line 571
- fs/afs/write.c, line 72
Smatch caller information:
fs/afs/file.c afs_end_read() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers |
fs/afs/file.c afs_fetch_data_notify() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/write.c afs_store_data_success() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/rotate.c afs_select_fileserver() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->flags | 0x0,0xfffffffe |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/rotate.c afs_select_fileserver() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->flags | 0x1,0xffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/server.c afs_update_server_record() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-4095)-(-1) |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/fs_operation.c afs_end_vnode_operation() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/fs_operation.c afs_put_operation() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry_2->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->d_inode->i_mode | 0-u16max |
| USER_DATA | 0 | op->rename.tmp->d_parent->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| USER_DATA | 0 | op->rename.tmp->d_parent->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry_2->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->d_parent->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/fs_operation.c afs_wait_for_operation() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry_2->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry_2->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/fs_operation.c afs_wait_for_operation() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->dentry_2->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry_2->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_create_put() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_dir_remove_link() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_dir_remove_link() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | s16min-(-117),(-115)-(-3),(-1)-0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_do_lookup() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->more_files | 0-u64max |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/afs/dir.c afs_do_lookup() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->more_files | 0-u64max |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/afs/dir.c afs_link_put() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_rename_put() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| CAPPED_DATA | 0 | op->rename.tmp | 1 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &op->rename.tmp->d_lockref.lock |
fs/afs/dir.c afs_unlink() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->ops | 56 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| LOCK2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/afs/dir.c afs_unlink_put() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_unlink_put() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | s16min-(-1) |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | (-1),56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->rename.tmp->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->rename.tmp->d_sb->s_flags | 0-u64max[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->__d_name.name | 0-255 |
| USER_DATA | 0 | *op->rename.tmp->d_parent->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_vnode_new_inode() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_vnode_new_inode() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_vnode_new_inode() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_vnode_new_inode() -> afs_op_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1)-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1),1-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1),1-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |