Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bluetooth/mgmt.c mgmt_device_found() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
BUF_SIZE 0 hdev->recv_event (-1),1-s32max
CAPPED_DATA 0 &hdev->pend_le_reports 1
DATA_SOURCE 0 hdev $0
PARAM_COMPARE 0 &hdev->pend_le_reports == $0->pend_le_reports.next
RX_PATH
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->data_len
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->end
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->len
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->prev->data_len
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->prev->end
NO_OVERFLOW_SIMPLE 0 hdev->cmd_q.next->prev->len
USER_PTR 0 hdev->recv_event->data
LOCK2 &pool->lock
LOCK2 0 &hdev->lock
TYPE_LOCK (struct hci_dev)->lock

net/bluetooth/hci_sync.c hci_active_scan_sync() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hci_dev)->req_lock

net/bluetooth/hci_sync.c hci_passive_scan_sync() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hdev->adv_data_len
NO_OVERFLOW_SIMPLE 0 hdev->scan_rsp_data_len
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &hdev->req_lock

net/bluetooth/hci_sync.c hci_update_interleaved_scan_sync() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hdev->adv_data_len
NO_OVERFLOW_SIMPLE 0 hdev->scan_rsp_data_len
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &hdev->req_lock

net/bluetooth/hci_sync.c hci_update_passive_scan_sync() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hdev->adv_data_len
NO_OVERFLOW_SIMPLE 0 hdev->scan_rsp_data_len
LOCK2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

net/bluetooth/hci_sync.c hci_update_passive_scan_sync() -> hci_is_adv_monitoring()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
CAPPED_DATA 0 &hdev->pend_le_conns 1
CAPPED_DATA 0 &hdev->pend_le_reports 1
DATA_SOURCE 0 hdev $0
PARAM_COMPARE 0 &hdev->pend_le_conns == $0->pend_le_conns.next
PARAM_COMPARE 0 &hdev->pend_le_reports == $0->pend_le_reports.next
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hdev->adv_data_len
NO_OVERFLOW_SIMPLE 0 hdev->scan_rsp_data_len
LOCK2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock