Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/sendmsg.c rxrpc_send_data() -> rxrpc_check_tx_space()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 1 _tx_win 0
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 call->user_call_ID 0-u64max[c]
HALF_LOCKED2 0 &call->user_mutex

net/rxrpc/sendmsg.c rxrpc_wait_for_tx_window_intr() -> rxrpc_check_tx_space()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 1 _tx_win 0
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 call->user_call_ID 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 call->hard_timo
HALF_LOCKED2 &rx->sk

net/rxrpc/sendmsg.c rxrpc_wait_for_tx_window_nonintr() -> rxrpc_check_tx_space()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 1 _tx_win 0
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 call->user_call_ID 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 call->hard_timo
HALF_LOCKED2 &rx->sk

net/rxrpc/sendmsg.c rxrpc_wait_for_tx_window_waitall() -> rxrpc_check_tx_space()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 1 _tx_win 6193361106389843968
DATA_SOURCE 0 call $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 call->user_call_ID 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 call->hard_timo
HALF_LOCKED2 &rx->sk