Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/seccomp.c seccomp_do_user_notification() -> seccomp_handle_addfd()

Type Parameter Key Value
PARAM_VALUE 1 n 2091224640082300928
PARAM_VALUE 1 n->addfd.next 2091224640082301088
PARAM_VALUE 1 n->addfd.prev 2091224640082301088
PARAM_VALUE 1 n->data 1551933998003503104
PARAM_VALUE 1 n->error 0
PARAM_VALUE 1 n->flags 0
PARAM_VALUE 1 n->ready.done 0-4294967293,u32max
PARAM_VALUE 1 n->ready.wait.lock.owner (-1)
PARAM_VALUE 1 n->ready.wait.lock.owner_cpu u32max
PARAM_VALUE 1 n->ready.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 n->state 0-1
PARAM_VALUE 1 n->val 0-s32max
BUF_SIZE 0 addfd 0
BIT_INFO 0 addfd 0x0,0x0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &match->notify_lock
TYPE_LOCK (struct seccomp_filter)->notify_lock