get_ucall
uint64_t actual_ucall = get_ucall(vcpu, &uc);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
cmd = get_ucall(vcpu, &uc);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
if (get_ucall(vcpu, &uc) == UCALL_ABORT)
if (get_ucall(source, &uc) != UCALL_DONE)
TEST_ASSERT(get_ucall(source, &uc) == UCALL_DONE, "Guest did not exit cleanly");
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
if (get_ucall(vcpu, &uc) != UCALL_SYNC)
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
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) {
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT(get_ucall(vcpu, &uc) == UCALL_ABORT,
uint64_t get_ucall(struct kvm_vcpu *vcpu, struct ucall *uc);
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
if (get_ucall(vcpu, &uc) != UCALL_UNHANDLED)
if (get_ucall(vcpu, &uc) != UCALL_UNHANDLED)
if (get_ucall(vcpu, &uc) == UCALL_UNHANDLED) {
if (get_ucall(vcpu, &uc) == UCALL_ABORT)
if (get_ucall(vcpu, NULL) == UCALL_SYNC)
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT_EQ(get_ucall(vcpu, &uc), UCALL_SYNC);
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT(get_ucall(vcpu, NULL) == UCALL_SYNC,
get_ucall(__vcpu, &uc); \
get_ucall(vcpu, &uc);
get_ucall(__vcpu, &uc); \
cmd = get_ucall(vcpu, &uc);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
get_ucall(vcpu, &uc));
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
cmd = get_ucall(vcpu, &uc);
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_SYNC);
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu[0], &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu[0], &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
get_ucall(vcpu, &uc);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
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,
if (get_ucall(params->vcpu, &uc) == UCALL_ABORT) {
if (get_ucall(vcpu, &uc))
get_ucall(vcpu, &uc) == UCALL_ABORT) {
TEST_ASSERT(get_ucall(vcpu, &uc) == UCALL_DONE,
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
if (get_ucall(vcpu, &uc) == UCALL_ABORT) {
TEST_ASSERT_EQ(get_ucall(vcpu, &uc), UCALL_SYNC);
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {
switch (get_ucall(vcpu, &uc)) {