credit2: remove undefined declaration of __dump_execstate()

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>

diff --git a/xen/common/sched_credit2.c b/xen/common/sched_credit2.c
index af457c1e09b57d87b26b7152ace06b25b871be8f..bb1c657e762617bc2d6b38e9e65914c2ff41f42a 100644 (file)
--- a/xen/common/sched_credit2.c
+++ b/xen/common/sched_credit2.c
@@ -2437,8 +2437,6 @@ csched2_runtime(const struct scheduler *ops, int cpu,
     return time;
 }
 
-void __dump_execstate(void *unused);
-
 /*
  * Find a candidate.
  */