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

Timestamp:

Aug 7, 2012, 6:37:49 PM (12 years ago)

Author:

alain

Message:

Introducing a new release where all initialisation
is done in the boot code.

File:

• soft/giet_vm/sys/common.h (modified) (1 diff)

soft/giet_vm/sys/common.h

@@ -32 +32 @@
 ///////////////////////////////////////////////////////////////////////////////////
 
-void _puts(char *string);
-void _putw(unsigned int val);
+void                            _puts(char *string);
+void                            _putw(unsigned int val);
+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                            _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                            _itoa_dec(unsigned int val, char* buf);
+void                            _itoa_hex(unsigned int val, char* buf);
 
-unsigned int _get_epc();
-unsigned int _get_ptpr();
-unsigned int _get_bar();
-unsigned int _get_cr();
+void                            _dtlb_off(void);
+void                            _dtlb_on(void);
 
-void _get_lock(unsigned int* lock);
-void _release_lock(unsigned int* lock);
+void                            _it_mask(void);
+void                            _it_enable(void);
+
+unsigned int            _get_epc(void);
+unsigned int            _get_ptpr(void);
+unsigned int            _get_bvar(void);
+unsigned int            _get_cr(void);
+unsigned int            _get_sched(void);
+
+unsigned int            _get_current_context_slot(unsigned int index);
+unsigned int            _get_interrupt_vector_entry(unsigned int index);
+unsigned int            _get_current_task_id(void);
+unsigned int            _get_tasks_number(void);
+
+void                            _set_current_task_id( unsigned int value);
+
+void                            _get_lock(unsigned int* lock);
+void                            _release_lock(unsigned int* lock);
 
 mapping_cluster_t*  _get_cluster_base( mapping_header_t* header );