Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

ipc/mqueue.c __do_notify() -> set_cookie()

Type Parameter Key Value
PARAM_VALUE 1 code 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &info->lock
TYPE_LOCK (struct mqueue_inode_info)->lock

ipc/mqueue.c remove_notification() -> set_cookie()

Type Parameter Key Value
PARAM_VALUE 1 code 2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->lock
TYPE_LOCK (struct mqueue_inode_info)->lock