Searched defs:vcpu_idx (Results 1 – 8 of 8) sorted by relevance
31 int gzvm_arch_inject_irq(struct gzvm *gzvm, unsigned int vcpu_idx, in gzvm_arch_inject_irq()
191 unsigned long vcpu_idx, bool write) in aia_imsic_addr()
424 unsigned int vcpu_idx) in pkvm_load_hyp_vcpu()696 unsigned int vcpu_idx) in init_pkvm_hyp_vcpu()
1560 int vcpu_idx, idx, rc; in kvm_xen_set_evtchn_fast() local
1402 int vcpu_idx; in kvm_bitmap_or_dest_vcpus() local
1257 unsigned int irq_type, vcpu_idx, irq_num; in kvm_vm_ioctl_irq_line() local
3070 int vcpu_idx, online_vcpus = atomic_read(&kvm->online_vcpus); in __airqs_kick_single_vcpu() local
3572 unsigned long vcpu_idx; in sca_switch_to_extended() local