Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btrtl.c rtlbt_parse_firmware_v2() -> btrtl_parse_section()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->req_result 0
PARAM_VALUE 0 hdev->req_rsp 0
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->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 btrtl_dev 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->drop_fw 0
PARAM_VALUE 1 btrtl_dev->fw_len 21-s32max
PARAM_VALUE 1 btrtl_dev->ic_info 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->ic_info->lmp_subver 34563,34595,34657,34849-34850,34897-34898,35106
PARAM_VALUE 1 btrtl_dev->project_id 0-255
PARAM_VALUE 2 opcode 1
PARAM_VALUE 3 data 1-u64max
PARAM_VALUE 4 len 0-4294967287
BUF_SIZE 1 btrtl_dev (-1),72
BUF_SIZE 1 btrtl_dev (-1),72
CAPPED_DATA 1 btrtl_dev->ic_info->lmp_subver 1
CAPPED_DATA 1 btrtl_dev->project_id 1
CAPPED_DATA 4 len 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 btrtl_dev $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 btrtl_dev->rom_version 0-255
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

drivers/bluetooth/btrtl.c rtlbt_parse_firmware_v2() -> btrtl_parse_section()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->req_result 0
PARAM_VALUE 0 hdev->req_rsp 0
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->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 btrtl_dev 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->drop_fw 0
PARAM_VALUE 1 btrtl_dev->fw_len 21-s32max
PARAM_VALUE 1 btrtl_dev->ic_info 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->ic_info->lmp_subver 34563,34595,34657,34849-34850,34897-34898,35106
PARAM_VALUE 1 btrtl_dev->project_id 0-255
PARAM_VALUE 2 opcode 3
PARAM_VALUE 3 data 1-u64max
PARAM_VALUE 4 len 0-4294967287
BUF_SIZE 1 btrtl_dev (-1),72
BUF_SIZE 1 btrtl_dev (-1),72
CAPPED_DATA 1 btrtl_dev->ic_info->lmp_subver 1
CAPPED_DATA 1 btrtl_dev->project_id 1
CAPPED_DATA 4 len 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 btrtl_dev $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 btrtl_dev->rom_version 0-255
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock

drivers/bluetooth/btrtl.c rtlbt_parse_firmware_v2() -> btrtl_parse_section()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->req_result 0
PARAM_VALUE 0 hdev->req_rsp 0
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->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 btrtl_dev 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->drop_fw 0
PARAM_VALUE 1 btrtl_dev->fw_len 21-s32max
PARAM_VALUE 1 btrtl_dev->ic_info 4096-ptr_max
PARAM_VALUE 1 btrtl_dev->ic_info->lmp_subver 34563,34595,34657,34849-34850,34897-34898,35106
PARAM_VALUE 1 btrtl_dev->project_id 0-255
PARAM_VALUE 2 opcode 2
PARAM_VALUE 3 data 1-u64max
PARAM_VALUE 4 len 0-4294967287
BUF_SIZE 1 btrtl_dev (-1),72
BUF_SIZE 1 btrtl_dev (-1),72
CAPPED_DATA 1 btrtl_dev->ic_info->lmp_subver 1
CAPPED_DATA 1 btrtl_dev->project_id 1
CAPPED_DATA 4 len 1
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 btrtl_dev $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 btrtl_dev->rom_version 0-255
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 0 &hdev->req_lock
TYPE_LOCK (struct hci_dev)->req_lock