Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_recv_notifications() -> drv_cp_harray_to_user()

Type Parameter Key Value
PARAM_VALUE 1 user_buf_size 545909725309636616
PARAM_VALUE 3 retval 3207566247643963392
PARAM_VALUE 3 *retval 0
USER_DATA 1 *user_buf_size 0-u64max
USER_PTR 1 user_buf_size

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_recv_notifications() -> drv_cp_harray_to_user()

Type Parameter Key Value
PARAM_VALUE 1 user_buf_size 545909725309636632
PARAM_VALUE 2 handle_array 0
PARAM_VALUE 3 retval 3207566247643963392
PARAM_VALUE 3 *retval 0
USER_DATA 1 *user_buf_size 0-u64max
USER_PTR 1 user_buf_size