UCALL_SYNC
assert_ucall(vcpu, UCALL_SYNC);
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
__vcpu_run_expect(vcpu, UCALL_SYNC);
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
if (get_ucall(vcpu, &uc) != UCALL_SYNC)
case UCALL_SYNC:
case UCALL_SYNC:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_SYNC);
if (get_ucall(vcpu, NULL) != UCALL_SYNC) {
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
if (get_ucall(vcpu, NULL) == UCALL_SYNC) {
case UCALL_SYNC:
ucall(UCALL_SYNC, 6, "hello", stage, arg1, arg2, arg3, arg4)
#define GUEST_SYNC(stage) ucall(UCALL_SYNC, 2, "hello", stage)
#define GUEST_SYNC1(arg0) ucall(UCALL_SYNC, 1, arg0)
#define GUEST_SYNC2(arg0, arg1) ucall(UCALL_SYNC, 2, arg0, arg1)
ucall(UCALL_SYNC, 3, arg0, arg1, arg2)
ucall(UCALL_SYNC, 4, arg0, arg1, arg2, arg3)
ucall(UCALL_SYNC, 5, arg0, arg1, arg2, arg3, arg4)
ucall(UCALL_SYNC, 6, arg0, arg1, arg2, arg3, arg4, arg5)
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
if (get_ucall(vcpu, NULL) == UCALL_SYNC)
case UCALL_SYNC:
TEST_ASSERT_EQ(get_ucall(vcpu, &uc), UCALL_SYNC);
case UCALL_SYNC:
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
TEST_ASSERT_EQ(uc.cmd, UCALL_SYNC); \
TEST_ASSERT_EQ(uc.cmd, UCALL_SYNC); \
if (cmd != UCALL_SYNC)
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_SYNC);
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
#define GUEST_SLEEP(sec) ucall(UCALL_SYNC, 2, USLEEP, sec)
#define GUEST_CHECK(level, freq) ucall(UCALL_SYNC, 2, level, freq)
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
TEST_ASSERT(uc.cmd == UCALL_SYNC,
case UCALL_SYNC: {
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
TEST_ASSERT(get_ucall(vcpu, &uc) == UCALL_SYNC,
TEST_ASSERT(get_ucall(params->vcpu, &uc) == UCALL_SYNC,
TEST_ASSERT(get_ucall(params->vcpu, &uc) == UCALL_SYNC,
case UCALL_SYNC:
TEST_ASSERT_EQ(cmd, UCALL_SYNC);
case UCALL_SYNC:
TEST_ASSERT(run_guest_then_process_ucall(vcpu) == UCALL_SYNC,
case UCALL_SYNC:
case UCALL_SYNC:
case UCALL_SYNC:
TEST_ASSERT_EQ(get_ucall(vcpu, &uc), UCALL_SYNC);
case UCALL_SYNC:
case UCALL_SYNC: {
case UCALL_SYNC: