Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timer.c timer_delete_sync() -> __timer_delete_sync()

Type Parameter Key Value
PARAM_VALUE 1 shutdown 0
DATA_SOURCE 0 timer $0

kernel/time/timer.c timer_shutdown_sync() -> __timer_delete_sync()

Type Parameter Key Value
PARAM_VALUE 1 shutdown 1
DATA_SOURCE 0 timer $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 timer->expires 0-u64max
HOST_DATA 0 timer->flags 0-u32max
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->attach_lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &hid->driver_input_lock
HALF_LOCKED2 &ipvs->service_mutex
HALF_LOCKED2 &led_cdev->trigger_lock
HALF_LOCKED2 &mvm->mutex
HALF_LOCKED2 &nilfs->ns_segctor_sem
HALF_LOCKED2 &q->elevator_lock
HALF_LOCKED2 &q->rq_qos_mutex
HALF_LOCKED2 &sci->sc_state_lock
HALF_LOCKED2 &vif->wilc->deinit_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &ls_lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &xt_led_mutex