Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_dequeue_locked() -> vmci_q_header_buf_ready()

Type Parameter Key Value
PARAM_VALUE 0 consume_q_header 1-u64max
PARAM_VALUE 1 produce_q_header 1-u64max
DATA_SOURCE 2 consume_q_size $2
RX_PATH
UNITS 0 consume_q_header unit_byte
UNITS 1 produce_q_header unit_byte
UNITS 2 consume_q_size unit_byte
LOCK2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_consume_buf_ready() -> vmci_q_header_buf_ready()

Type Parameter Key Value
PARAM_VALUE 0 consume_q_header 1-u64max
PARAM_VALUE 1 produce_q_header 1-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 consume_q_size unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_produce_buf_ready() -> vmci_q_header_buf_ready()

Type Parameter Key Value
PARAM_VALUE 0 consume_q_header 1-u64max
PARAM_VALUE 1 produce_q_header 1-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 consume_q_size unit_byte
HALF_LOCKED2 sk