Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/hci_sysfs.c reset_store() -> (struct hci_dev)->reset()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->reset 1-u64max
CONTAINER 0 -9072+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

net/bluetooth/hci_core.c hci_cmd_timeout() -> (struct hci_dev)->reset()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->req_skb 0,4096-ptr_max
PARAM_VALUE 0 hdev->reset 1-u64max
CONTAINER 0 -9072+0 $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock