Defined in 1 files as a function:
Referenced in 6 files:
- fs/afs/dir.c
- fs/afs/fs_operation.c
- fs/afs/fsclient.c, line 1953
- fs/afs/inode.c, line 354
- fs/afs/rotate.c
- fs/afs/server.c
Smatch caller information:
fs/afs/inode.c afs_fetch_status_success() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | error | (-74),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 |
| DATA_SOURCE | 1 | error | r afs_inode_init_from_status |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-4095)-(-1) |
| 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 |
| CAPPED_DATA | 0 | op->pre_volsync.creation | 1 |
| CAPPED_DATA | 0 | op->server | 1 |
| CAPPED_DATA | 0 | op->volume->creation_time | 1 |
| DATA_SOURCE | 0 | op | $0 |
| DATA_SOURCE | 1 | error | r afs_update_volume_state |
| PARAM_COMPARE | 0 | op->pre_volsync.creation | != $0->volsync.creation |
| PARAM_COMPARE | 0 | op->pre_volsync.creation | == $0->volume->creation_time |
| PARAM_COMPARE | 0 | op->volsync.creation | != $0->volume->creation_time |
| BIT_INFO | 0 | op->flags | 0x0,0xfffffffe |
| BIT_INFO | 1 | error | 0x0,0x1 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | s16min-s16max |
| 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 |
| CAPPED_DATA | 0 | op->volume->servers->nr_servers | 1 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-4095)-(-1) |
| 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 |
| DATA_SOURCE | 1 | error | r afs_check_volume_status |
| BIT_INFO | 0 | op->flags | 0x0,0xfffffff6 |
| BIT_INFO | 1 | error | 0x0,0x0 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-123) |
| 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,0xfffffff6 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-68) |
| 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 | 0x20,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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-16) |
| 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 | 0x20,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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-121) |
| 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 | 0x4,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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-4095)-(-1) |
| 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 |
| DATA_SOURCE | 1 | error | r afs_check_volume_status |
| BIT_INFO | 0 | op->flags | 0x4,0xfffffffe |
| BIT_INFO | 1 | error | 0x0,0x0 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-28) |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-122) |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-524) |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | s16min-s16max |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-4095)-(-1) |
| 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 |
| DATA_SOURCE | 1 | error | r afs_check_volume_status |
| BIT_INFO | 1 | error | 0x0,0x0 |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-512) |
| 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 |
| CAPPED_DATA | 0 | op->server_list->nr_servers | 1 |
| DATA_SOURCE | 0 | op | $0 |
| DATA_SOURCE | 1 | error | r afs_wait_for_fs_probes |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-512) |
| 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 |
| DATA_SOURCE | 1 | error | r afs_wait_for_one_fs_probe |
| BIT_INFO | 0 | op->flags | 0x800,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 | |||
| NOCHECK_CALL | |||
| 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_sleep_and_retry() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-512) |
| 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),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 |
| BIT_INFO | 0 | op->flags | 0x0,0xffffffbf |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
fs/afs/rotate.c afs_start_fs_iteration() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-116) |
| 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),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->server_states | 0-16320 |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| CAPPED_DATA | 0 | op->server_list->nr_servers | 1 |
| CAPPED_DATA | 0 | op->untried_servers | 1 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->flags | 0x10,0xffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name |
fs/afs/server.c afs_check_server_record() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-512) |
| 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),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 |
| DATA_SOURCE | 1 | error | r wait_on_bit |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| NOCHECK_CALL | |||
| 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 |
fs/afs/server.c afs_update_server_record() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | 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 | |||
| NOCHECK_CALL | |||
| 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/fsclient.c afs_fs_inline_bulk_status() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-524) |
| 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 | |||
| NOCHECK_CALL | |||
| 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/fs_operation.c afs_alloc_operation() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | error | (-89) |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->key | s32min-s32max |
| DATA_SOURCE | 0 | op | r _kzalloc_noprof |
| BIT_INFO | 0 | op->cb_v_break | 0x0,0x7fffffff |
| BIT_INFO | 0 | op->debug_id | 0x0,0x7fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &vnode->validate_lock |
fs/afs/fs_operation.c afs_get_io_locks() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-524),(-89),0 |
| PARAM_VALUE | 1 | error | (-512) |
| 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->yacl | (-1),32 |
| CAPPED_DATA | 0 | op->key | 1 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->flags | 0x0,0xffffffbf |
| 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 | |
| HARD_MAX | 0 | op->cumul_error.error | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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 | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/fs_operation.c afs_get_io_locks() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-524),(-89),0 |
| PARAM_VALUE | 1 | error | (-512) |
| 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->yacl | (-1),32 |
| CAPPED_DATA | 0 | op->key | 1 |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->flags | 0x100,0xffffffbf |
| 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 | |
| HARD_MAX | 0 | op->cumul_error.error | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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 | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_dir_remove_link() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | 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 |
| DATA_SOURCE | 1 | error | r afs_validate |
| 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 | |||
| NOCHECK_CALL | |||
| 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_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-89) |
| PARAM_VALUE | 1 | error | (-524) |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->more_files | 0-u64max |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/afs/dir.c afs_do_lookup_success() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-524),(-129),(-127),(-123)-(-121),(-75),(-71),(-65),(-56),(-40)-(-39),(-37)-(-35),(-31)-(-30),(-28)-(-27),(-22)-(-20),(-17)-(-16),(-13),(-11),(-6)-(-5),(-2)-0 |
| PARAM_VALUE | 1 | error | (-524),(-129),(-127),(-123)-(-121),(-75),(-71),(-65),(-56),(-40)-(-39),(-37)-(-35),(-31)-(-30),(-28)-(-27),(-22)-(-20),(-17)-(-16),(-13),(-11),(-6)-(-5),(-2)-(-1) |
| 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 | |||
| NOCHECK_CALL | |||
| 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/dir.c afs_rename() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-89) |
| PARAM_VALUE | 1 | error | s16min-(-3),(-1)-0 |
| BUF_SIZE | 0 | op | 664 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| DATA_SOURCE | 1 | error | r afs_validate |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_rename() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | error | s16min-(-1),1-s16max |
| BUF_SIZE | 0 | op | 664 |
| BUF_SIZE | 0 | op->more_files | 352 |
| BUF_SIZE | 0 | op->ops | 56 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| DATA_SOURCE | 1 | error | r afs_sillyrename |
| TERMINATED | 0 | op->rename.tmp->__d_name.name | 1 |
| TERMINATED | 0 | op->rename.tmp->d_parent->__d_name.name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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->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->rename.tmp->__d_name.name | |
| USER_PTR | 0 | op->rename.tmp->d_parent->__d_name.name | |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_unlink() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-89) |
| PARAM_VALUE | 1 | error | s16min-(-3),(-1) |
| BUF_SIZE | 0 | op | 664 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| DATA_SOURCE | 1 | error | r afs_validate |
| BIT_INFO | 1 | error | 0x0,0x0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| LOCK2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| 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() -> afs_op_set_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | (-89) |
| PARAM_VALUE | 1 | error | s16min-s16max |
| BUF_SIZE | 0 | op | 664 |
| DATA_SOURCE | 0 | op | r afs_alloc_operation |
| BIT_INFO | 1 | error | 0x0,0x7fff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| 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 |