From 12e88138233f1444388dbc346c5aa6c0a1d45d9f Mon Sep 17 00:00:00 2001 From: Boris Ostrovsky Date: Mon, 22 Jun 2015 17:52:39 +0200 Subject: [PATCH] x86/pvh: properly initialize PVH guest's CR3 .. based on whether the guest is 32- or 64-bit Signed-off-by: Boris Ostrovsky Reviewed-by: Jan Beulich --- xen/arch/x86/domain.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index c7ef1e6aaa..ba28f38f75 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -828,7 +828,7 @@ int arch_set_info_guest( cr3_page = get_page_from_gfn(d, cr3_gfn, NULL, P2M_ALLOC); v->arch.cr3 = page_to_maddr(cr3_page); - v->arch.hvm_vcpu.guest_cr[3] = c.nat->ctrlreg[3]; + v->arch.hvm_vcpu.guest_cr[3] = c(ctrlreg[3]); v->arch.guest_table = pagetable_from_page(cr3_page); ASSERT(paging_mode_enabled(d)); -- 2.30.2