test_data_page
vm_vaddr_t test_data_page, gva;
test_data_page = vm_vaddr_alloc_page(vm);
data = (struct test_data *)addr_gva2hva(vm, test_data_page);
vcpu_args_set(vcpu[0], 1, test_data_page);
vcpu_args_set(vcpu[1], 1, test_data_page);
vcpu_args_set(vcpu[2], 1, test_data_page);
static void sender_guest_code(struct test_data_page *data)
void do_migrations(struct test_data_page *data, int run_secs, int delay_usecs,
struct test_data_page *data;
struct test_data_page *data;
static void halter_guest_code(struct test_data_page *data)