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

Timestamp:

May 29, 2013, 1:24:09 AM (11 years ago)

Author:

alain

Message:

Major evolution to support physical addresses larger than 32 bits.
The map.xml format has been modified: the vsegs associated to schedulers
are now explicitely defined and mapped in the page tables.

File:

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

soft/giet_vm/sys/common.h

@@ -11 +11 @@
 #include <mapping_info.h>
 #include <giet_config.h>
+#include <ctx_handler.h>
 
 ///////////////////////////////////////////////////////////////////////////////////
@@ -34 +35 @@
 ///////////////////////////////////////////////////////////////////////////////////
 
-void _puts(char *string);
-void _putx(unsigned int val);
-void _putd(unsigned int val);
+void                 _puts(char *string);
+void                 _putx(unsigned int val);
+void                 _putd(unsigned int val);
+void                 _putl(paddr_t val);
 
-unsigned int _strncmp(const char * s1, const char * s2, unsigned int n);
-void _dcache_buf_invalidate(const void * buffer, unsigned int size);
+unsigned int         _strncmp(const char * s1, 
+                              const char * s2, 
+                              unsigned int n);
 
-void _dtlb_off(void);
-void _dtlb_on(void);
+void                 _dcache_buf_invalidate(const void * buffer, 
+                                            unsigned int size);
 
-void _it_mask(void);
-void _it_restore(void);
-void _it_disable(void);
-void _it_enable(void);
+void                 _dtlb_off(void);
+void                 _dtlb_on(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);
+void                 _it_mask(void);
+void                 _it_restore(void);
+void                 _it_disable(void);
+void                 _it_enable(void);
 
-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_epc(void);
+unsigned int         _get_ptpr(void);
+unsigned int         _get_bvar(void);
+unsigned int         _get_cr(void);
 
-unsigned int _get_interrupt_vector_entry(unsigned int index);
+static_scheduler_t*  _get_sched(void);
 
-unsigned int _get_proc_task_id(void);
-void _set_proc_task_id(unsigned int value);
+unsigned int         _get_context_slot( unsigned int slot );
 
-unsigned int _get_global_task_id(void);
+void                 _set_context_slot( unsigned int slot,
+                                        unsigned int value );
 
+unsigned int         _get_task_slot( unsigned int ltid,
+                                     unsigned int slot );
 
-unsigned int _get_tasks_number(void);
+void                 _set_task_slot( unsigned int ltid,
+                                     unsigned int slot,
+                                     unsigned int value );
 
-void _get_lock(unsigned int * lock);
-void _release_lock(unsigned int * lock);
+void                 _get_lock(unsigned int * lock);
+void                 _release_lock(unsigned int * lock);
 
-mapping_cluster_t * _get_cluster_base(mapping_header_t* header);
-mapping_pseg_t * _get_pseg_base(mapping_header_t* header);
-mapping_vspace_t * _get_vspace_base(mapping_header_t* header);
-mapping_vseg_t * _get_vseg_base(mapping_header_t* header);
-mapping_vobj_t * _get_vobj_base(mapping_header_t* header);
-mapping_task_t * _get_task_base(mapping_header_t* header);
+mapping_cluster_t *  _get_cluster_base(mapping_header_t* header);
+mapping_pseg_t *     _get_pseg_base(mapping_header_t* header);
+mapping_vspace_t *   _get_vspace_base(mapping_header_t* header);
+mapping_vseg_t *     _get_vseg_base(mapping_header_t* header);
+mapping_vobj_t *     _get_vobj_base(mapping_header_t* header);
+mapping_task_t *     _get_task_base(mapping_header_t* header);