[Xen-changelog] [xen-unstable] xsm/flask: fix memory AVC formatting

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
# Date 1341824984 -3600
# Node ID 7d3401621bb5af42a48cac94ca5b8434e4e547cc
# Parent  f7b33a9f3b97b01da8e1a5740421c21577b7cee3
xsm/flask: fix memory AVC formatting

A space was missing in the format string.

Signed-off-by: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
Committed-by: Keir Fraser <keir@xxxxxxx>
---


diff -r f7b33a9f3b97 -r 7d3401621bb5 xen/xsm/flask/avc.c
--- a/xen/xsm/flask/avc.c       Mon Jul 09 10:09:03 2012 +0100
+++ b/xen/xsm/flask/avc.c       Mon Jul 09 10:09:44 2012 +0100
@@ -640,7 +640,7 @@ void avc_audit(u32 ssid, u32 tsid, u16 t
         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;
     }
 

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog