xen/xsm: Add helpers to check permission for device tree passthrough
authorJulien Grall <julien.grall@linaro.org>
Tue, 28 Apr 2015 14:32:35 +0000 (15:32 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 8 May 2015 14:41:59 +0000 (15:41 +0100)
commit5fb6f0a4db26292bcf5c1d421181e62ef9fcdb39
treee7ad4831cbb0bbeb7fa8de30d7a8a10069c38349
parent25785da906d7b7daadd61cf34334b139e38dbee0
xen/xsm: Add helpers to check permission for device tree passthrough

This is a follow-up of commit 525ee49 "xsm: add device tree labeling
support" which add support for device tree labelling in flask.

Those helpers will be use latter when non-pci passthrough (i.e device
tree) will be added.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/include/xsm/dummy.h
xen/include/xsm/xsm.h
xen/xsm/dummy.c
xen/xsm/flask/avc.c
xen/xsm/flask/hooks.c
xen/xsm/flask/include/avc.h
xen/xsm/flask/policy/access_vectors