Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 4 files as a member:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/bluetooth/hci_ldisc.c hci_uart_flush() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hdev->req_lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_probe() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_probe() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock

drivers/firewire/core-iso.c fw_iso_context_flush_completions() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c enable_and_queue_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
DATA_SOURCE 0 work $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/net/ethernet/amd/pds_core/main.c pdsc_restart_health_thread() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 work->data.counter s64min-s64max
HALF_LOCKED2 &pdev->dev.mutex

block/bio.c bio_complete_batch_cpu_online() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/virtio/virtio_balloon.c enable_and_queue_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
DATA_SOURCE 0 work $1
RX_PATH
TASK_NOT_RUNNING

drivers/bluetooth/btintel_pcie.c btintel_pcie_reset_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_reset_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_reset_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/firewire/ohci.c at_context_flush() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/firewire/ohci.c ohci_cancel_packet() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/panthor/panthor_device.c panthor_device_init() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/realtek/r8169_main.c rtl8169_up() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/smipcie/smipcie-main.c enable_and_queue_work() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
DATA_SOURCE 0 work $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/media/platform/ti/vpe/vip.c vip_start_streaming() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dmxdev->mutex
HALF_LOCKED2 vq->lock

drivers/pci/endpoint/functions/pci-epf-vntb.c epf_ntb_epc_init() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dir->i_rwsem
HALF_LOCKED2 &epf->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct pci_epf)->lock

kernel/workqueue.c __cancel_work_sync() -> enable_work()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
CAPPED_DATA 0 work 1
DATA_SOURCE 0 work $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/workqueue.c enable_delayed_work() -> enable_work()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 global &rtnl_mutex