diff --git a/xen/common/schedule.c b/xen/common/schedule.c
index 51fd45b428..59639e4e8c 100644
--- a/xen/common/schedule.c
+++ b/xen/common/schedule.c
@@ -212,7 +212,7 @@ long sched_adjdom(int dom, unsigned long mcu_adv, unsigned long warp,
  ****************************************************************************/
 void reschedule(struct task_struct *p)
 {
-    int cpu = p->processor;;
+    int cpu = p->processor;
     struct task_struct *curr;
     unsigned long flags;
     s_time_t now, min_time;