Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/pps/clients/pps-gpio.c
- drivers/pps/clients/pps-ktimer.c, line 62
- drivers/pps/clients/pps-ldisc.c
- drivers/pps/clients/pps_parport.c, line 212
- drivers/pps/kapi.c, line 141
- drivers/ptp/ptp_clock.c
Smatch caller information:
drivers/pps/clients/pps_parport.c parport_detach() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &core_lock | ||
| HALF_LOCKED2 | global ®istration_lock |
drivers/pps/clients/pps-ldisc.c pps_tty_close() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pps | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.driver | 0,4096-ptr_max |
| CAPPED_DATA | 0 | pps->lookup_cookie | 1 |
| DATA_SOURCE | 0 | pps | r pps_lookup_dev |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->legacy_mutex |
drivers/pps/clients/pps-ldisc.c pps_tty_open() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pps | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.class->class_groups | 0 |
| PARAM_VALUE | 0 | pps->dev.class->class_release | 0 |
| PARAM_VALUE | 0 | pps->dev.class->dev_groups | 293165075502260224 |
| PARAM_VALUE | 0 | pps->dev.class->dev_release | 0 |
| PARAM_VALUE | 0 | pps->dev.class->dev_uevent | 0 |
| PARAM_VALUE | 0 | pps->dev.class->devnode | 0 |
| PARAM_VALUE | 0 | pps->dev.class->get_ownership | 0 |
| PARAM_VALUE | 0 | pps->dev.class->name | 1557733670552317952 |
| PARAM_VALUE | 0 | pps->dev.class->namespace | 0 |
| PARAM_VALUE | 0 | pps->dev.class->ns_type | 0 |
| PARAM_VALUE | 0 | pps->dev.class->pm | 0 |
| PARAM_VALUE | 0 | pps->dev.class->shutdown_pre | 0 |
| PARAM_VALUE | 0 | pps->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->defpool.vaddr | 0 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pps->dev.kobj->release.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.sd->__parent | 0 |
| PARAM_VALUE | 0 | pps->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pps->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pps->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pps->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pps->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pps->dev.parent->kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.physical_location->dock | 0 |
| PARAM_VALUE | 0 | pps->dev.physical_location->lid | 0 |
| PARAM_VALUE | 0 | pps->dev.physical_location->panel | 0 |
| PARAM_VALUE | 0 | pps->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->id | 0-s32max |
| PARAM_VALUE | 0 | pps->lookup_cookie | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->queue.head.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | pps | 2000 |
| BUF_SIZE | 0 | pps->lookup_cookie | s32min,(-1),1-s32max |
| CAPPED_DATA | 0 | pps | 1 |
| DATA_SOURCE | 0 | pps | r pps_register_source |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &tty->legacy_mutex | ||
| HALF_LOCKED2 | &tty->legacy_mutex |
drivers/ptp/ptp_clock.c ptp_clock_register() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pps | 1-u64max |
| PARAM_VALUE | 0 | pps->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| BUF_SIZE | 0 | pps | (-1),2000 |
| BUF_SIZE | 0 | pps | (-1),2000 |
| BUF_SIZE | 0 | pps->lookup_cookie | 2928,u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &adapter->vport_ctrl_lock | ||
| HALF_LOCKED2 | &chip->reg_lock | ||
| HALF_LOCKED2 | &clock->clock_lock | ||
| HALF_LOCKED2 | &mdev->intf_state_mutex | ||
| HALF_LOCKED2 | &mvm->mutex | ||
| HALF_LOCKED2 | &netdev->lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pclock->n_vclocks_mux | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &iwlwifi_opmode_table_mtx | ||
| HALF_LOCKED2 | idt82p33->lock | ||
| HALF_LOCKED2 | idtcm->lock | ||
| HALF_LOCKED2 | idtfc3->lock |
drivers/ptp/ptp_clock.c ptp_clock_unregister() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pps | 1-u64max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->can_grow | 0-1 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->debugfs | 0-s64max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->force_bounce | 0-1 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->nslabs | 0-s64max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | pps->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &adapter->vport_ctrl_lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &mdev->intf_state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &iwlwifi_opmode_table_mtx |
drivers/pps/clients/pps-gpio.c pps_gpio_probe() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pps | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.class->dev_groups | 293165075502260224 |
| PARAM_VALUE | 0 | pps->dev.class->name | 1557733670552317952 |
| PARAM_VALUE | 0 | pps->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pps->dev.kobj->release.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | pps->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pps->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pps->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pps->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pps->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pps->dev.parent->kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->id | 0-s32max |
| PARAM_VALUE | 0 | pps->queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pps->queue.head.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | pps | 2000 |
| CAPPED_DATA | 0 | pps | 1 |
| DATA_SOURCE | 0 | pps | r pps_register_source |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pps/clients/pps-gpio.c pps_gpio_remove() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/pps/clients/pps-ktimer.c pps_ktimer_exit() -> pps_unregister_source()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |