Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxperf.c rxperf_deliver_param_block() -> rxperf_set_call_state()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->state 0-2,4
PARAM_VALUE 1 to 1
BUF_SIZE 0 call->type 4-5
DATA_SOURCE 0 call $0
STR_LEN 0 call->type 3-4
BIT_INFO 0 call->iov_len 0x0,0xc
BIT_INFO 0 call->type 0x2020044611400000,0x37fbfffffffbf000
TERMINATED 0 call->type 1
NOCHECK_CALL
USER_DATA 0 call->operation_id 0-1,3
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->rxcall->rx_dec_buffer
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_len
HALF_LOCKED2 &pool->lock

net/rxrpc/rxperf.c rxperf_extract_data() -> rxperf_set_call_state()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->state 1
PARAM_VALUE 1 to 2
BUF_SIZE 0 call->type (-1),4-5
DATA_SOURCE 0 call $0
STR_LEN 0 call->type (-1),3-4
NOCHECK_CALL
USER_DATA 0 call->iov_len 0-4294967294,18446744073709486082-u64max
USER_DATA 0 call->operation_id 0-1,3
USER_DATA 0 call->reply_len 0-u32max
USER_DATA 0 call->req_len 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->rxcall->rx_dec_buffer
NO_OVERFLOW_SIMPLE 0 call->rxcall->rx_dec_len
HALF_LOCKED2 &pool->lock

net/rxrpc/rxperf.c rxperf_notify_end_reply_tx() -> rxperf_set_call_state()

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