Ignore:
Timestamp:
Mar 26, 2014, 6:44:44 PM (11 years ago)
Author:
alain
Message:

Introducing a major release, to suppoort the tsar_generic_leti platform
and the various (external or internal) peripherals configurations.
The map.xml format has been modified, in order to support the new
vci_iopic componentand a new policy for peripherals initialisation.
The IRQs are nom described in the XICU and IOPIC components
(and not anymore in the processors).
To enforce this major change, the map.xml file signature changed:
The signature value must be: 0xDACE2014

This new release has been tested on the tsar_generic_leti platform
for the following mappings:

  • 4c_4p_sort_leti
  • 4c_4p_sort_leti_ext
  • 4c_4p_transpose_leti
  • 4c_4p_transpose_leti_ext
  • 4c_1p_four_leti_ext
Location:
soft/giet_vm/giet_common
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/giet_common/mips32_registers.h

    r268 r295  
    5454#define CP0_PROCID     $15,1
    5555#define CP0_SCHED      $4,2
     56#define CP0_SRSAVE     $8
    5657
    5758/* CP2 registers */
  • soft/giet_vm/giet_common/utils.c

    r293 r295  
    4747                      unsigned int size )    // bytes
    4848{
    49     unsigned int*       dst = dest;
    50     const unsigned int* src = source;
     49    unsigned int* idst = (unsigned int*)dest;
     50    unsigned int* isrc = (unsigned int*)source;
    5151
    5252    // word-by-word copy
    53     if (!((unsigned int) dst & 3) && !((unsigned int) src & 3))
     53    if (!((unsigned int) idst & 3) && !((unsigned int) isrc & 3))
    5454    {
    5555        while (size > 3)
    5656        {
    57             *dst++ = *src++;
     57            *idst++ = *isrc++;
    5858            size -= 4;
    5959        }
    6060    }
    6161
    62     unsigned char * cdst = (unsigned char *) dst;
    63     unsigned char * csrc = (unsigned char *) src;
     62    unsigned char* cdst = (unsigned char*)dest;
     63    unsigned char* csrc = (unsigned char*)source;
    6464
    6565    /* byte-by-byte copy */
     
    7373// Fill a byte string with a byte value.
    7474//////////////////////////////////////////////////////////////////////////////////
    75 inline void * _memset( void*        dst,
     75inline void * _memset( void*        dest,
    7676                       int          value,
    7777                       unsigned int count )
    7878{
    79     char * a = (char *) dst;
     79    // word-by-word copy
     80    unsigned int* idst = dest;
     81    unsigned int  data = (((unsigned char)value)      ) |
     82                         (((unsigned char)value) <<  8) |
     83                         (((unsigned char)value) << 16) |
     84                         (((unsigned char)value) << 24) ;
     85
     86    if ( ! ((unsigned int)idst & 3) )
     87    {
     88        while ( count > 3 )
     89        {
     90            *idst++ = data;
     91            count -= 4;
     92        }
     93    }
     94   
     95    // byte-by-byte copy
     96    unsigned char* cdst = dest;
    8097    while (count--)
    8198    {
    82         *a++ = (char)value;
    83     }
    84     return dst;
     99        *cdst++ = (unsigned char)value;
     100    }
     101    return dest;
     102}
     103
     104//////////////////////////////////////////////////////////////////////////////////
     105// This function implements an interactive break for debug.
     106// Execution continue when typing any character on TTY0.
     107// The "str" argument is supposed to indicate the break location.
     108//////////////////////////////////////////////////////////////////////////////////
     109inline void _break( char* string )
     110{
     111    char byte;
     112
     113    _printf("\n[GIET DEBUG] break from %s / continue ?\n", string );
     114    _getc( &byte );
    85115}
    86116
     
    90120inline void _exit()
    91121{
     122    unsigned int procid     = _get_procid();
     123    unsigned int lpid       = procid % NB_PROCS_MAX;
     124    unsigned int cluster_xy = procid / NB_PROCS_MAX;
     125    unsigned int x          = cluster_xy >> Y_WIDTH;
     126    unsigned int y          = cluster_xy & ((1<<Y_WIDTH)-1);
     127
     128
     129    _printf("\n[GIET PANIC] processor[%d,%d,%d] suicide...\n", x, y, lpid );
     130
    92131    while (1) { asm volatile ("nop"); }
    93132}
     
    103142{
    104143    unsigned int ret;
    105     asm volatile("mfc0      %0,     $4, 2\n" : "=r"(ret) );
     144    asm volatile( "mfc0      %0,     $4,2    \n"
     145                  : "=r"(ret) );
    106146    return ret;
    107147}
     
    112152{
    113153    unsigned int ret;
    114     asm volatile("mfc2      %0,     $0" : "=r"(ret));
     154    asm volatile( "mfc2      %0,     $0      \n"
     155                  : "=r"(ret) );
    115156    return ret;
    116157}
    117158///////////////////////////////////////////////////////////////////////////////////
     159// Returns MODE register content.
     160///////////////////////////////////////////////////////////////////////////////////
     161inline unsigned int _get_mmu_mode()
     162{
     163    unsigned int ret;
     164    asm volatile( "mfc2      %0,     $1      \n"
     165                  : "=r"(ret) );
     166    return ret;
     167}
     168///////////////////////////////////////////////////////////////////////////////////
    118169// Returns EPC register content.
    119170///////////////////////////////////////////////////////////////////////////////////
     
    121172{
    122173    unsigned int ret;
    123     asm volatile("mfc0      %0,     $14" : "=r"(ret));
     174    asm volatile( "mfc0      %0,    $14     \n"
     175                  : "=r"(ret) );
    124176    return ret;
    125177}
     
    130182{
    131183    unsigned int ret;
    132     asm volatile("mfc0      %0,     $8" : "=r"(ret));
     184    asm volatile( "mfc0      %0,    $8     \n"
     185                  : "=r"(ret));
    133186    return ret;
    134187}
     
    139192{
    140193    unsigned int ret;
    141     asm volatile("mfc0      %0,     $13" : "=r"(ret));
     194    asm volatile( "mfc0      %0,    $13    \n"
     195                  : "=r"(ret));
    142196    return ret;
    143197}
     
    148202{
    149203    unsigned int ret;
    150     asm volatile("mfc0      %0,     $12" : "=r"(ret));
     204    asm volatile( "mfc0      %0,     $12   \n"
     205                  : "=r"(ret));
    151206    return ret;
    152207}
     
    156211inline void _set_sr(unsigned int val)
    157212{
    158     asm volatile("mtc0      %0,     $12" ::"r" (val));
    159 }
    160 //////////////////////////////////////////////////////////////////////////////////
     213    asm volatile( "mtc0      %0,     $12    \n"
     214                  :
     215                  :"r" (val) );
     216}
     217//////////////////////////////////////////////////////////////////////////////
    161218// Returns processor index
    162 //////////////////////////////////////////////////////////////////////////////////
     219//////////////////////////////////////////////////////////////////////////////
    163220inline unsigned int _get_procid()
    164221{
    165222    unsigned int ret;
    166     asm volatile ("mfc0     %0,     $15, 1":"=r" (ret));
     223    asm volatile ( "mfc0     %0,     $15, 1  \n"
     224                   :"=r" (ret) );
    167225    return (ret & 0x3FF);
    168226}
    169 ///////////////////////////////////////////////////////////////////////////////////
     227//////////////////////////////////////////////////////////////////////////////
    170228// Returns local time (32 bits value)
    171229// boot_proctime()
    172 ///////////////////////////////////////////////////////////////////////////////////
     230//////////////////////////////////////////////////////////////////////////////
    173231inline unsigned int _get_proctime()
    174232{
    175233    unsigned int ret;
    176     asm volatile ("mfc0     %0,     $9":"=r" (ret));
     234    asm volatile ( "mfc0     %0,     $9      \n"
     235                   :"=r" (ret) );
    177236    return ret;
    178237}
    179 ///////////////////////////////////////////////////////////////////////////////////
    180 // Returns index of the currently running task from the sheduler.
    181 ///////////////////////////////////////////////////////////////////////////////////
    182 unsigned int _get_proc_task_id()
     238//////////////////////////////////////////////////////////////////////////////
     239// Returns index of the currently running task from the processor scheduler.
     240//////////////////////////////////////////////////////////////////////////////
     241unsigned int _get_current_task_id()
    183242{
    184243    static_scheduler_t * psched = (static_scheduler_t *) _get_sched();
     
    186245}
    187246
    188 ///////////////////////////////////////////////////////////////////////////////////
    189 // Disables IRQs
    190 ///////////////////////////////////////////////////////////////////////////////////
    191 inline void _it_disable()
    192 {
    193     asm volatile(
    194             "li      $3,        0xFFFFFFFE    \n"
    195             "mfc0    $4,        $12           \n"
    196             "and     $3,        $3, $4        \n"
    197             "mtc0    $3,        $12           \n"
    198             ::: "$3", "$4");
    199 }
    200 ///////////////////////////////////////////////////////////////////////////////////
     247//////////////////////////////////////////////////////////////////////////////
     248// Save SR value into save_sr_ptr variable and disable IRQs.
     249//////////////////////////////////////////////////////////////////////////////
     250inline void _it_disable( unsigned int * save_sr_ptr)
     251{
     252    unsigned int sr;
     253    asm volatile( "li      $3,        0xFFFFFFFE    \n"
     254                  "mfc0    %0,        $12           \n"
     255                  "and     $3,        $3,   %0      \n" 
     256                  "mtc0    $3,        $12           \n"
     257                  : "=r"(sr)
     258                  :
     259                  : "$3" );
     260    *save_sr_ptr = sr;
     261}
     262//////////////////////////////////////////////////////////////////////////////
    201263// Enables IRQs
    202 ///////////////////////////////////////////////////////////////////////////////////
     264//////////////////////////////////////////////////////////////////////////////
    203265inline void _it_enable()
    204266{
    205     asm volatile(
    206             "li      $3,        0x00000001    \n"
    207             "mfc0    $4,        $12           \n"
    208             "or      $3,        $3, $4        \n"
    209             "mtc0    $3,        $12           \n"
    210             ::: "$3", "$4");
     267    asm volatile( "li      $3,        0x00000001    \n"
     268                  "mfc0    $4,        $12           \n"
     269                  "or      $3,        $3, $4        \n"
     270                  "mtc0    $3,        $12           \n" 
     271                  ::: "$3", "$4" );
     272}
     273
     274//////////////////////////////////////////////////////////////////////////////
     275// Restores previous SR value.
     276//////////////////////////////////////////////////////////////////////////////
     277inline void _it_restore( unsigned int * save_sr_ptr )
     278{
     279    unsigned int sr = *save_sr_ptr;
     280    asm volatile( "mtc0    %0,        $12           \n"
     281                  :
     282                  : "r"(sr) );
    211283}
    212284
     
    216288inline void _set_mmu_ptpr(unsigned int val)
    217289{
    218     asm volatile ("mtc2     %0,     $0"::"r" (val));
     290    asm volatile ( "mtc2     %0,     $0            \n"
     291                   :
     292                   :"r" (val) );
    219293}
    220294//////////////////////////////////////////////////////////////////////////////
     
    223297inline void _set_mmu_mode(unsigned int val)
    224298{
    225     asm volatile ("mtc2     %0,     $1"::"r" (val));
     299    asm volatile ( "mtc2     %0,     $1             \n"
     300                   :
     301                   :"r" (val) );
    226302}
    227303//////////////////////////////////////////////////////////////////////////////
     
    231307inline void _set_sched(unsigned int val)
    232308{
    233     asm volatile ("mtc0     %0,     $4, 2"::"r" (val));
     309    asm volatile ( "mtc0     %0,     $4, 2          \n"
     310                   :
     311                   :"r" (val) );
    234312}
    235313
     
    249327
    250328    asm volatile(
     329            "li     $3,     0xFFFFFFFE         \n"
     330            "mfc0   $2,     $12                \n"
     331            "and    $3,     $2,        $3      \n"
     332            "mtc0   $3,     $12                \n"     /* IRQ disabled     */
     333
    251334            "mfc2   $2,     $1                 \n"     /* $2 <= MMU_MODE   */
    252335            "andi   $3,     $2,        0xb     \n"
     
    258341
    259342            "mtc2   $2,     $1                 \n"     /* restore MMU_MODE */
     343
     344            "li     $3,     0x00000001         \n"
     345            "mfc0   $2,     $12                \n"
     346            "or     $3,     $3,        $2      \n"
     347            "mtc0   $3,     $12                \n"     /* IRQ enabled      */
    260348            : "=r" (value)
    261349            : "r" (lsb), "r" (msb)
     
    268356////////////////////////////////////////////////////////////////////////////
    269357inline void _physical_write( unsigned long long paddr,
    270                       unsigned int       value )
     358                             unsigned int       value )
    271359{
    272360    unsigned int lsb = (unsigned int)paddr;
     
    274362
    275363    asm volatile(
     364            "li     $3,     0xFFFFFFFE         \n"
     365            "mfc0   $2,     $12                \n"
     366            "and    $3,     $2,        $3      \n"
     367            "mtc0   $3,     $12                \n"     /* IRQ disabled     */
     368
    276369            "mfc2   $2,     $1                 \n"     /* $2 <= MMU_MODE   */
    277370            "andi   $3,     $2,        0xb     \n"
     
    283376
    284377            "mtc2   $2,     $1                 \n"     /* restore MMU_MODE */
     378
     379            "li     $3,     0x00000001         \n"
     380            "mfc0   $2,     $12                \n"
     381            "or     $3,     $3,        $2      \n"
     382            "mtc0   $3,     $12                \n"     /* IRQ enabled      */
    285383            :
    286384            : "r" (value), "r" (lsb), "r" (msb)
    287385            : "$2", "$3");
     386}
     387
     388///////////////////////////////////////////////////////////////////////////////////
     389// This function is used by all drivers (_xxx_set_register() function)
     390// If the MMU is not activated, the virtual address is extended using
     391// X_IO and Y_IO to reach the cluster_io.
     392///////////////////////////////////////////////////////////////////////////////////
     393inline void _io_extended_write( unsigned int*  vaddr,
     394                                unsigned int   value )
     395{
     396    unsigned long long paddr;
     397
     398    if ( _get_mmu_mode() & 0x4 )  // MMU activated : use virtual address
     399    {
     400        *vaddr = value;
     401    }
     402    else                          // use paddr extension for IO
     403    {
     404        paddr = (unsigned long long)(unsigned int)vaddr +
     405                (((unsigned long long)((X_IO<<Y_WIDTH) + Y_IO))<<32);
     406        _physical_write( paddr, value );
     407    }
     408    asm volatile("sync" ::: "memory");
     409}
     410
     411///////////////////////////////////////////////////////////////////////////////////
     412// This function is used by all drivers (_xxx_get_register() function)
     413// If the MMU is not activated, the virtual address is extended using
     414// X_IO and Y_IO to reach the cluster_io.
     415///////////////////////////////////////////////////////////////////////////////////
     416inline unsigned int _io_extended_read( unsigned int*  vaddr )
     417{
     418    unsigned long long paddr;
     419
     420    if ( _get_mmu_mode() & 0x4 )  // MMU activated : use virtual address
     421    {
     422        return *(volatile unsigned int*)vaddr;
     423    }
     424    else                          // use paddr extension for IO
     425    {
     426        paddr = (unsigned long long)(unsigned int)vaddr +
     427                (((unsigned long long)((X_IO<<Y_WIDTH) + Y_IO))<<32);
     428        return _physical_read( paddr );
     429    }
    288430}
    289431
     
    323465            :"$2", "$3", "$4");
    324466}
     467
    325468///////////////////////////////////////////////////////////////////////////////////
    326469// Release a previouly taken lock.
     
    328471inline void _release_lock(unsigned int * plock)
    329472{
    330     asm volatile ( "sync\n" ); // necessary because of the TSAR consistency model
     473    asm volatile ( "sync\n" ::: "memory" );
     474    // sync is necessary because of the TSAR consistency model
    331475    *plock = 0;
    332476}
    333477
    334478///////////////////////////////////////////////////////////////////////////////////
    335 // Display a string on TTY0 / used for system code debug and log.
    336 // It does not use the TTY driver, but uses the seg_tty_base variable...
    337 ///////////////////////////////////////////////////////////////////////////////////
    338 void _puts(char * buffer)
    339 {
    340     unsigned int n;
    341     for (n = 0; n < 1000; n++)
    342     {
    343         if (buffer[n] == 0)  break;
    344     }
    345     _tty_write( buffer, n, 0 );   // last argument is TTY channel
    346 }
    347 
    348 ///////////////////////////////////////////////////////////////////////////////////
    349479//           Access functions to system terminal TTY0
    350480///////////////////////////////////////////////////////////////////////////////////
    351481
    352482///////////////////////////////////////////////////////////////////////////////////
    353 // Display a 32 bits unsigned int as an hexadecimal string on TTY0
    354 ///////////////////////////////////////////////////////////////////////////////////
    355 void _putx(unsigned int val)
     483// Display "string" argument on TTY0.
     484// It uses the low level access functions from TTY driver, using a busy waiting
     485// policy if TTY buffer is full.
     486// The exclusive access lock should be taken by the caller.
     487///////////////////////////////////////////////////////////////////////////////////
     488void _puts( char* string )
     489{
     490    unsigned int n = 0;
     491
     492    while ( string[n] > 0 )
     493    {
     494        // test status register
     495        while ( (_tty_get_register( 0, TTY_STATUS ) & 0x2) );
     496
     497        // write one byte
     498        _tty_set_register( 0, TTY_WRITE, (unsigned int)string[n] );
     499        n++;
     500    }
     501}
     502
     503///////////////////////////////////////////////////////////////////////////////////
     504// Display a 32 bits unsigned int as an hexadecimal string on TTY0.
     505///////////////////////////////////////////////////////////////////////////////////
     506void _putx( unsigned int val )
    356507{
    357508    static const char HexaTab[] = "0123456789ABCDEF";
     
    368519        val = val >> 4;
    369520    }
    370     _puts(buf);
    371 }
    372 
    373 ///////////////////////////////////////////////////////////////////////////////////
    374 // Display a 64 bits unsigned long as an hexadecimal string on TTY0 
    375 ///////////////////////////////////////////////////////////////////////////////////
    376 void _putl(unsigned long long val)
     521    _puts( buf );
     522}
     523
     524///////////////////////////////////////////////////////////////////////////////////
     525// Display a 64 bits unsigned long as an hexadecimal string on TTY0.
     526///////////////////////////////////////////////////////////////////////////////////
     527void _putl( unsigned long long val )
    377528{
    378529    static const char HexaTab[] = "0123456789ABCDEF";
     
    389540        val = val >> 4;
    390541    }
    391     _puts(buf);
    392 }
    393 
    394 ///////////////////////////////////////////////////////////////////////////////////
    395 // Display a 32 bits unsigned int as a decimal string on TTY0
    396 ///////////////////////////////////////////////////////////////////////////////////
    397 void _putd(unsigned int val)
     542    _puts( buf );
     543}
     544
     545///////////////////////////////////////////////////////////////////////////////////
     546// Display a 32 bits unsigned int as a decimal string on TTY0.
     547///////////////////////////////////////////////////////////////////////////////////
     548void _putd( unsigned int val )
    398549{
    399550    static const char DecTab[] = "0123456789";
     
    414565        val /= 10;
    415566    }
    416     _puts(&buf[first]);
     567    _puts( &buf[first] );
     568}
     569
     570///////////////////////////////////////////////////////////////////////////////////
     571// Display a format on TTY0.
     572// To provide an atomic display, this function takes the lock protecting
     573// exclusive access to TTY0, entering a critical section until the lock
     574// is released.
     575// Only a limited number of formats are supported:
     576//   - %d : 32 bits signed   decimal
     577//   - %u : 32 bits unsigned decimal
     578//   - %x : 32 bits unsigned hexa
     579//   - %l : 64 bits unsigned hexa
     580//   - %c : char
     581//   - %s : string
     582///////////////////////////////////////////////////////////////////////////////////
     583void _printf( char * format, ... )
     584{
     585    va_list ap;
     586    va_start(ap, format);
     587    unsigned int save_sr;     // used to save the SR value in critical section
     588
     589    // get TTY0 lock
     590    _tty_get_lock( 0, &save_sr );
     591
     592printf_text:
     593
     594    while (*format)
     595    {
     596        unsigned int i;
     597        for (i = 0 ; format[i] && (format[i] != '%') ; i++);
     598        if (i)
     599        {
     600            if ( _tty_write( format, i, 0 ) != i ) goto return_error;
     601            format += i;
     602        }
     603        if (*format == '%')
     604        {
     605            format++;
     606            goto printf_arguments;
     607        }
     608    }
     609
     610    // release TTY0 lock
     611    _tty_release_lock( 0, &save_sr );
     612
     613    va_end(ap);
     614    return;
     615
     616printf_arguments:
     617
     618    {
     619        char buf[20];
     620        char * pbuf;
     621        unsigned int len = 0;
     622        static const char HexaTab[] = "0123456789ABCDEF";
     623        unsigned int i;
     624
     625        switch (*format++)
     626        {
     627            case ('c'):             /* char conversion */
     628            {
     629                int val = va_arg( ap, int );
     630                len = 1;
     631                buf[0] = val;
     632                pbuf = &buf[0];
     633                break;
     634            }
     635            case ('d'):             /* 32 bits decimal signed  */
     636            {
     637                int val = va_arg( ap, int );
     638                if (val < 0)
     639                {
     640                    val = -val;
     641                    if ( _tty_write( "-" , 1, 0 ) != 1 ) goto return_error;
     642                }
     643                for(i = 0; i < 10; i++)
     644                {
     645                    buf[9 - i] = HexaTab[val % 10];
     646                    if (!(val /= 10)) break;
     647                }
     648                len =  i + 1;
     649                pbuf = &buf[9 - i];
     650                break;
     651            }
     652            case ('u'):             /* 32 bits decimal unsigned  */
     653            {
     654                unsigned int val = va_arg( ap, unsigned int );
     655                for(i = 0; i < 10; i++)
     656                {
     657                    buf[9 - i] = HexaTab[val % 10];
     658                    if (!(val /= 10)) break;
     659                }
     660                len =  i + 1;
     661                pbuf = &buf[9 - i];
     662                break;
     663            }
     664            case ('x'):             /* 32 bits hexadecimal unsigned */
     665            {
     666                unsigned int val = va_arg( ap, unsigned int );
     667                if ( _tty_write( "0x" , 2, 0 ) != 2 ) goto return_error;
     668                for(i = 0; i < 8; i++)
     669                {
     670                    buf[7 - i] = HexaTab[val % 16];
     671                    if (!(val /= 16))  break;
     672                }
     673                len =  i + 1;
     674                pbuf = &buf[7 - i];
     675                break;
     676            }
     677            case ('l'):            /* 64 bits hexadecimal unsigned */
     678            {
     679                unsigned long long val = va_arg( ap, unsigned long long );
     680                if ( _tty_write( "0x" , 2, 0 ) != 2 ) goto return_error;
     681                for(i = 0; i < 16; i++)
     682                {
     683                    buf[15 - i] = HexaTab[val % 16];
     684                    if (!(val /= 16))  break;
     685                }
     686                len =  i + 1;
     687                pbuf = &buf[15 - i];
     688                break;
     689            }
     690            case ('s'):             /* string */
     691            {
     692                char* str = va_arg( ap, char* );
     693                while (str[len])
     694                {
     695                    len++;
     696                }
     697                pbuf = str;
     698                break;
     699            }
     700            default:
     701                goto return_error;
     702        }
     703
     704        if ( _tty_write( pbuf, len, 0 ) != len ) goto return_error;
     705       
     706        goto printf_text;
     707    }
     708
     709return_error:
     710
     711    {
     712        unsigned int procid     = _get_procid();
     713        unsigned int lpid       = procid % NB_PROCS_MAX;
     714        unsigned int cluster_xy = procid / NB_PROCS_MAX;
     715        unsigned int x          = cluster_xy >> Y_WIDTH;
     716        unsigned int y          = cluster_xy & ((1<<Y_WIDTH)-1);
     717
     718        _puts("\n\n[GIET ERROR] in _printf() for processor[");
     719        _putd( x );
     720        _puts(",");
     721        _putd( y );
     722        _puts(",");
     723        _putd( lpid );
     724        _puts("]\n");
     725
     726        // release TTY0 lock
     727        _tty_release_lock( 0, &save_sr );
     728
     729        _exit();
     730    }
     731}
     732
     733///////////////////////////////////////////////////////////////////////////////////
     734// Get a character from TTY0.
     735///////////////////////////////////////////////////////////////////////////////////
     736void _getc( char*        byte )
     737{
     738    // test status register
     739    while ( _tty_get_register( 0, TTY_STATUS ) == 0 );
     740
     741    // read one byte
     742    *byte = (char)_tty_get_register( 0, TTY_READ );
    417743}
    418744
     
    452778// register, to be more processor independant.
    453779///////////////////////////////////////////////////////////////////////////////////
    454 void _dcache_buf_invalidate( const void * buffer,
     780void _dcache_buf_invalidate( void * buffer,
    455781                             unsigned int size)
    456782{
  • soft/giet_vm/giet_common/utils.h

    r268 r295  
    2323typedef struct _ld_symbol_s _ld_symbol_t;
    2424
    25 // peripheral base addresses
     25// non replicated peripherals
    2626extern _ld_symbol_t seg_iob_base;
    2727extern _ld_symbol_t seg_nic_base;
     28extern _ld_symbol_t seg_cma_base;
     29extern _ld_symbol_t seg_tty_base;
     30extern _ld_symbol_t seg_fbf_base;
     31extern _ld_symbol_t seg_pic_base;
     32extern _ld_symbol_t seg_ioc_base;
     33extern _ld_symbol_t seg_sim_base;
     34
     35// replicated peripherals
    2836extern _ld_symbol_t seg_icu_base;
    2937extern _ld_symbol_t seg_xcu_base;
    3038extern _ld_symbol_t seg_tim_base;
    31 extern _ld_symbol_t seg_tty_base;
    32 extern _ld_symbol_t seg_gcd_base;
    3339extern _ld_symbol_t seg_dma_base;
    34 extern _ld_symbol_t seg_fbf_base;
    35 extern _ld_symbol_t seg_ioc_base;
    3640extern _ld_symbol_t seg_mmc_base;
    37 extern _ld_symbol_t seg_cma_base;
    38 extern _ld_symbol_t seg_hba_base;
    39 extern _ld_symbol_t seg_sim_base;
    4041
    4142// for replicated peripherals
     
    7071extern _ld_symbol_t seg_kernel_init_size;
    7172
    72 
     73extern _ld_symbol_t seg_ram_disk_base;
     74extern _ld_symbol_t seg_ram_disk_size;
     75
     76extern _ld_symbol_t seg_reset_code_base;
     77extern _ld_symbol_t seg_reset_code_size;
    7378
    7479///////////////////////////////////////////////////////////////////////////////////
     
    8590
    8691///////////////////////////////////////////////////////////////////////////////////
     92//     Break function
     93///////////////////////////////////////////////////////////////////////////////////
     94
     95extern void _break( char* str);
     96
     97///////////////////////////////////////////////////////////////////////////////////
    8798//     Suicide function
    8899///////////////////////////////////////////////////////////////////////////////////
     
    102113extern unsigned int _get_sched(void);
    103114extern unsigned int _get_mmu_ptpr(void);
     115extern unsigned int _get_mmu_mode(void);
    104116extern unsigned int _get_epc(void);
    105117extern unsigned int _get_bvar(void);
     
    108120extern unsigned int _get_procid(void);
    109121extern unsigned int _get_proctime(void);
    110 extern unsigned int _get_proc_task_id(void);
    111 
    112 extern void         _it_disable(void);
     122extern unsigned int _get_current_task_id(void);
     123
     124extern void         _it_disable( unsigned int* save_sr_ptr );
    113125extern void         _it_enable(void);
     126extern void         _it_restore( unsigned int* save_sr_ptr );
    114127
    115128extern void         _set_mmu_ptpr(unsigned int value);
     
    127140                                     unsigned int       value );
    128141
     142extern unsigned int _io_extended_read(  unsigned int* vaddr );
     143
     144extern void         _io_extended_write( unsigned int* vaddr,
     145                                        unsigned int  value );
     146
    129147///////////////////////////////////////////////////////////////////////////////////
    130148//     Locks access functions
     
    135153
    136154///////////////////////////////////////////////////////////////////////////////////
    137 //     Display functions
    138 ///////////////////////////////////////////////////////////////////////////////////
    139 
    140 extern void         _puts(char *string);             // display a string
    141 extern void         _putx(unsigned int val);         // display a 32 bits value (hexa)
    142 extern void         _putd(unsigned int val);         // display a 32 bits value (dec)
    143 extern void         _putl(unsigned long long val);   // display a 64 bits value (hexa)
     155//     TTY0 access functions
     156///////////////////////////////////////////////////////////////////////////////////
     157
     158extern void         _puts( char*        string );
     159
     160extern void         _putx( unsigned int val );
     161
     162extern void         _putd( unsigned int val );
     163
     164extern void         _putl( unsigned long long val );
     165
     166extern void         _printf(char* format, ...);
     167
     168extern void         _getc( char*        byte );       
    144169
    145170///////////////////////////////////////////////////////////////////////////////////
     
    158183///////////////////////////////////////////////////////////////////////////////////
    159184
    160 extern void  _dcache_buf_invalidate( const void * buffer,
     185extern void  _dcache_buf_invalidate( void * buffer,
    161186                                     unsigned int size );
    162187
  • soft/giet_vm/giet_common/vmem.c

    r258 r295  
    2525// _iommu_add_pte2()
    2626//////////////////////////////////////////////////////////////////////////////
    27 void _iommu_add_pte2(
    28         unsigned int ix1,
    29         unsigned int ix2,
    30         unsigned int ppn,
    31         unsigned int flags)
     27void _iommu_add_pte2( unsigned int ix1,
     28                      unsigned int ix2,
     29                      unsigned int ppn,
     30                      unsigned int flags )
    3231{
    3332    unsigned int ptba;
     
    4140    if ((pt->pt1[ix1] & PTE_V) == 0)
    4241    {
    43         _tty_get_lock( 0 );
    44         _puts("\n[GIET ERROR] in iommu_add_pte2 function\n");
    45         _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
    46         _putx( ix1 );
    47         _puts("\n");
    48         _tty_release_lock( 0 );
     42        _printf("\n[GIET ERROR] in iommu_add_pte2() : "
     43                "IOMMU PT1 entry not mapped / ix1 = %d\n", ix1 );
    4944        _exit();
    5045    }
     
    6358// _iommu_inval_pte2()
    6459//////////////////////////////////////////////////////////////////////////////
    65 void _iommu_inval_pte2(unsigned int ix1, unsigned int ix2) {
     60void _iommu_inval_pte2( unsigned int ix1,
     61                        unsigned int ix2 )
     62{
    6663    unsigned int ptba;
    6764    unsigned int * pt_flags;
     
    7370    if ((pt->pt1[ix1] & PTE_V) == 0)
    7471    {
    75         _puts("\n[GIET ERROR] in iommu_inval_pte2 function\n");
    76         _puts("the IOMMU PT1 entry is not mapped / ix1 = ");
    77         _putx( ix1 );
    78         _puts("\n");
     72        _printf("\n[GIET ERROR] in iommu_inval_pte2() "
     73              "IOMMU PT1 entry not mapped / ix1 = %d\n", ix1 );
    7974        _exit();
    8075    }
     
    9590                             unsigned int   vpn,
    9691                             unsigned int*  ppn,
    97                              unsigned int*  flags)
     92                             unsigned int*  flags )
    9893{
    9994    unsigned long long ptba;
Note: See TracChangeset for help on using the changeset viewer.