Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_enqueue_locked() -> vmci_q_header_free_space()

Type Parameter Key Value
PARAM_VALUE 0 produce_q_header 1-u64max
PARAM_VALUE 1 consume_q_header 1-u64max
DATA_SOURCE 2 produce_q_size $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 produce_q_header unit_byte
UNITS 1 consume_q_header unit_byte
UNITS 2 produce_q_size unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

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

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

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_consume_free_space() -> vmci_q_header_free_space()

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

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_produce_free_space() -> vmci_q_header_free_space()

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