Searched refs:vcpu1_source (Results 1 – 1 of 1) sorted by relevance
200 const int vcpu1_source = vexit.u.suspended.source; in test_emitted_triplefault() local211 vcpu0_source != vcpu1_source) { in test_emitted_triplefault()215 vcpu0_source, vcpu1_source, 1); in test_emitted_triplefault()