Searched refs:vcpu0_source (Results 1 – 1 of 1) sorted by relevance
152 int vcpu0_source; in test_emitted_triplefault() local156 .sourcep = &vcpu0_source, in test_emitted_triplefault()210 if (vcpu0_source != 1 || in test_emitted_triplefault()211 vcpu0_source != vcpu1_source) { in test_emitted_triplefault()215 vcpu0_source, vcpu1_source, 1); in test_emitted_triplefault()