Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

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 &registration_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