Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c update_rq_clock_task() -> delayacct_irq()

Type Parameter Key Value
CAPPED_DATA 1 delta 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 task unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 _T->rf.flags
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 global &shares_mutex
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq