Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/afs/dir_search.c afs_dir_find_block() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 1 | trace | 3 |
| CAPPED_DATA | 0 | dvnode->directory_size | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/afs/dir_search.c afs_dir_search_bucket() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->directory_size | 2048-u32max |
| PARAM_VALUE | 1 | trace | 11 |
| CAPPED_DATA | 0 | dvnode->directory_size | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/afs/inode.c afs_apply_status() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->status.type | 2 |
| PARAM_VALUE | 0 | dvnode->volume | 4096-ptr_max |
| PARAM_VALUE | 1 | trace | 9 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vnode->cb_lock.lock | ||
| TYPE_LOCK | (struct seqlock)->lock |
fs/afs/dir.c afs_dir_iterate_contents() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 1 | trace | 11 |
| DATA_SOURCE | 0 | dvnode | r AFS_FS_I |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->validate_lock |
fs/afs/dir.c afs_dir_remove_subdir() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->netfs.inode.__i_nlink | 0 |
| PARAM_VALUE | 0 | dvnode->netfs.inode.i_nlink | 0 |
| PARAM_VALUE | 1 | trace | 15 |
| DATA_SOURCE | 0 | dvnode | r AFS_FS_I |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir_edit.c afs_dir_get_block() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->directory->rreq_id | 0-4294967295 |
| PARAM_VALUE | 1 | trace | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir_edit.c afs_edit_dir_add() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 0 |
| CAPPED_DATA | 0 | dvnode | 1 |
| CAPPED_DATA | 0 | dvnode->status.data_version | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_add() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 1 |
| CAPPED_DATA | 0 | dvnode | 1 |
| CAPPED_DATA | 0 | dvnode->status.data_version | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_add() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 2 |
| CAPPED_DATA | 0 | dvnode | 1 |
| CAPPED_DATA | 0 | dvnode->status.data_version | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_remove() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 5 |
| CAPPED_DATA | 0 | dvnode | 1 |
| CAPPED_DATA | 0 | dvnode->status.data_version | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_remove() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 6 |
| CAPPED_DATA | 0 | dvnode | 1 |
| CAPPED_DATA | 0 | dvnode->status.data_version | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_update() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 7 |
| CAPPED_DATA | 0 | dvnode | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_edit_dir_update() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 0 | dvnode->validate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | trace | 8 |
| CAPPED_DATA | 0 | dvnode | 1 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 0 | &dvnode->validate_lock | |
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir_edit.c afs_mkdir_init_dir() -> afs_invalidate_dir()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dvnode | 4096-ptr_max |
| PARAM_VALUE | 1 | trace | 0 |
| DATA_SOURCE | 0 | dvnode | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &target->i_rwsem |