Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/input.c rxrpc_input_data_one() -> rxrpc_input_update_ack_window()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
DATA_SOURCE 0 call $0
NOCHECK_CALL
UNITS 1 window unit_byte
UNITS 2 wtop unit_byte

net/rxrpc/input.c rxrpc_input_queue_data() -> rxrpc_input_update_ack_window()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
CAPPED_DATA 0 call->rx_oos_queue.next 1
DATA_SOURCE 0 call $0
DATA_SOURCE 1 window $2
DATA_SOURCE 2 wtop $3
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 window unit_byte
UNITS 2 wtop unit_byte
LOCK2 irq
LOCK2 0 &call->recvmsg_queue.lock
TYPE_LOCK (struct sk_buff_head)->lock