[Xen-changelog] [xen-unstable] xsm/flask: Fix AVC audit message format

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir.fraser@xxxxxxxxxx>
# Date 1250266118 -3600
# Node ID 01546e6749b3816cd2cd5408e01f8f18a4fd9354
# Parent  ef3209bb506342d23eae2131defe7d4f8b94df55
xsm/flask:  Fix AVC audit message format

Fix formatting of Flask AVC audit messages so that existing
policy tools can parse them.  After applying,
'xm dmesg | audit2allow' yields the expected result.

Signed-off-by: Stephen D. Smalley <sds@xxxxxxxxxxxxx>
Signed-off-by: George S. Coker, II <gscoker@xxxxxxxxxxxxxx>
---
 xen/xsm/flask/avc.c |   10 ++++------
 1 files changed, 4 insertions(+), 6 deletions(-)

diff -r ef3209bb5063 -r 01546e6749b3 xen/xsm/flask/avc.c
--- a/xen/xsm/flask/avc.c       Fri Aug 14 17:08:12 2009 +0100
+++ b/xen/xsm/flask/avc.c       Fri Aug 14 17:08:38 2009 +0100
@@ -226,8 +226,8 @@ static void avc_dump_query(u32 ssid, u32
         printk(" tcontext=%s", scontext);
         xfree(scontext);
     }
-    printk("\n");
-    printk("tclass=%s", class_to_string[tclass]);
+
+    printk(" tclass=%s", class_to_string[tclass]);
 }
 
 /**
@@ -560,12 +560,10 @@ void avc_audit(u32 ssid, u32 tsid, u16 t
     if ( a && a->d )
         d = a->d;
     if ( d )
-        printk("domid=%d", d->domain_id);
-
-    printk("\n");
+        printk("domid=%d ", d->domain_id);
+
     avc_dump_query(ssid, tsid, tclass);
     printk("\n");
-
 }
 
 /**

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