different bitness than dom0 (32-bit vs 64-bit).
Original patch by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Keir Fraser <keir@xen.org>
xen-unstable changeset: 22966:
de49500f344a
xen-unstable date: Thu Mar 03 17:46:44 2011 +0000
# all archs
"xen_pfn_to_cr3",
+ "xen_cr3_to_pfn",
"XEN_LEGACY_MAX_VCPUS",
"MAX_GUEST_CMDLINE" ];
return 0;
if (domctl.u.address_size.size == 64) {
pt_levels = 4;
- paddr = ctx.x64.ctrlreg[3] & ~0xfffull;
+ paddr = (uint64_t)xen_cr3_to_pfn_x86_64(ctx.x64.ctrlreg[3])
+ << PAGE_SHIFT;
} else {
pt_levels = 3;
- paddr = (((uint64_t) xen_cr3_to_pfn(ctx.x32.ctrlreg[3]))
- << PAGE_SHIFT);
+ paddr = (uint64_t)xen_cr3_to_pfn_x86_32(ctx.x32.ctrlreg[3])
+ << PAGE_SHIFT;
}
}