for (i = 0; seg_names[i] != NULL; i++) {
PrintDebug("\t%s: Sel=%x, base=%p, limit=%x\n", seg_names[i], seg_ptr[i].selector,
- (void *)seg_ptr[i].base, seg_ptr[i].limit);
+ (void *)(addr_t)seg_ptr[i].base, seg_ptr[i].limit);
}
PrintDebug("32 bit Ctrl Regs:\n");
for (i = 0; reg_names[i] != NULL; i++) {
- PrintDebug("\t%s=0x%p\n", reg_names[i], (void *)reg_ptr[i]);
+ PrintDebug("\t%s=0x%p\n", reg_names[i], (void *)(addr_t)reg_ptr[i]);
}
- PrintDebug("\tEFER=0x%p\n", (void*)(guest_state->efer));
+ PrintDebug("\tEFER=0x%p\n", (void*)(addr_t)(guest_state->efer));
}
PrintDebug("32 bit GPRs:\n");
for (i = 0; reg_names[i] != NULL; i++) {
- PrintDebug("\t%s=0x%p\n", reg_names[i], (void *)reg_ptr[i]);
+ PrintDebug("\t%s=0x%p\n", reg_names[i], (void *)(addr_t)reg_ptr[i]);
}
}