Searched refs:vcpu_idx (Results 1 – 2 of 2) sorted by relevance
| /linux-4.4.14/arch/arm/kvm/ |
| D | trace.h | 91 TP_PROTO(unsigned int type, int vcpu_idx, int irq_num, int level),
92 TP_ARGS(type, vcpu_idx, irq_num, level),
96 __field( int, vcpu_idx )
103 __entry->vcpu_idx = vcpu_idx;
112 __entry->type, __entry->vcpu_idx, __entry->irq_num, __entry->level)
|
| D | arm.c | 691 unsigned int irq_type, vcpu_idx, irq_num; in kvm_vm_ioctl_irq_line() local
697 vcpu_idx = (irq >> KVM_ARM_IRQ_VCPU_SHIFT) & KVM_ARM_IRQ_VCPU_MASK; in kvm_vm_ioctl_irq_line()
700 trace_kvm_irq_line(irq_type, vcpu_idx, irq_num, irq_level->level); in kvm_vm_ioctl_irq_line()
707 if (vcpu_idx >= nrcpus) in kvm_vm_ioctl_irq_line()
710 vcpu = kvm_get_vcpu(kvm, vcpu_idx); in kvm_vm_ioctl_irq_line()
722 if (vcpu_idx >= nrcpus) in kvm_vm_ioctl_irq_line()
725 vcpu = kvm_get_vcpu(kvm, vcpu_idx); in kvm_vm_ioctl_irq_line()
|