Searched refs:cpu_idx2 (Results 1 – 1 of 1) sorted by relevance
1548 int cpu_idx2 = cpu / 256; in kvm_arm_set_irq() local1551 (cpu_idx2 << KVM_ARM_IRQ_VCPU2_SHIFT); in kvm_arm_set_irq()