btintel_bootloader_setup identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/bluetooth/btintel.c, line 2204 (as a function)

Referenced in 1 files:

drivers/bluetooth/btintel.c
- line 3772
- line 3851

Smatch caller information:

drivers/bluetooth/btintel.c btintel_setup_combined() -> btintel_bootloader_setup()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->cmd_cnt.counter	1
PARAM_VALUE	0	hdev->dev_flags	4096-ptr_max
PARAM_VALUE	0	hdev->dump.alloc_size	0
PARAM_VALUE	0	hdev->dump.dump_q.next	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->dump.dump_q.prev	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->dump.dump_q.qlen	0
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next->next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev->next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	hdev->dump.head	0
PARAM_VALUE	0	hdev->dump.state	0
PARAM_VALUE	0	hdev->dump.tail	0
PARAM_VALUE	0	hdev->msft_opcode	64542
PARAM_VALUE	0	hdev->quirk_flags	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	0	hdev->req_rsp->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_rsp->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->req_rsp->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_status	0-1
PARAM_VALUE	0	hdev->req_workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	hdev->req_workqueue->work_color	s32min-s32max
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->set_quality_report	6291660545151021056
PARAM_VALUE	0	hdev->setup	1-u64max
PARAM_VALUE	0	hdev->workqueue->flags	0-4294967295
PARAM_VALUE	0	hdev->workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->nr_drainers	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->work_color	s32min-s32max
PARAM_VALUE	1	ver	1798423792190414848
PARAM_VALUE	1	ver->hw_variant	11-12,17-20
CAPPED_DATA	0	hdev	1
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

drivers/bluetooth/btintel.c btintel_setup_combined() -> btintel_bootloader_setup()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->cmd_cnt.counter	1
PARAM_VALUE	0	hdev->dev_flags	4096-ptr_max
PARAM_VALUE	0	hdev->dump.alloc_size	0
PARAM_VALUE	0	hdev->dump.dump_q.next	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->dump.dump_q.prev	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->dump.dump_q.qlen	0
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next->next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev->next	1-u64max
PARAM_VALUE	0	hdev->dump.dump_timeout.work.entry.prev->prev	1-u64max
PARAM_VALUE	0	hdev->dump.head	0
PARAM_VALUE	0	hdev->dump.state	0
PARAM_VALUE	0	hdev->dump.tail	0
PARAM_VALUE	0	hdev->msft_opcode	64542
PARAM_VALUE	0	hdev->quirk_flags	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	0	hdev->req_rsp->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_rsp->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->req_rsp->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->req_skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->req_status	0-1
PARAM_VALUE	0	hdev->req_workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	hdev->req_workqueue->work_color	s32min-s32max
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hdev->sent_cmd->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hdev->set_quality_report	6291660545151021056
PARAM_VALUE	0	hdev->setup	1-u64max
PARAM_VALUE	0	hdev->workqueue->flags	0-4294967295
PARAM_VALUE	0	hdev->workqueue->flush_color	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->nr_drainers	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->work_color	s32min-s32max
PARAM_VALUE	1	ver	1798423792190414848
CAPPED_DATA	0	hdev	1
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