Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/time/posix-cpu-timers.c __thread_group_cputime() -> thread_group_cputime()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 1 times 6315640540640694272
DATA_SOURCE 0 tsk $0
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/time/posix-cpu-timers.c thread_group_start_cputime() -> thread_group_cputime()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->sighand 1-u64max
PARAM_VALUE 0 tsk->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 times 2390446251799269376
CAPPED_DATA 0 tsk->sighand 1
DATA_SOURCE 0 tsk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &timer->it_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &tsk->sighand->siglock

fs/binfmt_elf.c fill_prstatus() -> thread_group_cputime()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->blocked.sig 4096-ptr_max
PARAM_VALUE 0 tsk->exit_signal 0-s32max
PARAM_VALUE 0 tsk->pending.signal.sig 4096-ptr_max
PARAM_VALUE 1 times 3442559425947103232
DATA_SOURCE 0 tsk $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/build_policy.c thread_group_cputime_adjusted() -> thread_group_cputime()

Type Parameter Key Value
PARAM_VALUE 0 tsk->signal->exec_update_lock.first_waiter->type 0-1
PARAM_VALUE 1 times 3074460043895308288
DATA_SOURCE 0 tsk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &m->lock
HALF_LOCKED2 0 &tsk->signal->exec_update_lock

fs/compat_binfmt_elf.c fill_prstatus() -> thread_group_cputime()

Type Parameter Key Value
PARAM_VALUE 0 tsk 4096-ptr_max
PARAM_VALUE 0 tsk->blocked.sig 4096-ptr_max
PARAM_VALUE 0 tsk->exit_signal 0-s32max
PARAM_VALUE 0 tsk->pending.signal.sig 4096-ptr_max
PARAM_VALUE 1 times 3500921399262609408
DATA_SOURCE 0 tsk $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL