aboutsummaryrefslogtreecommitdiffstats
path: root/xen/xsm
diff options
context:
space:
mode:
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>2013-01-11 10:50:17 +0000
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>2013-01-11 10:50:17 +0000
commit2ffc6723b0b7a9e85745606ba2b1e1021a862548 (patch)
tree21a115ec24b8c34d00b7863e2778e2b0e2c1cb19 /xen/xsm
parente1c42176858168692a394636115398dfe5178583 (diff)
downloadxen-2ffc6723b0b7a9e85745606ba2b1e1021a862548.tar.gz
xen-2ffc6723b0b7a9e85745606ba2b1e1021a862548.tar.bz2
xen-2ffc6723b0b7a9e85745606ba2b1e1021a862548.zip
xsm/flask: remove unused permissions
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/policy/access_vectors6
1 files changed, 0 insertions, 6 deletions
diff --git a/xen/xsm/flask/policy/access_vectors b/xen/xsm/flask/policy/access_vectors
index d144333054..2fdaede5e8 100644
--- a/xen/xsm/flask/policy/access_vectors
+++ b/xen/xsm/flask/policy/access_vectors
@@ -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