Searched defs:vcpu_idx (Results 1 – 2 of 2) sorted by relevance
885 unsigned int irq_type, vcpu_idx, irq_num; in kvm_vm_ioctl_irq_line() local
2342 unsigned int vcpu_idx; in sca_switch_to_extended() local
