Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hid/hid-samsung.c samsung_irda_report_fixup() -> samsung_irda_dev_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->report_fixup | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdev->io_started | 0 |
| PARAM_VALUE | 0 | hdev->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->product | 1 |
| PARAM_VALUE | 1 | rsize | 184 |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| BIT_INFO | 0 | hdev->status | 0x0,0xfffffffffffffffd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &hdev->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |
drivers/hid/hid-samsung.c samsung_irda_report_fixup() -> samsung_irda_dev_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->report_fixup | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdev->io_started | 0 |
| PARAM_VALUE | 0 | hdev->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->product | 1 |
| PARAM_VALUE | 1 | rsize | 203 |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| BIT_INFO | 0 | hdev->status | 0x0,0xfffffffffffffffd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &hdev->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |
drivers/hid/hid-samsung.c samsung_irda_report_fixup() -> samsung_irda_dev_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->report_fixup | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdev->io_started | 0 |
| PARAM_VALUE | 0 | hdev->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->product | 1 |
| PARAM_VALUE | 1 | rsize | 135 |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| BIT_INFO | 0 | hdev->status | 0x0,0xfffffffffffffffd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &hdev->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |
drivers/hid/hid-samsung.c samsung_irda_report_fixup() -> samsung_irda_dev_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf_rdesc | 1-u64max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->devres_group_id | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->report_fixup | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->list.prev->next | 5349227543279349760 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner | (-1) |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hdev->io_started | 0 |
| PARAM_VALUE | 0 | hdev->ll_driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->product | 1 |
| PARAM_VALUE | 1 | rsize | 171 |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| BIT_INFO | 0 | hdev->status | 0x0,0xfffffffffffffffd |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &hdev->driver_input_lock | |
| TYPE_LOCK | (struct hid_device)->driver_input_lock |