Add sza_print_backtrace_list()
[akaros.git] / kern / include / corerequest.h
index 5a6b834..cce3265 100644 (file)
 #include <arch/topology.h>
 #if defined(CONFIG_COREALLOC_FCFS)
   #include <corealloc_fcfs.h>
+#elif defined(CONFIG_COREALLOC_PACKED)
+  #include <corealloc_packed.h>
+#else
+  #error "Need a corealloc header!"
 #endif
 
 /* Initialize any data assocaited with doing core allocation. */
@@ -38,15 +42,6 @@ void __track_core_dealloc(struct proc *p, uint32_t pcoreid);
 void __track_core_dealloc_bulk(struct proc *p, uint32_t *pc_arr,
                                uint32_t nr_cores);
 
-/* Get/Put an idle core from our pcore list and return its core_id. Don't
- * consider the chosen core in the future when handing out cores to a
- * process. This code assumes that the scheduler that uses it holds a lock
- * for the duration of the call. 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);
-
 /* One off functions to make 'pcoreid' the next core chosen by the core
  * allocation algorithm (so long as no provisioned cores are still idle), and
  * to sort the idle core list for debugging. This code assumes that the