Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/carl9170/rx.c carl9170_rx_untie_cmds() -> carl9170_handle_command_response()

Type Parameter Key Value
PARAM_VALUE 0 ar 4096-ptr_max
PARAM_VALUE 0 ar->rx_work.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ar->wps.pbc->mt->slot s32min-s32max
PARAM_VALUE 1 buf 4096-ptr_max
DATA_SOURCE 0 ar $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ar->rx_failover->len
NO_OVERFLOW_SIMPLE 0 ar->rx_failover->tail
NO_OVERFLOW_SIMPLE 0 ar->rx_failover_missing
UNITS 2 len unit_byte
HALF_LOCKED2 bh

drivers/net/wireless/ath/carl9170/usb.c carl9170_usb_rx_irq_complete() -> carl9170_handle_command_response()

Type Parameter Key Value
PARAM_VALUE 0 ar 1-u64max
PARAM_VALUE 1 buf->_refcount.counter s32min-s32max
PARAM_VALUE 1 buf->memcg_data 0
PARAM_VALUE 1 buf->page_type 0-4294967295
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 0 ar s32min-(-1),1-s32max
BUF_SIZE 1 buf s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 0-u32max[c][u]
NO_OVERFLOW_SIMPLE 1 buf
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 ar unit_byte
UNITS 1 buf unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &pool->lock