Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/hci_core.c hci_sched_acl_pkt() -> __check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 2 type 1
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 2 type 130-132
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 2 type $1
HARD_MAX 2 type 132
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_core.c hci_sched_le() -> __check_timeout()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 2 type 128
CAPPED_DATA 0 hdev 1
DATA_SOURCE 0 hdev $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock