Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

kernel/dma/map_benchmark.c do_map_benchmark() -> kthread_stop_put()

Type Parameter Key Value

net/netfilter/ipvs/ip_vs_est.c ip_vs_est_kthread_destroy() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipvs->est_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/netfilter/ipvs/ip_vs_est.c ip_vs_est_kthread_stop() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
HALF_LOCKED2 &ipvs->est_mutex

net/core/pktgen.c pg_net_exit() -> kthread_stop_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

drivers/gpu/drm/i915/gt/intel_migrate.c threaded_migrate() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-ptr_max

drivers/usb/usbip/vhci_hcd.c vhci_shutdown_connection() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/usb/usbip/vhci_hcd.c vhci_shutdown_connection() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

kernel/irq/manage.c __free_irq() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &desc->request_mutex
TYPE_LOCK (struct irq_desc)->request_mutex

kernel/irq/manage.c __free_irq() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &desc->request_mutex
TYPE_LOCK (struct irq_desc)->request_mutex

kernel/irq/manage.c __setup_irq() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/irq/manage.c __setup_irq() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/gfs2/ops_fstype.c gfs2_destroy_threads() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/gfs2/ops_fstype.c gfs2_destroy_threads() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sb->s_umount

fs/gfs2/ops_fstype.c init_threads() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
NOCHECK_CALL

drivers/dma-buf/st-dma-fence.c test_race_signal_callback() -> kthread_stop_put()

Type Parameter Key Value
NOCHECK_CALL

drivers/dma-buf/st-dma-fence.c test_race_signal_callback() -> kthread_stop_put()

Type Parameter Key Value

drivers/net/xen-netback/interface.c xenvif_disconnect_queue() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &xenwatch_mutex

drivers/dma-buf/st-dma-fence-chain.c test_find_race() -> kthread_stop_put()

Type Parameter Key Value

drivers/dma-buf/st-dma-fence-chain.c test_wait_backward() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
PARAM_VALUE 0 k->blocked_on 0
PARAM_VALUE 0 k->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 k->migration_disabled 0-1
PARAM_VALUE 0 k->on_rq 0-1,3-255
PARAM_VALUE 0 k->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 k->saved_state 0
PARAM_VALUE 0 k->wake_cpu 0-s32max
DATA_SOURCE 0 k r kthread_create_on_node

drivers/dma-buf/st-dma-fence-chain.c test_wait_forward() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
PARAM_VALUE 0 k->blocked_on 0
PARAM_VALUE 0 k->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 k->migration_disabled 0-1
PARAM_VALUE 0 k->on_rq 0-1,3-255
PARAM_VALUE 0 k->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 k->saved_state 0
PARAM_VALUE 0 k->wake_cpu 0-s32max
DATA_SOURCE 0 k r kthread_create_on_node

drivers/dma-buf/st-dma-fence-chain.c test_wait_random() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
PARAM_VALUE 0 k->blocked_on 0
PARAM_VALUE 0 k->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 k->migration_disabled 0-1
PARAM_VALUE 0 k->on_rq 0-1,3-255
PARAM_VALUE 0 k->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 k->saved_state 0
PARAM_VALUE 0 k->wake_cpu 0-s32max
DATA_SOURCE 0 k r kthread_create_on_node

drivers/usb/usbip/stub_dev.c stub_shutdown_connection() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/usb/usbip/stub_dev.c stub_shutdown_connection() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

kernel/smpboot.c smpboot_destroy_threads() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 global &smpboot_threads_lock

drivers/usb/usbip/vhci_sysfs.c attach_store() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
DATA_SOURCE 0 k r kthread_create_on_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 &vdev->ud.sysfs_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/usb/usbip/vhci_sysfs.c attach_store() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
DATA_SOURCE 0 k r kthread_create_on_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 &vdev->ud.sysfs_lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/usb/usbip/vudc_dev.c vudc_shutdown() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/usb/usbip/vudc_dev.c vudc_shutdown() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 1-u64max
NOCHECK_CALL
LOCK2 &ud->sysfs_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct usbip_device)->sysfs_lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_bus_stop() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
PARAM_VALUE 0 k->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 0 k->signal->flags 0,2-u32max
CAPPED_DATA 0 k 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/sdio.c brcmf_sdio_remove() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
PARAM_VALUE 0 k->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 0 k->signal->flags 0,2-u32max
CAPPED_DATA 0 k 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/damon/core.c __damon_stop() -> kthread_stop_put()

Type Parameter Key Value
PARAM_VALUE 0 k 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &damon_sysfs_lock

kernel/workqueue.c reap_dying_workers() -> kthread_stop_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL