sender_guest_code
vm = vm_create_with_one_vcpu(&vcpu[0], sender_guest_code);
params[1].vcpu = vm_vcpu_add(vm, 1, sender_guest_code);