Changeset 232 for soft/giet_vm/sys/common.c

Timestamp:

Mar 5, 2013, 4:00:09 PM (12 years ago)

Author:

meunier

Message:

Ajout du malloc dans le Giet.

File:

• soft/giet_vm/sys/common.c (modified) (2 diffs)

soft/giet_vm/sys/common.c

@@ -375 +375 @@
 
 ////////////////////////////////////////////////////////////////////////////
-//    _get_current_task_id()
+//    _get_proc_task_id()
 // This function returns the index of the currently running task.
 ////////////////////////////////////////////////////////////////////////////
-unsigned int _get_current_task_id() {
+unsigned int _get_proc_task_id() {
     static_scheduler_t * psched = (static_scheduler_t *) _get_sched();
     return _physical_read_access(&(psched->current));
@@ -385 +385 @@
 
 ////////////////////////////////////////////////////////////////////////////
-//    _set_current_task_id()
+//    _set_proc_task_id()
 // This function returns the index of the currently running task.
 ////////////////////////////////////////////////////////////////////////////
-void _set_current_task_id(unsigned int value) {
+void _set_proc_task_id(unsigned int value) {
     static_scheduler_t * psched = (static_scheduler_t *) _get_sched();
     _physical_write_access(&(psched->current), value);
+}
+
+
+////////////////////////////////////////////////////////////////////////////
+//    _get_global_task_id()
+// This function returns the global index of the running task.
+////////////////////////////////////////////////////////////////////////////
+unsigned int _get_global_task_id() {
+  return _get_context_slot(_get_proc_task_id(), CTX_GTID_ID);
 }