Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/array.c proc_task_name() -> get_kthread_comm()

Type Parameter Key Value
PARAM_VALUE 0 buf 8369783978767187968
PARAM_VALUE 1 buf_size 64
PARAM_VALUE 2 tsk 4096-ptr_max
PARAM_VALUE 2 tsk->flags 2097152-u32max
PARAM_VALUE 2 tsk->signal->exec_update_lock.first_waiter->type 0-1
BUF_SIZE 0 buf 64
CAPPED_DATA 2 tsk 1
DATA_SOURCE 2 tsk $1
BIT_INFO 2 tsk->flags 0x200000,0xffffffdf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 buf_size unit_byte
LOCK2 &m->lock
HALF_LOCKED2 2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct seq_file)->lock