struct v3_sym_state * state = &(info->sym_state);
if (msr == SYM_PAGE_MSR) {
- PrintDebug("Symbiotic MSR write for page %p\n", (void *)src.value);
+ PrintDebug("Symbiotic MSR write for page %p\n", (void *)(addr_t)src.value);
if (state->active == 1) {
// unmap page
struct v3_shadow_region * old_reg = v3_get_shadow_region(info, (addr_t)state->guest_pg_addr);
if (old_reg == NULL) {
- PrintError("Could not find previously active symbiotic page (%p)\n", (void *)state->guest_pg_addr);
+ PrintError("Could not find previously active symbiotic page (%p)\n", (void *)(addr_t)state->guest_pg_addr);
return -1;
}
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;