patchbot at xen
Jul 9, 2012, 12:00 PM
Post #1 of 1
(46 views)
Permalink
|
|
[xen-unstable] xsm/flask: fix memory AVC formatting
|
|
# HG changeset patch
# User Daniel De Graaf <dgdegra [at] tycho>
# 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 [at] tycho>
Committed-by: Keir Fraser <keir [at] xen>
---
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 [at] lists
http://lists.xensource.com/xen-changelog
|
