Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_driver.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_context.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_event.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_balloon.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_route.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_handle_array.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_host.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

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

Type Parameter Key Value
PARAM_VALUE 0 q_header 4096-ptr_max
RX_PATH
UNITS 0 q_header unit_byte
LOCK2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 q_header 1-u64max
DATA_SOURCE 0 q_header $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 q_header unit_byte
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_q_header_get_pointers() -> vmci_q_header_consumer_head()

Type Parameter Key Value
PARAM_VALUE 0 q_header 1-u64max
DATA_SOURCE 0 q_header $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_datagram.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_resource.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

net/vmw_vsock/vmci_transport_notify.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

net/vmw_vsock/vmci_transport.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

net/vmw_vsock/vmci_transport_notify_qstate.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1

drivers/misc/vmw_vmci/vmci_guest.c vmci_q_header_free_space() -> vmci_q_header_consumer_head()

Type Parameter Key Value
DATA_SOURCE 0 q_header $1