aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--xen/xsm/flask/avc.c2
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;
}