Ignore:
Timestamp:
Aug 12, 2014, 6:39:26 PM (10 years ago)
Author:
alain
Message:

Cosmetic

File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/giet_common/utils.h

    r370 r399  
    66///////////////////////////////////////////////////////////////////////////////////
    77// The utils.c and utils.h files are part of the GIET-VM nano-kernel.
    8 // They define more or less the GIET-VM HAL (Hardware Abstraction Layer),
     8// They define more or less the GIET-VM Hardware Abstraction Layer,
    99// and contains various utility functions, that can be used by both the
    1010// boot code and the kernel code.
    … …  
    4545
    4646///////////////////////////////////////////////////////////////////////////////////
    47 //     Memory handling functions
    48 ///////////////////////////////////////////////////////////////////////////////////
    49 
    50 extern void* memcpy( void* _dst,
    51                      const void* _src,
    52                      unsigned int size );
    53 
    54 extern void* memset( void* dst,
    55                      int s,
    56                      unsigned int count );
    57 
    58 ///////////////////////////////////////////////////////////////////////////////////
    59 //     Break function
    60 ///////////////////////////////////////////////////////////////////////////////////
    61 
    62 extern void _break( char* str);
    63 
    64 ///////////////////////////////////////////////////////////////////////////////////
    65 //     Suicide function
    66 ///////////////////////////////////////////////////////////////////////////////////
    67 
    68 extern void _exit(void);
    69 
    70 ///////////////////////////////////////////////////////////////////////////////////
    71 //     Eret function
    72 ///////////////////////////////////////////////////////////////////////////////////
    73 
    74 extern void _eret(void);
    75 
    76 ///////////////////////////////////////////////////////////////////////////////////
    77 //     CP0 and CP2 registers access functions
     47//     CP0 registers access functions
    7848///////////////////////////////////////////////////////////////////////////////////
    7949
    8050extern unsigned int _get_sched(void);
    81 extern unsigned int _get_mmu_ptpr(void);
    82 extern unsigned int _get_mmu_mode(void);
    8351extern unsigned int _get_epc(void);
    8452extern unsigned int _get_bvar(void);
    … …  
    8755extern unsigned int _get_procid(void);
    8856extern unsigned int _get_proctime(void);
    89 extern unsigned int _get_current_task_id(void);
    9057
    9158extern void         _it_disable( unsigned int* save_sr_ptr );
    92 extern void         _it_enable(void);
    9359extern void         _it_restore( unsigned int* save_sr_ptr );
     60
     61extern void         _set_sched(unsigned int value);
     62extern void         _set_sr(unsigned int value);
     63
     64///////////////////////////////////////////////////////////////////////////////////
     65//     CP2 registers access functions
     66///////////////////////////////////////////////////////////////////////////////////
     67
     68extern unsigned int _get_mmu_ptpr(void);
     69extern unsigned int _get_mmu_mode(void);
    9470
    9571extern void         _set_mmu_ptpr(unsigned int value);
    9672extern void         _set_mmu_mode(unsigned int value);
    97 extern void         _set_sched(unsigned int value);
    98 extern void         _set_sr(unsigned int value);
    9973
    10074///////////////////////////////////////////////////////////////////////////////////
    … …  
    10377
    10478extern unsigned int _physical_read(  unsigned long long paddr );
    105 
    10679extern void         _physical_write( unsigned long long paddr,
    10780                                     unsigned int       value );
    10881
    10982extern unsigned long long _physical_read_ull(  unsigned long long paddr );
    110 
    11183extern void               _physical_write_ull( unsigned long long paddr,
    11284                                               unsigned long long value );
    … …  
    11789
    11890extern unsigned int _io_extended_read(  unsigned int* vaddr );
    119 
    12091extern void         _io_extended_write( unsigned int* vaddr,
    12192                                        unsigned int  value );
    … …  
    133104
    134105extern void         _puts( char*        string );
    135 
    136106extern void         _putx( unsigned int val );
    137 
    138107extern void         _putd( unsigned int val );
    139 
    140108extern void         _putl( unsigned long long val );
    141109
    … …  
    145113
    146114///////////////////////////////////////////////////////////////////////////////////
    147 //     string compare functions
     115//     Scheduler and task context access functions
    148116///////////////////////////////////////////////////////////////////////////////////
    149117
    150 extern unsigned int _strncmp(const char*  s1,
    151                              const char*  s2,
    152                              unsigned int n);
    153 
    154 extern char*        _strcpy( char*        dest,
    155                              char*        source );
    156 
    157 ///////////////////////////////////////////////////////////////////////////////////
    158 //     cache invalidate function
    159 ///////////////////////////////////////////////////////////////////////////////////
    160 
    161 extern void  _dcache_buf_invalidate( void * buffer,
    162                                      unsigned int size );
    163 
    164 ///////////////////////////////////////////////////////////////////////////////////
    165 //     Schedulers access functions
    166 ///////////////////////////////////////////////////////////////////////////////////
     118extern unsigned int _get_current_task_id(void);
    167119
    168120extern unsigned int _get_task_slot( unsigned int gpid,
    169121                                    unsigned int ltid,
    170122                                    unsigned int slot );
    171 
    172123extern void         _set_task_slot( unsigned int gpid,
    173124                                    unsigned int ltid,
    … …  
    176127
    177128extern unsigned int _get_context_slot( unsigned int slot );
    178 
    179129extern void         _set_context_slot( unsigned int slot,
    180130                                       unsigned int value );
    181 
    182 extern unsigned int _heap_info( unsigned int* vaddr,
    183                                 unsigned int* length,
    184                                 unsigned int  x,
    185                                 unsigned int  y );
    186131
    187132///////////////////////////////////////////////////////////////////////////////////
    … …  
    201146extern mapping_periph_t *   _get_periph_base(mapping_header_t* header);
    202147
     148///////////////////////////////////////////////////////////////////////////////////
     149//     Miscelaneous functions
     150///////////////////////////////////////////////////////////////////////////////////
     151
     152extern void         _exit(void);
     153
     154extern void         _random_wait( unsigned int value );
     155
     156extern void         _break( char* str);
     157
     158extern unsigned int _strncmp(const char*  s1,
     159                             const char*  s2,
     160                             unsigned int n);
     161
     162extern char*        _strcpy( char*        dest,
     163                             char*        source );
     164
     165extern void         _dcache_buf_invalidate( void * buffer,
     166                                            unsigned int size );
     167
     168extern unsigned int _heap_info( unsigned int* vaddr,
     169                                unsigned int* length,
     170                                unsigned int  x,
     171                                unsigned int  y );
     172
     173///////////////////////////////////////////////////////////////////////////////////
     174//     Required by GCC
     175///////////////////////////////////////////////////////////////////////////////////
     176
     177extern void* memcpy( void* _dst,
     178                     const void* _src,
     179                     unsigned int size );
     180
     181extern void* memset( void* dst,
     182                     int s,
     183                     unsigned int count );
     184
     185
    203186#endif
    204187
Note: See TracChangeset for help on using the changeset viewer.