Searched refs:guest_finished (Results 1 – 1 of 1) sorted by relevance
66 static int guest_finished; variable1813 guest_finished = 1; in vmx_run()1872 guest_finished = 0; in test_run()1890 if (launched && !guest_finished) in test_run()1945 guest_finished = 1; in test_set_guest_finished()1956 guest_finished = 1; in check_for_guest_termination()1981 TEST_ASSERT_MSG(!guest_finished, in __enter_guest()2014 TEST_ASSERT_MSG(!guest_finished, in enter_guest_with_bad_controls()