Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/tsacct.c bacct_add_tsk() -> task_cputime_scaled()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 utimescaled 3058957211758256128
PARAM_VALUE 2 stimescaled 1495400493140803584
DATA_SOURCE 0 t $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 t->exit_code 0,256-65280[c]
USER_DATA 0 t->signal->group_exit_code 0,256-65280[c]
NO_OVERFLOW_SIMPLE 0 t->delays->blkio_delay
NO_OVERFLOW_SIMPLE 0 t->delays->compact_delay
NO_OVERFLOW_SIMPLE 0 t->delays->freepages_delay
NO_OVERFLOW_SIMPLE 0 t->delays->irq_delay
NO_OVERFLOW_SIMPLE 0 t->delays->swapin_delay
NO_OVERFLOW_SIMPLE 0 t->delays->thrashing_delay
NO_OVERFLOW_SIMPLE 0 t->delays->wpcopy_delay

kernel/delayacct.c delayacct_add_tsk() -> task_cputime_scaled()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 1 utimescaled 4786721620145885184
PARAM_VALUE 2 stimescaled 163986011522789376
DATA_SOURCE 0 t $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 t->exit_code 0,256-65280[c]
USER_DATA 0 t->signal->group_exit_code 0,256-65280[c]
HALF_LOCKED2 0 &t->sighand->siglock