Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/core/user_mad.c ib_umad_write() -> is_duplicate()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->agents_dead 0
PARAM_VALUE 0 file->mutex.dep_map->name 0-255
PARAM_VALUE 0 file->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 file->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 file->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 file->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 file->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 file->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 file->port 4096-ptr_max
PARAM_VALUE 0 file->send_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 packet 4096-ptr_max
PARAM_VALUE 1 packet->mad.data 4096-ptr_max
PARAM_VALUE 1 packet->mad.hdr.id 0-31
PARAM_VALUE 1 packet->msg 4096-ptr_max
PARAM_VALUE 1 packet->msg->ah 4096-ptr_max
PARAM_VALUE 1 packet->msg->ah->device 4096-ptr_max
PARAM_VALUE 1 packet->msg->ah->pd 4096-ptr_max
PARAM_VALUE 1 packet->msg->ah->type 0-3
PARAM_VALUE 1 packet->msg->context 4096-ptr_max
PARAM_VALUE 1 packet->msg->hdr_len 24,40,56,64
PARAM_VALUE 1 packet->msg->mad 4096-ptr_max
PARAM_VALUE 1 packet->msg->mad_agent 4096-ptr_max
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 1 packet 140
BUF_SIZE 1 packet 140
BUF_SIZE 1 packet->msg 80
BUF_SIZE 1 packet->msg->ah s32min-s32max
CAPPED_DATA 0 &file->mutex 1
DATA_SOURCE 1 packet r _kzalloc_noprof
HARD_MAX 1 packet->mad.hdr.id 31
PREEMPT_ADD <- disables preempt
USER_DATA 1 packet->msg->data_len (-36)-999999920
USER_DATA 1 *packet->mad.data 0-u64max
USER_PTR 1 packet->mad.data
LOCK2 irq
LOCK2 0 &file->mutex
LOCK2 0 &file->send_lock
TYPE_LOCK (struct ib_umad_file)->mutex
TYPE_LOCK (struct ib_umad_file)->send_lock