Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/afs/vlclient.c afs_destroy_vl_get_capabilities() -> afs_flat_call_destructor()

Type Parameter Key Value
PARAM_VALUE 0 call 3403654485403381760
PARAM_VALUE 0 call->op->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->op->type->destructor 0,2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->op->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->op->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->op->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->op->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->peer 0,4096-ptr_max
PARAM_VALUE 0 call->peer->hash_link.pprev 0
PARAM_VALUE 0 call->peer->local->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->peer->local->rxnet->peer_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->peer->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->rxcall 0
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->type 1049794077907578880
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
PARAM_VALUE 0 call->vl_probe 0,4096-ptr_max
PARAM_VALUE 0 call->vl_probe->rcu.func 1-u64max
PARAM_VALUE 0 call->vl_probe->rcu.next 0
PARAM_VALUE 0 call->vlserver 0,4096-ptr_max
PARAM_VALUE 0 call->vlserver->rcu.func 1-u64max
PARAM_VALUE 0 call->vlserver->rcu.next 0
BUF_SIZE 0 call->buffer (-1)-0,4,24,28,56,64,84,104,108,120,144,152,160,192,204,216,248,272,288,376,504,1025,1048
BUF_SIZE 0 call->iter (-1),40
BUF_SIZE 0 call->key (-1)-s32max
BUF_SIZE 0 call->ret_alist (-1),56-1080
BUF_SIZE 0 call->ret_str (-1),1
BUF_SIZE 0 call->ret_vldb (-1),1,205-207,214-215,392
BUF_SIZE 0 call->type (-1),64
DATA_SOURCE 0 call $0
NOSPEC 0 call->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->count 0-u32max
USER_DATA 0 call->count2 0-u32max[c]
USER_DATA 0 call->iov_len 0-17179869178,18446744073709486082-u64max
USER_DATA 0 call->operation_ID 0[c]
USER_DATA 0 call->ret_alist->max_addrs 0-64[c]
USER_DATA 0 call->ret_alist->version 0-u32max
NO_OVERFLOW_SIMPLE 0 call->key->quotalen
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_buffer
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_len
NO_OVERFLOW_SIMPLE 0 call->server_index
HALF_LOCKED2 &pool->lock

fs/afs/fsclient.c afs_fs_get_capabilities_destructor() -> afs_flat_call_destructor()

Type Parameter Key Value
PARAM_VALUE 0 call 5400465523643572224
PARAM_VALUE 0 call->op->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->op->type->destructor 0,2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->op->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->op->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->op->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->op->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->peer 0,4096-ptr_max
PARAM_VALUE 0 call->peer->hash_link.pprev 0
PARAM_VALUE 0 call->peer->local->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->peer->local->rxnet->peer_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->peer->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->probe 0,4096-ptr_max
PARAM_VALUE 0 call->probe->rcu.func 1-u64max
PARAM_VALUE 0 call->probe->rcu.next 0
PARAM_VALUE 0 call->rxcall 0
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->type 9158769318975488000
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
BUF_SIZE 0 call->buffer (-1)-0,4,24,28,56,64,84,104,108,120,144,152,160,192,204,216,248,272,288,376,504,1025,1048
BUF_SIZE 0 call->iter (-1),40
BUF_SIZE 0 call->key (-1)-s32max
BUF_SIZE 0 call->ret_alist (-1),56-1080
BUF_SIZE 0 call->ret_str (-1),1
BUF_SIZE 0 call->ret_vldb (-1),1,205-207,214-215,392
BUF_SIZE 0 call->type (-1),64
DATA_SOURCE 0 call $0
NOSPEC 0 call->count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->count 0-u32max
USER_DATA 0 call->count2 0-u32max[c]
USER_DATA 0 call->iov_len 0-17179869178,18446744073709486082-u64max
USER_DATA 0 call->operation_ID 0[c]
USER_DATA 0 call->ret_alist->max_addrs 0-64[c]
USER_DATA 0 call->ret_alist->version 0-u32max
NO_OVERFLOW_SIMPLE 0 call->key->quotalen
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_buffer
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_len
NO_OVERFLOW_SIMPLE 0 call->server_index
HALF_LOCKED2 &pool->lock

fs/afs/rxrpc.c afs_free_call() -> (struct afs_call_type)->destructor()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->op->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->op->type->destructor 0,2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->op->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->op->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->op->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->op->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->fs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->op->volume->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->peer 0,4096-ptr_max
PARAM_VALUE 0 call->peer->hash_link.pprev 0
PARAM_VALUE 0 call->peer->local->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->peer->local->rxnet->peer_hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 call->peer->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->rxcall 0
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 call->server->cell->vs_lock.first_waiter->type 0-1
PARAM_VALUE 0 call->type 4096-ptr_max
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 2600976256532205568,2887842287420342272,2914599170754764800,4225727755103789056
PARAM_VALUE 0 call->type->done 0,193620785219186688,1352947375732740096,2397148621637582848,2800373002724884480,2808722902978408448,6882357808197079040
PARAM_VALUE 0 call->type->immediate_cancel 0,1352947375732740096,4845783395462516736,6882357808197079040
PARAM_VALUE 0 call->type->op 0,130-142,149,156-158,527,533,64002,64014,64132,64135-64142,64149,64156-64158,64168,64173-64174,64176-64177,64187,64536-64538,65536-65540
PARAM_VALUE 0 call->type->work 0,225224137408839680,1219597856004562944,7038833935640633344,8185841911246405632,8898411814900891648
BUF_SIZE 0 call (-1),696
BUF_SIZE 0 call (-1),696
BUF_SIZE 0 call->buffer (-1)-24576
BUF_SIZE 0 call->iter (-1),40
BUF_SIZE 0 call->key (-1)-s32max
BUF_SIZE 0 call->request (-1)-0,72
BUF_SIZE 0 call->ret_alist (-1),56-1080
BUF_SIZE 0 call->ret_str (-1),1-257
BUF_SIZE 0 call->ret_vldb (-1),1,205-207,214-215,392
BUF_SIZE 0 call->type (-1),64
BUF_SIZE 0 call->write_iter (-1),40
CAPPED_DATA 0 call 1
DATA_SOURCE 0 call $0
CONTAINER 0 -24-0+0 $(-1)
NOSPEC 0 call->count
NOSPEC 0 call->error
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->count 0-u32max
USER_DATA 0 call->count2 0-u32max
USER_DATA 0 call->error (-132),(-129)-(-127),(-113)-(-110),(-104),(-101),(-99)[c]
USER_DATA 0 call->iov_len 0-17179869178,18446744073709486082-u64max
USER_DATA 0 call->op->create.mode 0-1023,16384-17407,32768-36862,65536-69631[c]
USER_DATA 0 call->op->rename.rename_flags 0-2[c]
USER_DATA 0 call->operation_ID 0[c]
USER_DATA 0 call->ret_alist->max_addrs 0-64[c]
USER_DATA 0 call->ret_alist->version 0-u32max
NO_OVERFLOW_SIMPLE 0 call->key->quotalen
NO_OVERFLOW_SIMPLE 0 call->op->addr_index
NO_OVERFLOW_SIMPLE 0 call->op->cumul_error.error
NO_OVERFLOW_SIMPLE 0 call->op->server_index
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_buffer
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_len
NO_OVERFLOW_SIMPLE 0 call->server_index
HALF_LOCKED2 &pool->lock