[Xen-changelog] [xen-unstable] xsm/flask: remove unused permissions

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
# Date 1357901417 0
# Node ID fe115341b816ed303df06708dded2b58bf0d5f51
# Parent  b35e06c84bd0c3003c0c823f06472abe66122e2e
xsm/flask: remove unused permissions

Signed-off-by: Daniel De Graaf <dgdegra@xxxxxxxxxxxxx>
Committed-by: Keir Fraser <keir@xxxxxxx>
---


diff -r b35e06c84bd0 -r fe115341b816 xen/xsm/flask/policy/access_vectors
--- a/xen/xsm/flask/policy/access_vectors       Fri Jan 11 10:49:49 2013 +0000
+++ b/xen/xsm/flask/policy/access_vectors       Fri Jan 11 10:50:17 2013 +0000
@@ -254,8 +254,6 @@ class event
     send
 # EVTCHNOP_status; same as _send
     status
-# <unused>
-    notify
 # when creating an interdomain event channel endpoint:
 #  source = the domain creating the channel (which might not be an endpoint)
 #  target = event channel label
@@ -309,16 +307,12 @@ class mmu
     adjust
 # XENMEM_{current,maximum}_reservation, XENMEM_maximum_gpfn
     stat
-# <unused>
-    translategp
 # mmu_update MMU_MACHPHYS_UPDATE
     updatemp
 # XENMEM_add_to_physmap, XENMEM_remove_from_physmap
     physmap
 # MMUEXT_PIN_L*_TABLE
     pinpage
-# <unused>
-    mfnlist
 # XENMEM_machine_memory_map (with target xen_t)
 # XENMEM_set_memory_map (with domain target)
     memorymap

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