diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-07-09 10:09:44 +0100 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-07-09 10:09:44 +0100 |
| commit | cbadda9f1b47eb2449fa8a825f03cef1ef484a34 (patch) | |
| tree | 79b8dc1c196aca483ba09226db31facb38a320ff /xen/xsm | |
| parent | a59a7be91b61acc9870253f8319821f1dd69f2ad (diff) | |
| download | xen-cbadda9f1b47eb2449fa8a825f03cef1ef484a34.tar.gz xen-cbadda9f1b47eb2449fa8a825f03cef1ef484a34.tar.bz2 xen-cbadda9f1b47eb2449fa8a825f03cef1ef484a34.zip | |
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>
Diffstat (limited to 'xen/xsm')
| -rw-r--r-- | xen/xsm/flask/avc.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |