Changeset 199 for soft/giet_vm/sys/common.h

Timestamp:

Aug 9, 2012, 2:38:06 PM (12 years ago)

Author:

alain

Message:

Introducing the "idle" to improve the exit mechanism.

File:

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

soft/giet_vm/sys/common.h

@@ -36 +36 @@
 void                            _putd(unsigned int val);
 
-unsigned int            _strncmp(const char* s1, const char* s2, unsigned int n);
+unsigned int            _strncmp( const char* s1, 
+                              const char* s2, 
+                              unsigned int n );
 
-void                            _dcache_buf_invalidate(const void *buffer, unsigned int size);
-
-void                            _itoa_dec(unsigned int val, char* buf);
-void                            _itoa_hex(unsigned int val, char* buf);
+void                            _dcache_buf_invalidate( const void *buffer, 
+                                            unsigned int size );
 
 void                            _dtlb_off(void);
@@ -55 +55 @@
 unsigned int            _get_sched(void);
 
-unsigned int            _get_current_context_slot(unsigned int index);
+unsigned int            _get_context_slot( unsigned int task_id, 
+                                       unsigned int slot_id );
+
+void                            _set_context_slot( unsigned int task_id, 
+                                       unsigned int slot_id, 
+                                       unsigned int value );
+
 unsigned int            _get_interrupt_vector_entry(unsigned int index);
-unsigned int            _get_current_task_id(void);
+
+unsigned int            _get_current_task_id( void );
+void                            _set_current_task_id( unsigned int value );
+
 unsigned int            _get_tasks_number(void);
 
-void                            _set_current_task_id( unsigned int value);
 
 void                            _get_lock(unsigned int* lock);