Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/bluetooth/hci_qca.c hci_reset_dev() -> __hci_reset_dev()

Type Parameter Key Value
PARAM_VALUE 1 hw_err_code 0
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &qca->hci_memdump_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct qca_data)->hci_memdump_lock

drivers/bluetooth/btmtksdio.c hci_reset_dev() -> __hci_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->reset 1-u64max
PARAM_VALUE 1 hw_err_code 0
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

net/bluetooth/hci_core.c hci_reset_dev() -> __hci_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 1 hw_err_code 0
DATA_SOURCE 0 hdev $0
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btnxpuart.c nxp_set_ind_reset() -> __hci_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 1 hw_err_code 176
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &hdev->req_lock

drivers/bluetooth/hci_h5.c hci_reset_dev() -> __hci_reset_dev()

Type Parameter Key Value
PARAM_VALUE 0 hdev 0,4096-ptr_max
PARAM_VALUE 1 hw_err_code 0
DATA_SOURCE 0 hdev $0
RX_PATH
HALF_LOCKED2 &buf->lock