Searched defs:vcpu_idx (Results 1 – 5 of 5) sorted by relevance
899 unsigned int irq_type, vcpu_idx, irq_num; in kvm_vm_ioctl_irq_line() local
1224 int vcpu_idx = kvm_vcpu_get_idx(vcpu); in kvm_hv_set_msr() local
1169 int i, vcpu_idx; in kvm_bitmap_or_dest_vcpus() local
269 int vcpu_idx; /* index in kvm->vcpus array */ member
2897 unsigned int vcpu_idx; in sca_switch_to_extended() local
