diff --git a/xen/xsm/xsm_policy.c b/xen/xsm/xsm_policy.c
--- a/xen/xsm/xsm_policy.c
+++ b/xen/xsm/xsm_policy.c
@@ -32,7 +32,7 @@
     module_t *mod = (module_t *)__va(mbi->mods_addr);
     int rc = 0;
     u32 *_policy_start;
-    unsigned long start, _policy_len;
+    unsigned long _policy_len;
 
     /*
      * Try all modules and see whichever could be the binary policy.