Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vmwgfx/vmwgfx_msg.c vmw_host_get_guestinfo() -> vmw_recv_msg()

Type Parameter Key Value
PARAM_VALUE 0 channel 8533645503841497088
PARAM_VALUE 1 msg 4687254999130918912
PARAM_VALUE 1 *msg 0
PARAM_VALUE 1 *(*msg) 0
PARAM_VALUE 2 msg_len 8141326977803931648
PARAM_VALUE 2 *msg_len 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/vmwgfx/vmwgfx_msg.c vmw_msg_ioctl() -> vmw_recv_msg()

Type Parameter Key Value
PARAM_VALUE 0 channel 7204301579242885120
PARAM_VALUE 1 msg 8387882653182668800
PARAM_VALUE 1 *msg 0
PARAM_VALUE 1 *(*msg) 0
PARAM_VALUE 2 msg_len 3220526118974783488
PARAM_VALUE 2 *msg_len 0