Searched defs:vcpu_idx (Results 1 – 2 of 2) sorted by relevance
628 unsigned int irq_type, vcpu_idx, irq_num; in kvm_vm_ioctl_irq_line() local
448 unsigned int vcpu_idx; in kvm_s390_set_tod_low() local