guest_code_user_operexec
vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);
vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);
vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec);