source: soft/giet_vm/sys/common.h @ 191

Last change on this file since 191 was 189, checked in by alain, 12 years ago

Introducing a new release where all initialisation
is done in the boot code.
File size: 3.4 KB
Line 
1///////////////////////////////////////////////////////////////////////////////////
2// File     : common.h
3// Date     : 01/04/2012
4// Author   : alain greiner and joel porquet
5// Copyright (c) UPMC-LIP6
6///////////////////////////////////////////////////////////////////////////////////
7
8#ifndef _COMMON_H
9#define _COMMON_H
10
11#include <mapping_info.h>
12
13///////////////////////////////////////////////////////////////////////////////////
14// For retrieving base addresses defined in seg.ld file.
15///////////////////////////////////////////////////////////////////////////////////
16
17typedef struct _ld_symbol_s _ld_symbol_t;
18
19extern _ld_symbol_t seg_iob_base;
20extern _ld_symbol_t seg_icu_base;
21extern _ld_symbol_t seg_timer_base;
22extern _ld_symbol_t seg_tty_base;
23extern _ld_symbol_t seg_gcd_base;
24extern _ld_symbol_t seg_dma_base;
25extern _ld_symbol_t seg_fb_base;
26extern _ld_symbol_t seg_ioc_base;
27extern _ld_symbol_t seg_mapping_base;
28extern _ld_symbol_t seg_kernel_pt_base;
29
30///////////////////////////////////////////////////////////////////////////////////
31//      Prototypes of common functions
32///////////////////////////////////////////////////////////////////////////////////
33
34void                            _puts(char *string);
35void                            _putw(unsigned int val);
36void                            _putd(unsigned int val);
37
38unsigned int            _strncmp(const char* s1, const char* s2, unsigned int n);
39
40void                            _dcache_buf_invalidate(const void *buffer, unsigned int size);
41
42void                            _itoa_dec(unsigned int val, char* buf);
43void                            _itoa_hex(unsigned int val, char* buf);
44
45void                            _dtlb_off(void);
46void                            _dtlb_on(void);
47
48void                            _it_mask(void);
49void                            _it_enable(void);
50
51unsigned int            _get_epc(void);
52unsigned int            _get_ptpr(void);
53unsigned int            _get_bvar(void);
54unsigned int            _get_cr(void);
55unsigned int            _get_sched(void);
56
57unsigned int            _get_current_context_slot(unsigned int index);
58unsigned int            _get_interrupt_vector_entry(unsigned int index);
59unsigned int            _get_current_task_id(void);
60unsigned int            _get_tasks_number(void);
61
62void                            _set_current_task_id( unsigned int value);
63
64void                            _get_lock(unsigned int* lock);
65void                            _release_lock(unsigned int* lock);
66
67mapping_cluster_t*  _get_cluster_base( mapping_header_t* header );
68mapping_pseg_t*     _get_pseg_base( mapping_header_t* header );
69mapping_vspace_t*   _get_vspace_base( mapping_header_t* header );
70mapping_vseg_t*     _get_vseg_base( mapping_header_t* header );
71mapping_vobj_t*     _get_vobj_base( mapping_header_t* header );
72mapping_task_t*     _get_task_base( mapping_header_t* header );
73
74
75///////////////////////////////////////////////////////////////////////////////////
76// memcpy() function
77// This function is likely not called directly by the GIET,
78// but GCC can automatically issue call to it during compilation,
79// so we must provide it.
80// Code taken from MutekH.
81///////////////////////////////////////////////////////////////////////////////////
82static inline void *memcpy(void *_dst, const void *_src, unsigned int size)
83{
84    unsigned int *dst = _dst;
85    const unsigned int *src = _src;
86
87    /* if source and destination buffer are word-aligned,
88     * then copy word-by-word */
89    if (!((unsigned int)dst & 3) && !((unsigned int)src & 3))
90        while (size > 3) {
91            *dst++ = *src++;
92            size -= 4;
93        }
94
95    unsigned char *cdst = (unsigned char*)dst;
96    unsigned char *csrc = (unsigned char*)src;
97
98    /* byte-by-byte copy */
99    while (size--) {
100        *cdst++ = *csrc++;
101    }
102    return _dst;
103}
104
105#endif
Note: See TracBrowser for help on using the repository browser.