diff -r 782599274bf9 tools/flask/policy/policy/modules/xen/xen.te
--- a/tools/flask/policy/policy/modules/xen/xen.te	Tue Sep 30 10:14:54 2008 +0100
+++ b/tools/flask/policy/policy/modules/xen/xen.te	Tue Oct 07 14:58:37 2008 -0400
@@ -33,7 +33,7 @@
 				getvcpuinfo getaddrsize getvcpuaffinity};
 	allow $1 $2:shadow {enable};
 	allow $1 $2:mmu {map_read map_write memorymap adjust pinpage};
-	allow $2 $2:mmu {map_read map_write pinpage};
+	allow $2 $2:mmu {map_read map_write adjust pinpage};
 	allow $2 domio_t:mmu {map_read};
 	allow $2 $2:grant {query setup};
 	allow $1 $2:grant {map_read unmap};