Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/bluetooth/btmrvl_sdio.c btmrvl_sdio_card_to_host() -> btmrvl_process_event()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->adapter->int_count 0
PARAM_VALUE 0 priv->btmrvl_dev.card 4096-ptr_max
PARAM_VALUE 0 priv->btmrvl_dev.sendcmdflag 0-1
PARAM_VALUE 0 priv->btmrvl_dev.tx_dnld_rdy 0-1
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->surprise_removed 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 0 priv 256
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r bt_skb_alloc
FUZZY_MAX 0 priv->btmrvl_dev.tx_dnld_rdy 1