Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxperf.c rxperf_notify_rx() -> rxperf_queue_call_work()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->state 0-3,5-u32max
DATA_SOURCE 0 call $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rxcall->notify_lock
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &rxcall->recvmsg_queue.lock
HALF_LOCKED2 &rxcall->user_mutex
TYPE_LOCK (struct rxrpc_call)->notify_lock