__vm_ioctl
ret = __vm_ioctl(vcpu->vm, KVM_ARM_GET_REG_WRITABLE_MASKS, &range);
TEST_ASSERT(__vm_ioctl(vm, KVM_SIGNAL_MSI, &msi) == 1,
__vm_ioctl(vm, KVM_CHECK_EXTENSION, (void *)KVM_CAP_USER_MEMORY) < 0) { \
int ret = __vm_ioctl(vm, cmd, arg); \
int ret = __vm_ioctl(vm, KVM_CHECK_EXTENSION, (void *)cap);
return __vm_ioctl(vm, KVM_ENABLE_CAP, &enable_cap);
return __vm_ioctl(vm, KVM_RESET_DIRTY_RINGS, NULL);
int fd = __vm_ioctl(vm, KVM_GET_STATS_FD, NULL);
return __vm_ioctl(vm, KVM_IRQFD, &irqfd);
return __vm_ioctl(vm, KVM_CREATE_GUEST_MEMFD, &guest_memfd);
r = __vm_ioctl(vm, KVM_MEMORY_ENCRYPT_OP, &sev_cmd.raw); \
ret = __vm_ioctl(vm, KVM_SET_USER_MEMORY_REGION2, ®ion->region);
ret = __vm_ioctl(vm, KVM_SET_USER_MEMORY_REGION2, ®ion->region);
ret = __vm_ioctl(vm, KVM_SET_USER_MEMORY_REGION2, ®ion->region);
vcpu->fd = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)(unsigned long)vcpu_id);
r = __vm_ioctl(vm, KVM_CREATE_IRQCHIP, NULL);
return __vm_ioctl(vm, KVM_CREATE_DEVICE, &create_dev);
err = __vm_ioctl(vm, KVM_CREATE_DEVICE, &create_dev);
return __vm_ioctl(vm, KVM_IRQ_LINE, &irq_level);
ret = __vm_ioctl(vm, KVM_SET_GSI_ROUTING, routing);
r = __vm_ioctl(vm, KVM_GET_TSC_KHZ, NULL);
rc = __vm_ioctl(vm, KVM_S390_GET_CMMA_BITS, &args);
ret = __vm_ioctl(vm, KVM_SET_GSI_ROUTING, routing);
ret = __vm_ioctl(vm, KVM_SET_GSI_ROUTING, routing);
ret = __vm_ioctl(vm, KVM_SET_GSI_ROUTING, routing);
ret = __vm_ioctl(vm, KVM_SET_GSI_ROUTING, routing);
return __vm_ioctl(vcpu->vm, KVM_S390_GET_SKEYS, &skeys_ioctl);
r = __vm_ioctl(vcpu->vm, KVM_S390_SET_SKEYS, &skeys_ioctl);
r = __vm_ioctl(vcpu->vm, KVM_S390_KEYOP, &keyop);
return __vm_ioctl(info.vm, KVM_S390_MEM_OP, ksmo);
ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)MAX_VCPU_ID);
ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)(1L << 32));
ret = __vm_ioctl(vm, KVM_CREATE_VCPU, (void *)0);
return __vm_ioctl(vcpu->vm, KVM_SET_PMU_EVENT_FILTER, f);
r = __vm_ioctl(vm, KVM_SET_BOOT_CPU_ID, (void *)(max_vcpu_id + 1));
r = __vm_ioctl(vm, KVM_SET_BOOT_CPU_ID, (void *)(1L << 32));
int r = __vm_ioctl(vcpu->vm, KVM_SET_BOOT_CPU_ID,
int r = __vm_ioctl(vm, cmd, arg); \
__vm_ioctl(vm, KVM_XEN_HVM_SET_ATTR, &cache_activate_gfn);
__vm_ioctl(vm, KVM_XEN_HVM_SET_ATTR, &cache_deactivate_gfn);
__vm_ioctl(vm, KVM_XEN_HVM_SET_ATTR, &cache_activate_hva);
__vm_ioctl(vm, KVM_XEN_HVM_SET_ATTR, &cache_deactivate_hva);
__vm_ioctl(vm, KVM_XEN_HVM_EVTCHN_SEND, &uxe);