Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vsock.c vhost_vsock_dev_open() -> vhost_vsock_free()

Type Parameter Key Value
PARAM_VALUE 0 vsock 1-18446744073709551614
BUF_SIZE 0 vsock 38648
DATA_SOURCE 0 vsock r __kvmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/vhost/vsock.c vhost_vsock_dev_release() -> vhost_vsock_free()

Type Parameter Key Value
PARAM_VALUE 0 vsock 4096-ptr_max
PARAM_VALUE 0 vsock->dev->mm->exe_file->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 vsock->dev.iotlb 0
PARAM_VALUE 0 vsock->dev.iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vsock->dev.log_ctx 0
PARAM_VALUE 0 vsock->dev.mm 0
PARAM_VALUE 0 vsock->dev.mutex.dep_map->name 0-255
PARAM_VALUE 0 vsock->dev.mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 vsock->dev.mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vsock->dev.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vsock->dev.umem 0
PARAM_VALUE 0 vsock->dev.worker_xa.xa_head 0
PARAM_VALUE 0 vsock->dev.worker_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vsock->net->refcnt_tracker.dead 1
PARAM_VALUE 0 vsock->ns_tracker 0,4096-ptr_max
PARAM_VALUE 0 vsock->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 vsock->ns_tracker->dead 0-1
PARAM_VALUE 0 vsock->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 vsock->send_pkt_queue.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 vsock (-1),26
BUF_SIZE 0 vsock (-1),26
CAPPED_DATA 0 vsock->dev.nvqs 1
CAPPED_DATA 0 vsock->dev.vqs 1
CAPPED_DATA 0 &vsock->send_pkt_queue 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL