Defined in 1 files as a function:
Referenced in 3 files:
- drivers/misc/vmw_vmci/vmci_guest.c, line 234
- include/linux/vmw_vmci_defs.h, line 791
- net/vmw_vsock/vmci_transport.c, line 860
Smatch caller information:
net/vmw_vsock/vmci_transport.c vmci_transport_peer_detach_cb() -> vmci_event_data_const_payload()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ev_data | 4096-ptr_max |
| DATA_SOURCE | 0 | ev_data | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ev_data->_pad | 0-u32max[u] |
| USER_DATA | 0 | ev_data->event | 0-1,3-4[u] |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &qp_guest_endpoints.mutex |
drivers/misc/vmw_vmci/vmci_guest.c vmci_guest_cid_update() -> vmci_event_data_const_payload()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ev_data | 4096-ptr_max |
| DATA_SOURCE | 0 | ev_data | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ev_data->_pad | 0-u32max[u] |
| USER_DATA | 0 | ev_data->event | 0-1,3-4[u] |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &qp_guest_endpoints.mutex |