Signed-off-by: Keir Fraser <keir@xensource.com>
if ( c != '\n' )
hd->pbuf[hd->pbuf_idx++] = '\n';
hd->pbuf[hd->pbuf_idx] = '\0';
- printk(XENLOG_G_DEBUG "HVM%u: %s\n", v->domain->domain_id, hd->pbuf);
+ printk(XENLOG_G_DEBUG "HVM%u: %s", v->domain->domain_id, hd->pbuf);
hd->pbuf_idx = 0;
}
spin_unlock(&hd->pbuf_lock);
break;
default:
- printk("Local APIC Write to read-only register\n");
+ gdprintk(XENLOG_WARNING,
+ "Local APIC Write to read-only register 0x%x\n", offset);
break;
}
}
error |= __vmwrite(GUEST_TR_LIMIT, 0xff);
shadow_update_paging_modes(v);
- printk("%s(): GUEST_CR3<=%08lx, HOST_CR3<=%08lx\n",
- __func__, v->arch.hvm_vcpu.hw_cr3, v->arch.cr3);
+
__vmwrite(GUEST_CR3, v->arch.hvm_vcpu.hw_cr3);
__vmwrite(HOST_CR3, v->arch.cr3);