Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/input.c devm_input_device_unregister() -> __input_unregister_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/input/input.c input_unregister_device() -> __input_unregister_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->devres_managed | 1 |
| PARAM_VALUE | 0 | dev->poller->poll_interval | 0-4294967295 |
| PARAM_VALUE | 0 | dev->poller->poll_interval_max | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->rep | s32min-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | dev->keycode | (-1),240 |
| BUF_SIZE | 0 | dev->name | (-1),15,24,41,128 |
| BUF_SIZE | 0 | dev->phys | (-1),27,32,64 |
| BUF_SIZE | 0 | dev->uniq | (-1),64 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev->name | (-1)-127 |
| STR_LEN | 0 | dev->phys | (-1)-63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->id.product | 0-255 |
| HOST_DATA | 0 | dev->id.version | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | dev->keycodemax | |
| NO_OVERFLOW_SIMPLE | 0 | dev->max_vals | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &conn->lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &dev->reclaim_sem | ||
| HALF_LOCKED2 | &gspca_dev->usb_lock | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | &ictx->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &em28xx_devlist_mutex | ||
| HALF_LOCKED2 | global &hidp_session_sem | ||
| HALF_LOCKED2 | global &psmouse_mutex |
drivers/input/input.c input_unregister_device() -> __input_unregister_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->devres_managed | 0 |
| PARAM_VALUE | 0 | dev->poller->poll_interval | 0-4294967295 |
| PARAM_VALUE | 0 | dev->poller->poll_interval_max | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->rep | s32min-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->dev.parent | (-1),1616 |
| BUF_SIZE | 0 | dev->keycode | (-1),240 |
| BUF_SIZE | 0 | dev->name | (-1),15,24,41,128 |
| BUF_SIZE | 0 | dev->phys | (-1),27,32,64 |
| BUF_SIZE | 0 | dev->uniq | (-1),64 |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev->name | (-1)-127 |
| STR_LEN | 0 | dev->phys | (-1)-63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->id.product | 0-255 |
| HOST_DATA | 0 | dev->id.version | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | dev->keycodemax | |
| NO_OVERFLOW_SIMPLE | 0 | dev->max_vals | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &conn->lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &dev->reclaim_sem | ||
| HALF_LOCKED2 | &gspca_dev->usb_lock | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | &ictx->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &em28xx_devlist_mutex | ||
| HALF_LOCKED2 | global &hidp_session_sem | ||
| HALF_LOCKED2 | global &psmouse_mutex |