#include <palacios/vmm_msr.h>
#include <palacios/vmm_mem.h>
#include <palacios/vmm_hypercall.h>
+#include <palacios/vm_guest.h>
#define SYM_PAGE_MSR 0x535
static int sym_call_ret(struct guest_info * info, uint_t hcall_id, void * private_data) {
struct v3_sym_state * state = (struct v3_sym_state *)&(info->sym_state);
- // PrintError("Return from sym call\n");
+ // PrintError("Return from sym call (ID=%x)\n", hcall_id);
// v3_print_guest_state(info);
state->sym_call_returned = 1;
if (execute_symcall(info) == -1) {
PrintError("SYMCALL error\n");
return -1;
- }
+ }
// clear sym flags
state->sym_call_active = 0;
- // PrintDebug("restoring guest state\n");
+ // PrintError("restoring guest state\n");
// v3_print_guest_state(info);
return 0;