Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/ath/ath9k/beacon.c tasklet_disable_in_atomic() -> tasklet_unlock_spin_wait()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sc->mutex
HALF_LOCKED2 &sc->sc_pcu_lock

drivers/pci/controller/pci-hyperv.c tasklet_disable_in_atomic() -> tasklet_unlock_spin_wait()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_T->lock->msi.data->mutex

drivers/net/ethernet/dlink/sundance.c tasklet_disable_in_atomic() -> tasklet_unlock_spin_wait()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock

drivers/gpu/drm/i915/gt/intel_execlists_submission.c __tasklet_disable_sync_once() -> tasklet_unlock_spin_wait()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/gt/uc/intel_guc_submission.c __tasklet_disable_sync_once() -> tasklet_unlock_spin_wait()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
DATA_SOURCE 0 t $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sched_engine->lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read