Searched refs:vcpu_shared_irq_count (Results 1 – 1 of 1) sorted by relevance
29 static int vcpu_shared_irq_count; variable158 WRITE_ONCE(vcpu_shared_irq_count, vcpu_shared_irq_count+1); in guest_irq_handler()502 GUEST_ASSERT_EQ(vcpu_shared_irq_count, targs.overflow_irqnum); in test_pmu_events_overflow()504 vcpu_shared_irq_count = 0; in test_pmu_events_overflow()508 GUEST_ASSERT_EQ(vcpu_shared_irq_count, targs.overflow_irqnum); in test_pmu_events_overflow()620 sync_global_to_guest(vm, vcpu_shared_irq_count); in test_vm_events_overflow()