Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virt/acrn/hsm.c acrn_dev_ioctl() -> acrn_vm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 vm 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client 0,4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->handler 6993264328384962560
PARAM_VALUE 0 vm->ioeventfd_client->is_default 0
PARAM_VALUE 0 vm->ioeventfd_client->list.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->list.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->priv 0
PARAM_VALUE 0 vm->ioeventfd_client->range_list.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->range_list.next->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->range_list.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->range_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->range_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->range_lock.magic 3736018669
PARAM_VALUE 0 vm->ioeventfd_client->range_lock.owner (-1)
PARAM_VALUE 0 vm->ioeventfd_client->range_lock.owner_cpu u32max
PARAM_VALUE 0 vm->ioeventfd_client->thread 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->thread->blocked_on 0
PARAM_VALUE 0 vm->ioeventfd_client->thread->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->thread->migration_disabled 0-1
PARAM_VALUE 0 vm->ioeventfd_client->thread->on_rq 0-1,3-255
PARAM_VALUE 0 vm->ioeventfd_client->thread->saved_state 0
PARAM_VALUE 0 vm->ioeventfd_client->thread->wake_cpu 0-s32max
PARAM_VALUE 0 vm->ioeventfd_client->vm 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioeventfds.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioeventfds.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioeventfds_lock.magic 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioreq_buf 18446612682070032384
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioreq_clients.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioreq_clients.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->ioreq_page 1-u64max
PARAM_VALUE 0 vm->ioeventfd_client->vm->list.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->list.prev 6578563477354790912
PARAM_VALUE 0 vm->ioeventfd_client->vm->regions_mapping_lock.magic 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->vm->vcpu_num 0-u16max
PARAM_VALUE 0 vm->ioeventfd_client->vm->vmid 0-65534
PARAM_VALUE 0 vm->ioeventfd_client->wq.head.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->wq.head.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfd_client->wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds.next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds.next->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds_lock.dep_map->name 0-255
PARAM_VALUE 0 vm->ioeventfds_lock.first_waiter 0
PARAM_VALUE 0 vm->ioeventfds_lock.magic 4096-ptr_max
PARAM_VALUE 0 vm->ioeventfds_lock.osq.tail.counter 0
PARAM_VALUE 0 vm->ioeventfds_lock.owner.counter 0
PARAM_VALUE 0 vm->ioreq_buf 18379471554275704832,18446612682070032384
PARAM_VALUE 0 vm->ioreq_clients.next 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients.next->next 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients.next->prev 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients.prev 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->ioreq_clients_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vm->ioreq_page 1-u64max
PARAM_VALUE 0 vm->irqfd_wq 0,4096-ptr_max
PARAM_VALUE 0 vm->irqfds.next 4096-ptr_max
PARAM_VALUE 0 vm->irqfds.next->next 4096-ptr_max
PARAM_VALUE 0 vm->irqfds.prev 4096-ptr_max
PARAM_VALUE 0 vm->irqfds.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->irqfds.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->irqfds_lock.dep_map->name 0-255
PARAM_VALUE 0 vm->irqfds_lock.first_waiter 0
PARAM_VALUE 0 vm->irqfds_lock.magic 4096-ptr_max
PARAM_VALUE 0 vm->irqfds_lock.osq.tail.counter 0
PARAM_VALUE 0 vm->irqfds_lock.owner.counter 0
PARAM_VALUE 0 vm->list.next 4096-ptr_max
PARAM_VALUE 0 vm->list.prev 6578563477354790912
PARAM_VALUE 0 vm->regions_mapping_lock.dep_map->name 0-255
PARAM_VALUE 0 vm->regions_mapping_lock.first_waiter 0
PARAM_VALUE 0 vm->regions_mapping_lock.magic 4096-ptr_max
PARAM_VALUE 0 vm->regions_mapping_lock.osq.tail.counter 0
PARAM_VALUE 0 vm->regions_mapping_lock.owner.counter 0
PARAM_VALUE 0 vm->vcpu_num 0-u16max
PARAM_VALUE 0 vm->vmid 0-65534
BUF_SIZE 0 vm s32min-(-2),1-s32max
BUF_SIZE 0 vm s32min-(-2),1-s32max
PARAM_COMPARE 0 vm == $0
NOCHECK_CALL
USER_DATA 0 vm->ioeventfd_client->vm->vcpu_num 0-u16max
USER_DATA 0 vm->ioeventfd_client->vm->vmid 0-65534
USER_DATA 0 vm->vcpu_num 0-u16max
USER_DATA 0 vm->vmid 0-65534

drivers/virt/acrn/hsm.c acrn_dev_ioctl() -> acrn_vm_destroy()

Type Parameter Key Value
PARAM_VALUE 0 vm 4096-ptr_max
PARAM_VALUE 0 vm->vmid 0-65534
BUF_SIZE 0 vm s32min-(-2),1-s32max
BUF_SIZE 0 vm s32min-(-2),1-s32max

drivers/virt/acrn/hsm.c acrn_dev_release() -> acrn_vm_destroy()

Type Parameter Key Value
BUF_SIZE 0 vm (-1),26
BUF_SIZE 0 vm (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL