From: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Date: Mon, 9 Jul 2012 09:09:44 +0000 (+0100)
Subject: xsm/flask: fix memory AVC formatting
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~8198
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=cbadda9f1b47eb2449fa8a825f03cef1ef484a34;p=xen.git

xsm/flask: fix memory AVC formatting

A space was missing in the format string.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
---

diff --git a/xen/xsm/flask/avc.c b/xen/xsm/flask/avc.c
index 95c928b5bb..44240a9282 100644
--- a/xen/xsm/flask/avc.c
+++ b/xen/xsm/flask/avc.c
@@ -640,7 +640,7 @@ void avc_audit(u32 ssid, u32 tsid, u16 tclass, u32 requested,
         avc_printk(&buf, "range=0x%lx-0x%lx ", a->range.start, a->range.end);
         break;
     case AVC_AUDIT_DATA_MEMORY:
-        avc_printk(&buf, "pte=0x%lx mfn=0x%lx", a->memory.pte, a->memory.mfn);
+        avc_printk(&buf, "pte=0x%lx mfn=0x%lx ", a->memory.pte, a->memory.mfn);
         break;
     }