fprintf(stderr, "ip=%016lx, b0=%016lx\n", ctxt->regs.ip, ctxt->regs.b[0]);
/* Initialize and set registers. */
- ctxt->flags = VGCF_EXTRA_REGS;
+ ctxt->flags = VGCF_EXTRA_REGS | VGCF_SET_CR_IRR;
if (xc_vcpu_setcontext(xc_handle, dom, vcpu, ctxt) != 0) {
ERROR("Couldn't set vcpu context");
return -1;
unsigned long vnat;
unsigned long vbnat;
- union vcpu_ar_regs *ar = &c.nat->regs.ar;
- union vcpu_cr_regs *cr = &c.nat->regs.cr;
+ union vcpu_ar_regs *ar = &c.nat->regs.ar;
+ union vcpu_cr_regs *cr = &c.nat->regs.cr;
int i;
// banked registers
vpd_low->iim = cr->iim;
vpd_low->iha = cr->iha;
vpd_low->lid = cr->lid;
- vpd_low->ivr = cr->ivr; //XXX vlsapic
vpd_low->tpr = cr->tpr;
+ vpd_low->ivr = cr->ivr; //XXX vlsapic
vpd_low->eoi = cr->eoi;
- vpd_low->irr[0] = cr->irr[0];
- vpd_low->irr[1] = cr->irr[1];
- vpd_low->irr[2] = cr->irr[2];
- vpd_low->irr[3] = cr->irr[3];
+ if (c.nat->flags & VGCF_SET_CR_IRR) {
+ vpd_low->irr[0] = cr->irr[0];
+ vpd_low->irr[1] = cr->irr[1];
+ vpd_low->irr[2] = cr->irr[2];
+ vpd_low->irr[3] = cr->irr[3];
+ }
vpd_low->itv = cr->itv;
vpd_low->pmv = cr->pmv;
vpd_low->cmcv = cr->cmcv;
struct vcpu_guest_context {
#define VGCF_EXTRA_REGS (1UL << 1) /* Set extra regs. */
+#define VGCF_SET_CR_IRR (1UL << 2) /* Set cr_irr[0:3]. */
unsigned long flags; /* VGCF_* flags */
struct vcpu_guest_context_regs regs;