void frsh_destroy()
{
+ forb_destroy(frsh_forb_global.orb);
+
pthread_cancel(frsh_forb_global.alloc_executor_thread.pthread_id);
pthread_join(frsh_forb_global.alloc_executor_thread.pthread_id, NULL);
- forb_destroy(frsh_forb_global.orb);
/* TODO: Destroy all FRAs etc. */
}
frsh_resource_id_t frsh_get_local_cpu_id(void)
{
- frsh_resource_id_t id;
long int ret = FRSH_CPU_ID_DEFAULT;
if (getenv("FRSH_CPU_ID")) {
errno = 0; /* See strtol(1) */