Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_get_consume_indexes() -> vmci_q_header_get_pointers()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | produce_q_header | 1-u64max |
| PARAM_VALUE | 1 | consume_q_header | 1-u64max |
| PARAM_VALUE | 2 | producer_tail | 3715975197415768072,7750916687602016256 |
| PARAM_VALUE | 3 | consumer_head | 3715975197415768064,5719031604709122048 |
| DATA_SOURCE | 2 | producer_tail | $1 |
| DATA_SOURCE | 3 | consumer_head | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk |
drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qpair_get_produce_indexes() -> vmci_q_header_get_pointers()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | produce_q_header | 1-u64max |
| PARAM_VALUE | 1 | consume_q_header | 1-u64max |
| PARAM_VALUE | 2 | producer_tail | 4315764516295888904,5633010665762287616 |
| PARAM_VALUE | 3 | consumer_head | 592076661345955840,4315764516295888896 |
| DATA_SOURCE | 2 | producer_tail | $1 |
| DATA_SOURCE | 3 | consumer_head | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |