X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_scheduler.h;h=61539ced062704b81bbb39fbfa8e340a23cd21a2;hb=c1810f8134ef829599525d30856970f0155da1f3;hp=3effce551b99945f1a218870bf3302206ee3be6b;hpb=6469a843145bd6626460531b3bb382ade6540b4a;p=palacios.git

diff --git a/palacios/include/palacios/vmm_scheduler.h b/palacios/include/palacios/vmm_scheduler.h
index 3effce5..61539ce 100644
--- a/palacios/include/palacios/vmm_scheduler.h
+++ b/palacios/include/palacios/vmm_scheduler.h
@@ -8,6 +8,7 @@
  * http://www.v3vee.org
  *
  * Copyright (c) 2013, Oscar Mondragon <omondrag@cs.unm.edu>
+ * Copyright (c) 2013, Patrick G. Bridges <bridges@cs.unm.edu>
  * Copyright (c) 2013, The V3VEE Project <http://www.v3vee.org> 
  * All rights reserved.
  *
@@ -36,16 +37,6 @@ struct vm_scheduler_impl {
 	int (*dvfs)(struct v3_vm_info *vm);
 };
 
-struct vm_sched_state {
-	struct vm_scheduler *sched;
-	void *priv_data;
-};
-
-struct vm_core_sched_state {
-	struct vm_scheduler *sched;
-	void *priv_data;
-};
-
 void v3_schedule(struct guest_info *core);
 void v3_yield(struct guest_info *core, int usec);