Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/hci_bcm.c bcm_close() -> bcm_device_exists()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 device unit_byte
LOCK2 global &bcm_device_lock
HALF_LOCKED2 &tty->ldisc_sem

drivers/bluetooth/hci_bcm.c bcm_dequeue() -> bcm_device_exists()

Type Parameter Key Value
UNITS 0 device unit_byte
LOCK2 global &bcm_device_lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/hci_bcm.c bcm_recv() -> bcm_device_exists()

Type Parameter Key Value
PARAM_VALUE 0 device 1-u64max
RX_PATH
UNITS 0 device unit_byte
LOCK2 global &bcm_device_lock
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/hci_bcm.c bcm_request_irq() -> bcm_device_exists()

Type Parameter Key Value
PARAM_VALUE 0 device 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 device unit_byte
LOCK2 &hdev->req_lock
LOCK2 global &bcm_device_lock
TYPE_LOCK (struct hci_dev)->req_lock