vector = new.vector;
vv->vector_to_sintx[vector] = sintx;
- printk(XENLOG_G_INFO "%pv: VIRIDIAN SINT%u: vector: %x\n", v, sintx,
+ printk(XENLOG_G_INFO "%pv: VIRIDIAN SINT%u: vector: %#x\n", v, sintx,
vector);
*vs = new;
goi = &d->arch.hvm.viridian->guest_os_id;
printk(XENLOG_G_INFO
- "d%d: VIRIDIAN GUEST_OS_ID: vendor: %x os: %x major: %x minor: %x sp: %x build: %x\n",
+ "d%d: VIRIDIAN GUEST_OS_ID: vendor: %#x os: %#x major: %#x minor: %#x sp: %#x build: %#x\n",
d->domain_id, goi->vendor, goi->os, goi->major, goi->minor,
goi->service_pack, goi->build_number);
}
hg = &d->arch.hvm.viridian->hypercall_gpa;
- printk(XENLOG_G_INFO "d%d: VIRIDIAN HYPERCALL: enabled: %x pfn: %lx\n",
+ printk(XENLOG_G_INFO "d%d: VIRIDIAN HYPERCALL: enabled: %u pfn: %#lx\n",
d->domain_id,
hg->enabled, (unsigned long)hg->pfn);
}
d->shutdown_code = SHUTDOWN_crash;
spin_unlock(&d->shutdown_lock);
- gprintk(XENLOG_WARNING, "VIRIDIAN CRASH: %lx %lx %lx %lx %lx\n",
+ gprintk(XENLOG_WARNING,
+ "VIRIDIAN GUEST_CRASH: %#lx %#lx %#lx %#lx %#lx\n",
vv->crash_param[0], vv->crash_param[1], vv->crash_param[2],
vv->crash_param[3], vv->crash_param[4]);
break;
if ( !vp->msr.enabled )
return;
- printk(XENLOG_G_INFO "%pv: VIRIDIAN %s: pfn: %lx\n",
+ printk(XENLOG_G_INFO "%pv: VIRIDIAN %s: pfn: %#lx\n",
v, name, (unsigned long)vp->msr.pfn);
}