Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/iso.c iso_recv() -> iso_recv_frame()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->ref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 conn->rx_len 0
PARAM_VALUE 0 conn->rx_skb 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->len 0-4095
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
BUF_SIZE 0 conn 120
CAPPED_DATA 1 skb->len 1
DATA_SOURCE 1 skb $2
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/bluetooth/iso.c iso_recv() -> iso_recv_frame()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->ref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 conn->rx_len 0
PARAM_VALUE 0 conn->rx_skb 0
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 0 conn 120
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock