diff -r 75421c62b19f xen/xsm/flask/hooks.c
--- a/xen/xsm/flask/hooks.c	Tue May 31 16:37:16 2011 -0400
+++ b/xen/xsm/flask/hooks.c	Tue May 31 17:56:13 2011 -0400
@@ -18,6 +18,7 @@
 #include <xen/cpumask.h>
 #include <xen/errno.h>
 #include <xen/guest_access.h>
+#include <xen/xenoprof.h>
 #include <public/xen.h>
 #include <public/physdev.h>
 #include <public/platform.h>