Searched refs:vcpu_shared_irq_count (Results 1 – 1 of 1) sorted by relevance
29 static int vcpu_shared_irq_count; variable153 WRITE_ONCE(vcpu_shared_irq_count, vcpu_shared_irq_count+1); in guest_irq_handler()500 GUEST_ASSERT_EQ(vcpu_shared_irq_count, 1); in test_pmu_events_overflow()503 GUEST_ASSERT_EQ(vcpu_shared_irq_count, 2); in test_pmu_events_overflow()