diff options
Diffstat (limited to 'xen/xsm/flask/avc.c')
| -rw-r--r-- | xen/xsm/flask/avc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xen/xsm/flask/avc.c b/xen/xsm/flask/avc.c index b5486a3bd4..95c928b5bb 100644 --- a/xen/xsm/flask/avc.c +++ b/xen/xsm/flask/avc.c @@ -639,6 +639,9 @@ void avc_audit(u32 ssid, u32 tsid, u16 tclass, u32 requested, case AVC_AUDIT_DATA_RANGE: 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); + break; } avc_dump_query(&buf, ssid, tsid, tclass); |