Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hid/hid-magicmouse.c __magicmouse_raw_event() -> __magicmouse_raw_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf.destroyed | 0 |
| PARAM_VALUE | 0 | hdev->debug_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | hdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->raw_event | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver->report_table->report_type | 0-4294967293,u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_code | 0-u16max,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_type | 0-255,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.count | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.dep_map->name | 0-255 |
| 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->ll_driver->idle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->ll_driver->may_wakeup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->output_report | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->power | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->request | 0,5063944467320635392,5622718608058388480,7328449251628552192 |
| PARAM_VALUE | 0 | hdev->ll_driver->start | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->wait | 0,4096-ptr_max |
| PARAM_VALUE | 1 | report | 1-u64max |
| PARAM_VALUE | 3 | size | 0-255 |
| PARAM_VALUE | 4 | nested | 1 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | report | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->name | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->uniq | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->dyn_callback_lock | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_input_lock | |
| HALF_LOCKED2 | 0 | &hdev->ll_open_lock |
drivers/hid/hid-magicmouse.c __magicmouse_raw_event() -> __magicmouse_raw_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf.destroyed | 0 |
| PARAM_VALUE | 0 | hdev->debug_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | hdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->dev.parent->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->raw_event | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver->report_table->report_type | 0-4294967293,u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_code | 0-1,11,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_type | 1-2,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.count | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.dep_map->name | 0-255 |
| 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->ll_driver->idle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->ll_driver->may_wakeup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->output_report | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->power | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->request | 0,5063944467320635392,5622718608058388480,7328449251628552192 |
| PARAM_VALUE | 0 | hdev->ll_driver->start | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->wait | 0,4096-ptr_max |
| PARAM_VALUE | 1 | report | 1-u64max |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 4 | nested | 1 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | report | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->name | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->uniq | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->dyn_callback_lock | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_input_lock | |
| HALF_LOCKED2 | 0 | &hdev->ll_open_lock |
drivers/hid/hid-magicmouse.c magicmouse_raw_event() -> __magicmouse_raw_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->bpf.destroyed | 0 |
| PARAM_VALUE | 0 | hdev->debug_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc | 0,1744715142275031040,2065280936184246272,2938795245442469888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->alloc_pages_op | 0,4686288359180861440,6350905364812603392,6978773206971854848 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->cache_sync | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free | 0,4778164490434129920,7144974343242604544,7861694134817480704 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->free_pages | 0,239457316199952384,5196233516945883136,7413093576918179840 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_merge_boundary | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_required_mask | 0,7770840938859397120 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->get_sgtable | 0,1322759480623644672 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->max_mapping_size | 0,8830639662091943936 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->opt_mapping_size | 0 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_cpu | 0,4862850025765572608 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_sg_for_device | 0,3732476178258022400 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_cpu | 0,1155325867376779264 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->sync_single_for_device | 0,8781567156597239808 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | hdev->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | hdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | hdev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->driver->raw_event | 1-u64max |
| PARAM_VALUE | 0 | hdev->driver->report_table->report_type | 0-4294967293,u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_code | 0-u16max,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver->usage_table->usage_type | 0-255,4294967294-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.count | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | hdev->driver_input_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | hdev->driver_input_lock.lock.dep_map->name | 0-255 |
| 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->ll_driver->idle | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->max_buffer_size | 0,4096 |
| PARAM_VALUE | 0 | hdev->ll_driver->may_wakeup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->output_report | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->power | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->request | 0,5063944467320635392,5622718608058388480,7328449251628552192 |
| PARAM_VALUE | 0 | hdev->ll_driver->start | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ll_driver->wait | 0,4096-ptr_max |
| PARAM_VALUE | 1 | report | 1-u64max |
| PARAM_VALUE | 2 | data | 0-ptr_max |
| PARAM_VALUE | 3 | size | s32min-(-1),1-s32max |
| PARAM_VALUE | 4 | nested | 0 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev->bpf_rdesc | (-1)-s32max |
| BUF_SIZE | 0 | hdev->devres_group_id | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | data | s32min-(-1),1-s32max |
| CAPPED_DATA | 3 | size | 1 |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | report | $1 |
| DATA_SOURCE | 2 | data | $2 |
| DATA_SOURCE | 3 | size | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | size | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | hdev->name | |
| NO_OVERFLOW_SIMPLE | 0 | hdev->uniq | |
| NO_OVERFLOW_SIMPLE | 3 | size | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->dyn_callback_lock | |
| HALF_LOCKED2 | 0 | &hdev->dev.driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_data->mutex | |
| HALF_LOCKED2 | 0 | &hdev->driver_input_lock | |
| HALF_LOCKED2 | 0 | &hdev->ll_open_lock |