Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btmtk.c btmtk_usb_id_get() -> btmtk_usb_reg_read()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->req_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hdev->req_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdev->req_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdev->req_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hdev->req_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 reg 1879113760,1879114240,2147483656,2147618820
PARAM_VALUE 2 val 768172494649303040,1472733254404145152,4839610264820514816,5538539153216503808
PARAM_VALUE 2 *val 0-30306,30308-u32max
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 reg $1
DATA_SOURCE 2 val $2
HARD_MAX 1 reg 2147618820
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock