Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/afs/rxrpc.c afs_deliver_cm_op_id() -> afs_set_call_state()

Type Parameter Key Value
PARAM_VALUE 0 call 3806305390020919296
PARAM_VALUE 0 call->need_attention 0
PARAM_VALUE 0 call->net 4096-ptr_max
PARAM_VALUE 0 call->net->socket 4096-ptr_max
PARAM_VALUE 0 call->rxcall 0,4096-ptr_max
PARAM_VALUE 0 call->rxcall->ackr_nr_consumed.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->recvmsg_queue.qlen 0-4294967295
PARAM_VALUE 0 call->rxcall->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->rx_consumed 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_dec_bsize 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_offset 0
PARAM_VALUE 0 call->rxcall->rx_dec_seq 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_pkt_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_pkt_offset 0-u16max
PARAM_VALUE 0 call->rxcall->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 call->rxcall->user_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 call->rxcall->user_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 call->rxcall->user_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 call->state 0-7
PARAM_VALUE 0 call->type 1742971365166383104
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 0,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->rxcall->rx_dec_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 from 3
PARAM_VALUE 2 to 4
BUF_SIZE 0 call->ret_vldb (-1),392
BUF_SIZE 0 call->type (-1),64
DATA_SOURCE 0 call $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 call->iov_len 0-17179869179,18446744073709486082-u64max
USER_DATA 0 call->operation_ID 0-u32max
USER_DATA 0 call->rxcall->rx_pkt_len 1-65534[c][u]
USER_DATA 0 call->rxcall->rx_pkt_offset 0-u16max[c][u]
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

fs/afs/rxrpc.c afs_extract_data() -> afs_set_call_state()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->need_attention 0
PARAM_VALUE 0 call->net 4096-ptr_max
PARAM_VALUE 0 call->net->socket 4096-ptr_max
PARAM_VALUE 0 call->rxcall 4096-ptr_max
PARAM_VALUE 0 call->rxcall->ackr_nr_consumed.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->recvmsg_queue.qlen 0-4294967295
PARAM_VALUE 0 call->rxcall->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->rx_consumed 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_dec_bsize 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_offset 0
PARAM_VALUE 0 call->rxcall->rx_dec_seq 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_pkt_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_pkt_offset 0-u16max
PARAM_VALUE 0 call->rxcall->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 call->rxcall->user_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 call->rxcall->user_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 call->state 0-7
PARAM_VALUE 0 call->type 4096-ptr_max
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 0,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->rxcall->rx_dec_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 from 1
PARAM_VALUE 2 to 2
BUF_SIZE 0 call->buffer (-1)-24576
BUF_SIZE 0 call->iter (-1),40
BUF_SIZE 0 call->request (-1)-1200
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),392
BUF_SIZE 0 call->type (-1),64
CAPPED_DATA 0 call 1
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
USER_DATA 0 call->iov_len 0-4294967294,18446744073709486082-u64max
USER_DATA 0 call->operation_ID 204-206,213-214,64204,65538
USER_DATA 0 call->ret_alist->max_addrs 0-64[c]
USER_DATA 0 call->ret_alist->version 0-u32max
USER_DATA 0 call->rxcall->rx_pkt_len 1-65534[c][u]
USER_DATA 0 call->rxcall->rx_pkt_offset 0-u16max[c][u]
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

fs/afs/rxrpc.c afs_extract_data() -> afs_set_call_state()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 call->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 call->need_attention 0
PARAM_VALUE 0 call->net 4096-ptr_max
PARAM_VALUE 0 call->net->socket 4096-ptr_max
PARAM_VALUE 0 call->rxcall 4096-ptr_max
PARAM_VALUE 0 call->rxcall->ackr_nr_consumed.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->recvmsg_queue.qlen 0-4294967295
PARAM_VALUE 0 call->rxcall->ref.refs.counter s32min-s32max
PARAM_VALUE 0 call->rxcall->rx_consumed 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_dec_bsize 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_dec_offset 0
PARAM_VALUE 0 call->rxcall->rx_dec_seq 0-4294967295
PARAM_VALUE 0 call->rxcall->rx_pkt_len 0-u16max
PARAM_VALUE 0 call->rxcall->rx_pkt_offset 0-u16max
PARAM_VALUE 0 call->rxcall->user_mutex.dep_map->name 0-255
PARAM_VALUE 0 call->rxcall->user_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 call->rxcall->user_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 call->state 0,2-7
PARAM_VALUE 0 call->type 4096-ptr_max
PARAM_VALUE 0 call->type->async_rx 0,2529302963638476800
PARAM_VALUE 0 call->type->destructor 0,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->rxcall->rx_dec_buffer (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 from 4
PARAM_VALUE 2 to 5
BUF_SIZE 0 call->buffer (-1)-24576
BUF_SIZE 0 call->iter (-1),40
BUF_SIZE 0 call->request (-1)-1200
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),392
BUF_SIZE 0 call->type (-1),64
CAPPED_DATA 0 call 1
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
USER_DATA 0 call->iov_len 0-4294967294,18446744073709486082-u64max
USER_DATA 0 call->operation_ID 204-206,213-214,64204,65538
USER_DATA 0 call->ret_alist->max_addrs 0-64[c]
USER_DATA 0 call->ret_alist->version 0-u32max
USER_DATA 0 call->rxcall->rx_pkt_len 1-65534[c][u]
USER_DATA 0 call->rxcall->rx_pkt_offset 0-u16max[c][u]
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

fs/afs/rxrpc.c afs_notify_end_reply_tx() -> afs_set_call_state()

Type Parameter Key Value
PARAM_VALUE 1 from 5
PARAM_VALUE 2 to 6
DATA_SOURCE 0 call $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rxcall->user_mutex

fs/afs/rxrpc.c afs_notify_end_request_tx() -> afs_set_call_state()

Type Parameter Key Value
PARAM_VALUE 1 from 0
PARAM_VALUE 2 to 1
DATA_SOURCE 0 call $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &rxcall->user_mutex