Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/fcntl.c send_sigurg() -> send_sigurg_to_task()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
PARAM_VALUE 1 fown 4096-ptr_max
PARAM_VALUE 1 fown->lock.dep_map->name 0-255
PARAM_VALUE 1 fown->pid 4096-ptr_max
PARAM_VALUE 1 fown->pid_type 0-1
PARAM_VALUE 2 type 0-1
DATA_SOURCE 0 p r pid_task
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &fown->lock
HALF_LOCKED2 &(&smc->sk)->sk_lock.slock
TYPE_LOCK (struct fown_struct)->lock

fs/fcntl.c send_sigurg() -> send_sigurg_to_task()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
PARAM_VALUE 1 fown 4096-ptr_max
PARAM_VALUE 1 fown->lock.dep_map->name 0-255
PARAM_VALUE 1 fown->pid 4096-ptr_max
PARAM_VALUE 1 fown->pid->tasks 4096-ptr_max
PARAM_VALUE 1 fown->pid_type 2-u32max
PARAM_VALUE 2 type 2-u32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 rcu_read
LOCK2 1 &fown->lock
HALF_LOCKED2 &(&smc->sk)->sk_lock.slock
TYPE_LOCK (struct fown_struct)->lock