|
@@ -113,7 +113,7 @@ static void __init xen_vcpu_setup(int cpu)
|
|
|
info.mfn = virt_to_mfn(vcpup);
|
|
|
info.offset = offset_in_page(vcpup);
|
|
|
|
|
|
- printk(KERN_DEBUG "trying to map vcpu_info %d at %p, mfn %x, offset %d\n",
|
|
|
+ printk(KERN_DEBUG "trying to map vcpu_info %d at %p, mfn %llx, offset %d\n",
|
|
|
cpu, vcpup, info.mfn, info.offset);
|
|
|
|
|
|
/* Check to see if the hypervisor will put the vcpu_info
|