Update checkpatch

[akaros.git] / kern / include / schedule.h

diff --git a/kern/include/schedule.h b/kern/include/schedule.h
index f278bd1..eddcf8b 100644 (file)
--- a/kern/include/schedule.h
+++ b/kern/include/schedule.h
@@ -66,20 +66,6 @@ void cpu_bored(void);
  * inappropriate, since we need to know which specific core is now free. */
 void avail_res_changed(int res_type, long change);
 
-/* Get and put idle CG cores.  Getting a core removes it from the idle list, and
- * the kernel can do whatever it wants with it.  All this means is that the
- * ksched won't hand out that core to a process.  This will not give out
- * provisioned cores.
- *
- * The gets return the coreid on success, -1 or -error on failure. */
-int get_any_idle_core(void);
-int get_specific_idle_core(int coreid);
-void put_idle_core(int coreid);
-
-/************** Proc's view of the world **************/
-/* How many vcores p will think it can have */
-uint32_t max_vcores(struct proc *p);
-
 /************** Provisioning / Allocating *************/
 /* This section is specific to a provisioning ksched.  Careful calling any of
  * this from generic kernel code, since it might not be present in all kernel
@@ -88,9 +74,7 @@ int provision_core(struct proc *p, uint32_t pcoreid);
 
 /************** Debugging **************/
 void sched_diag(void);
-void print_idlecoremap(void);
 void print_resources(struct proc *p);
 void print_all_resources(void);
-void print_prov_map(void);
-void next_core(uint32_t pcoreid);
-void sort_idles(void);
+void next_core_to_alloc(uint32_t pcoreid);
+void sort_idle_cores(void);