Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_list.prev 4096-ptr_max
PARAM_VALUE 0 file->send_list.prev->next 4096-ptr_max
PARAM_VALUE 0 file->send_list.prev->next->next 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->list.next 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->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
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
CAPPED_DATA 0 &file->mutex 1
DATA_SOURCE 1 packet r _kzalloc_noprof
HARD_MAX 1 packet->mad.hdr.id 31
NOCHECK_CALL
USER_DATA 1 *packet->mad.data 0-u64max
USER_PTR 1 packet->mad.data
LOCK2 0 &file->mutex
TYPE_LOCK (struct ib_umad_file)->mutex

drivers/infiniband/core/user_mad.c send_handler() -> dequeue_send()

Type Parameter Key Value
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 0 file s32min-(-2),1-s32max
BUF_SIZE 1 packet s32min,88,140
BUF_SIZE 1 packet s32min,88,140
TASK_NOT_RUNNING
NOCHECK_CALL