Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/hrtimer.c __hrtimer_get_remaining() -> lock_hrtimer_base()

Type Parameter Key Value
PARAM_VALUE 1 flags 3236299152702418944
BUF_SIZE 0 timer (-1),80
BUF_SIZE 0 timer (-1),80
DATA_SOURCE 0 timer $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 timer->_softexpires s64min-s64max
HOST_DATA 0 timer->is_hard 0-1
HOST_DATA 0 timer->is_lazy 0-1
HOST_DATA 0 timer->is_queued 0-1
HOST_DATA 0 timer->is_rel 0-1
HOST_DATA 0 timer->is_soft 0-1
HOST_DATA 0 timer->node.expires s64min-s64max
HOST_DATA 0 timer->node.node.node.__rb_parent_color 1
HALF_LOCKED2 &pit_state->lock
HALF_LOCKED2 &tsk->sighand->siglock
HALF_LOCKED2 irq

kernel/time/hrtimer.c hrtimer_start_range_ns() -> lock_hrtimer_base()

Type Parameter Key Value
PARAM_VALUE 1 flags 3538823797391642624
BUF_SIZE 0 timer (-1),80
BUF_SIZE 0 timer (-1),80
DATA_SOURCE 0 timer $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ci->lock
HALF_LOCKED2 &cpc->hrtimer_lock
HALF_LOCKED2 &fotg210->lock
HALF_LOCKED2 &i2c_imx->slave_lock
HALF_LOCKED2 &iocg->waitq.lock
HALF_LOCKED2 &pit->pit_state.lock
HALF_LOCKED2 &pmu->lock
HALF_LOCKED2 &rt_b->rt_runtime_lock
HALF_LOCKED2 &uncore->lock
HALF_LOCKED2 &vcpu->kvm->arch.xen.xen_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 irqflags

kernel/time/hrtimer.c hrtimer_start_range_ns_user() -> lock_hrtimer_base()

Type Parameter Key Value
PARAM_VALUE 0 timer->_softexpires 0
PARAM_VALUE 0 timer->is_hard 0
PARAM_VALUE 0 timer->is_lazy 0
PARAM_VALUE 0 timer->is_queued 0
PARAM_VALUE 0 timer->is_rel 0
PARAM_VALUE 0 timer->is_soft 0
PARAM_VALUE 0 timer->node.node.next 0
PARAM_VALUE 0 timer->node.node.node.rb_left 0
PARAM_VALUE 0 timer->node.node.node.rb_right 0
PARAM_VALUE 0 timer->node.node.prev 0
PARAM_VALUE 1 flags 2443817286344941568
BUF_SIZE 0 timer (-1),80
BUF_SIZE 0 timer (-1),80
DATA_SOURCE 0 timer $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &base->lock
HALF_LOCKED2 &ctx->wqh.lock
HALF_LOCKED2 irq

kernel/time/hrtimer.c hrtimer_try_to_cancel() -> lock_hrtimer_base()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 1 flags 2851738840603246592
BUF_SIZE 0 timer (-1),80
BUF_SIZE 0 timer (-1),80
CAPPED_DATA 0 timer 1
DATA_SOURCE 0 timer $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 timer->_softexpires s64min-s64max
HOST_DATA 0 timer->is_hard 0-1
HOST_DATA 0 timer->is_lazy 0-1
HOST_DATA 0 timer->is_queued 0-1
HOST_DATA 0 timer->is_rel 0-1
HOST_DATA 0 timer->is_soft 0-1
HOST_DATA 0 timer->node.expires s64min-s64max
HOST_DATA 0 timer->node.node.node.__rb_parent_color 1
USER_DATA 0 timer->node.expires 0-9223372035999999999[c]
HALF_LOCKED2 &base->lock
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &cable->lock
HALF_LOCKED2 &ctx->completion_lock
HALF_LOCKED2 &ctx->timeout_lock
HALF_LOCKED2 &ctx->wqh.lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->vbl_lock
HALF_LOCKED2 &dev->vblank_time_lock
HALF_LOCKED2 &i2c_imx->slave_lock
HALF_LOCKED2 &port->cad_lock
HALF_LOCKED2 &priv->active_session_list_lock
HALF_LOCKED2 &qp->s_lock
HALF_LOCKED2 &t->lock
HALF_LOCKED2 &to_be_aborted_sdsc->lock
HALF_LOCKED2 &tsk->sighand->siglock
HALF_LOCKED2 &xtfs->drop_lock
HALF_LOCKED2 bh
HALF_LOCKED2 irq