Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/hci_core.c hci_sched_iso() -> hci_low_sent()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->iso_cnt s32min-(-1),1-s32max
PARAM_VALUE 1 type 130-132
PARAM_VALUE 2 quote 2537340664492163072
CAPPED_DATA 0 hdev 1
CAPPED_DATA 1 type 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 type $1
HARD_MAX 1 type 132
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_core.c hci_sched_iso() -> hci_low_sent()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->iso_cnt s32min-(-1),1-s32max
PARAM_VALUE 1 type 130-132
PARAM_VALUE 2 quote 2537340664492163072
CAPPED_DATA 0 hdev 1
CAPPED_DATA 1 type 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 type $1
HARD_MAX 1 type 132
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_core.c hci_sched_sco() -> hci_low_sent()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->sco_pkts 1-u32max
PARAM_VALUE 1 type 0,2
PARAM_VALUE 2 quote 1592300283885252608
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 type $1
HARD_MAX 1 type 2
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_core.c hci_sched_sco() -> hci_low_sent()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->sco_pkts 1-u32max
PARAM_VALUE 1 type 0,2
PARAM_VALUE 2 quote 1592300283885252608
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 type $1
HARD_MAX 1 type 2
HALF_LOCKED2 &pool->lock