Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/user_mad.c recv_handler() -> queue_packet()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 params 4096-ptr_max
PARAM_VALUE 1 params->context 4096-ptr_max
PARAM_VALUE 1 params->device 4096-ptr_max
PARAM_VALUE 1 params->device->port_data 4096-ptr_max
PARAM_VALUE 2 sched_irq 4096-ptr_max
PARAM_VALUE 2 sched_irq->mad.hdr.grh_present 0-1
PARAM_VALUE 2 sched_irq->mad.hdr.status 0
PARAM_VALUE 2 sched_irq->recv_wc 4096-ptr_max
PARAM_VALUE 2 sched_irq->recv_wc->recv_buf.mad 4096-ptr_max
PARAM_VALUE 2 sched_irq->recv_wc->wc 4096-ptr_max
PARAM_VALUE 3 is_recv_mad 1
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 2 sched_irq 104
DATA_SOURCE 1 params $0
DATA_SOURCE 2 sched_irq r _kzalloc_noprof
FUZZY_MAX 2 sched_irq->mad.hdr.grh_present 1
HARD_MAX 2 sched_irq->mad.hdr.grh_present 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->send_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 params 4096-ptr_max
PARAM_VALUE 1 params->context 4096-ptr_max
PARAM_VALUE 2 sched_irq 4096-ptr_max
PARAM_VALUE 2 sched_irq->length 24
PARAM_VALUE 2 sched_irq->mad.hdr.status 110
PARAM_VALUE 2 sched_irq->msg 4096-ptr_max
PARAM_VALUE 2 sched_irq->msg->ah 4096-ptr_max
PARAM_VALUE 2 sched_irq->msg->ah->device->ops.destroy_ah 4096-ptr_max
PARAM_VALUE 3 is_recv_mad 0
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 2 sched_irq s32min,88,140
BUF_SIZE 2 sched_irq s32min,88,140
CAPPED_DATA 2 sched_irq->msg->ah 1
CAPPED_DATA 2 sched_irq->msg->mad 1
DATA_SOURCE 1 params $0
TASK_NOT_RUNNING

sound/firewire/amdtp-stream.c queue_in_packet() -> queue_packet()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->packet_index s32min-(-2),0-s32max
PARAM_VALUE 1 params 4273525547774746624,5403020352276258816,5728532052921585664
PARAM_VALUE 1 params->interrupt 0-1,8,16
PARAM_VALUE 1 params->skip 0
PARAM_VALUE 1 params->sy 0-1,8,16
PARAM_VALUE 1 params->tag 0-1,8,16
PARAM_VALUE 2 sched_irq 0
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s->context (-1),136
BUF_SIZE 0 s->ctx_data.tx.cache.descs (-1)-s32max
BUF_SIZE 0 s->packet_descs (-1)-s32max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 params $1
FUZZY_MAX 0 s->packet_index 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->ctx_data.rx.seq.size
NO_OVERFLOW_SIMPLE 0 s->ctx_data.tx.cache.size
NO_OVERFLOW_SIMPLE 0 s->queue_size
HALF_LOCKED2 _T->lock

sound/firewire/amdtp-stream.c queue_out_packet() -> queue_packet()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->packet_index s32min-(-2),0-s32max
PARAM_VALUE 1 params 2349988661842747392,4658264665180393472,5403020352276258816
PARAM_VALUE 1 params->header_length 0-3,8
PARAM_VALUE 1 params->interrupt 0-3,8
PARAM_VALUE 1 params->sy 0-15
PARAM_VALUE 1 params->tag 0-3,8
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s->context (-1),136
BUF_SIZE 0 s->ctx_data.rx.seq.descs (-1)-s32max
BUF_SIZE 0 s->packet_descs (-1)-s32max
BUF_SIZE 1 params (-1),12
BUF_SIZE 1 params (-1),12
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 params $1
DATA_SOURCE 2 sched_irq $2
FUZZY_MAX 0 s->packet_index 0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->ctx_data.rx.seq.size
NO_OVERFLOW_SIMPLE 0 s->ctx_data.tx.cache.size
NO_OVERFLOW_SIMPLE 0 s->queue_size
HALF_LOCKED2 _T->lock