From 0900d8b09f3f34cee07101f9cad53dd694080105 Mon Sep 17 00:00:00 2001 From: Jan Beulich Date: Tue, 3 Nov 2015 18:11:56 +0100 Subject: [PATCH] x86/HAP: use %pv printk() format where suitable Signed-off-by: Jan Beulich Reviewed-by: Andrew Cooper Acked-by: George Dunlap --- xen/arch/x86/mm/hap/hap.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/xen/arch/x86/mm/hap/hap.c b/xen/arch/x86/mm/hap/hap.c index e9c0080366..17a380fb38 100644 --- a/xen/arch/x86/mm/hap/hap.c +++ b/xen/arch/x86/mm/hap/hap.c @@ -671,8 +671,7 @@ static int hap_page_fault(struct vcpu *v, unsigned long va, { struct domain *d = v->domain; - HAP_ERROR("Intercepted a guest #PF (%u:%u) with HAP enabled.\n", - d->domain_id, v->vcpu_id); + HAP_ERROR("Intercepted a guest #PF (%pv) with HAP enabled\n", v); domain_crash(d); return 0; } @@ -692,8 +691,7 @@ static int hap_invlpg(struct vcpu *v, unsigned long va) return 1; } - HAP_ERROR("Intercepted a guest INVLPG (%u:%u) with HAP enabled.\n", - v->domain->domain_id, v->vcpu_id); + HAP_ERROR("Intercepted a guest INVLPG (%pv) with HAP enabled\n", v); domain_crash(v->domain); return 0; } -- 2.39.5