UCALL_DONE
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
} else if (cmd == UCALL_DONE) {
__vcpu_run_expect(vcpu, UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
} while (uc.cmd != UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
} while (uc.cmd != UCALL_DONE);
case UCALL_DONE:
if (get_ucall(source, &uc) != UCALL_DONE)
TEST_ASSERT(get_ucall(source, &uc) == UCALL_DONE, "Guest did not exit cleanly");
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
case UCALL_DONE:
#define GUEST_DONE() ucall(UCALL_DONE, 0)
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
case UCALL_DONE:
TEST_ASSERT_EQ(uc.cmd, UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT(cmd == UCALL_DONE, "UCALL_DONE");
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
} while (uc.cmd != UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
TEST_ASSERT(get_ucall(vcpu, &uc) == UCALL_DONE,
uc.cmd, UCALL_DONE);
case UCALL_DONE:
TEST_ASSERT_EQ(cmd, UCALL_DONE);
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE:
case UCALL_DONE: