Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/exit.c __exit_signal() -> task_io_accounting_add()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sig->stats_lock.lock
LOCK2 &sighand->siglock
LOCK2 global &tasklist_lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock
TYPE_LOCK (struct sighand_struct)->siglock

kernel/exit.c wait_task_zombie() -> task_io_accounting_add()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &psig->stats_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

kernel/exit.c wait_task_zombie() -> task_io_accounting_add()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &psig->stats_lock.lock
LOCK2 irq
TYPE_LOCK (struct seqlock)->lock

fs/proc/base.c do_io_accounting() -> task_io_accounting_add()

Type Parameter Key Value
PARAM_VALUE 0 dst 7748241687681564672
PARAM_VALUE 1 src 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &m->lock
LOCK2 &task->signal->exec_update_lock
LOCK2 rcu_read
TYPE_LOCK (struct seq_file)->lock
TYPE_LOCK (struct signal_struct)->exec_update_lock