Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vhost/vhost.c vhost_task_do_stop() -> vhost_task_stop()

Type Parameter Key Value
BUF_SIZE 0 vtsk (-1),288
BUF_SIZE 0 vtsk (-1),288
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vs->dev.mutex

arch/x86/kvm/mmu/mmu.c kvm_mmu_pre_destroy_vm() -> vhost_task_stop()

Type Parameter Key Value
PARAM_VALUE 0 vtsk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &kvm->lock