Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/signal.c posixtimer_init_sigqueue() -> __sigqueue_init()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 ucounts 1-u64max
PARAM_VALUE 2 sigqueue_flags 1
DATA_SOURCE 0 q $0
DATA_SOURCE 1 ucounts r sig_get_ucounts
MEM_ZERO 0 &q->info
NOCHECK_CALL

kernel/signal.c sigqueue_alloc() -> __sigqueue_init()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
PARAM_VALUE 1 ucounts 1-u64max
PARAM_VALUE 2 sigqueue_flags 0
DATA_SOURCE 0 q r kmem_cache_alloc_noprof
DATA_SOURCE 1 ucounts r sig_get_ucounts
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &psig->siglock
HALF_LOCKED2 &t->alloc_lock
HALF_LOCKED2 &t->sighand->siglock
HALF_LOCKED2 flags
HALF_LOCKED2 global &tasklist_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read