Changeset 185 for soft/giet_vm/sys


Ignore:
Timestamp:
Jul 29, 2012, 10:26:17 AM (12 years ago)
Author:
karaoui
Message:

removing some bugs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/sys/kernel_init.c

    r179 r185  
    184184
    185185#if INIT_DEBUG_CTX
    186 _puts("[INIT] --- vobjs initialisation in vspace ");
     186_puts("[INIT] --- ptabs initialisation in vspace ");
    187187_puts(vspace[vspace_id].name);
    188188_puts("\n");
     
    223223    }
    224224       
    225     _puts("\n[INIT] Ptabss initialisation completed at cycle : ");
     225    _puts("\n[INIT] Ptabs initialisation completed at cycle : ");
    226226    _putw( _proctime() );
    227227    _puts("\n");
     
    246246    for ( vspace_id = 0 ; vspace_id < header->vspaces ; vspace_id++ )
    247247    {
    248         char ptab_found = 0;
    249248
    250249#if INIT_DEBUG_CTX
     
    253252_puts("\n");
    254253#endif
    255         // loop on the vobjs and get the ptpr
    256             for(vobj_id= vspace[vspace_id].vobj_offset;
    257                         vobj_id < (vspace[vspace_id].vobj_offset+ vspace[vspace_id].vobjs);
    258                         vobj_id++)
    259             {
    260             if(vobj[vobj_id].type == VOBJ_TYPE_PTAB)
    261             {
    262                 if( ptab_found )
    263                 {
    264                     _puts("\n[INIT ERROR] Only one PTAB for by vspace ");
    265                     _putw( vspace_id );
    266                     _exit();
    267                 }
    268 
    269                 ptab_found = 1;
    270                 _kernel_ptabs_paddr[vspace_id] = vobj[vobj_id].paddr;
    271                 _kernel_ptabs_vaddr[vspace_id] = vobj[vobj_id].vaddr;
    272 
    273 #if INIT_DEBUG_CTX
    274 _puts("[INIT]   PTAB address = ");
    275 _putw(_kernel_ptabs_paddr[vspace_id]);
    276 _puts("\n");
    277 #endif
    278             }
    279 
    280         }
    281 
    282         if( !ptab_found )
    283         {
    284             _puts("\n[INIT ERROR] Missing PTAB for vspace ");
    285             _putw( vspace_id );
    286             _exit();
    287         }
    288        
    289254        /** Set the current vspace ptpr to initialise the vobjs */
    290255                _set_ptpr(vspace_id);
     
    312277#if INIT_DEBUG_CTX
    313278_puts("[INIT]   MWMR channel ");
    314 _puts( vobj->name);
     279_puts( vobj[vobj_id].name);
    315280_puts(" / depth = ");
    316281_putw( mwmr->depth );
     
    324289#if INIT_DEBUG_CTX
    325290_puts("[INIT]   ELF section ");
    326 _puts( vobj->name);
     291_puts( vobj[vobj_id].name);
    327292_puts(" / length = ");
    328 _putw( vobj->length );
     293_putw( vobj[vobj_id].length );
    329294_puts("\n");
    330295#endif
     
    338303#if INIT_DEBUG_CTX
    339304_puts("   BARRIER ");
    340 _puts( vobj->name);
     305_puts( vobj[vobj_id].name);
    341306_puts(" / init_value = ");
    342307_putw( barrier->init );
     
    351316#if INIT_DEBUG_CTX
    352317_puts("   LOCK ");
    353 _puts( vobj->name);
     318_puts( vobj[vobj_id].name);
    354319_puts("\n");
    355320#endif
     
    361326#if INIT_DEBUG_CTX
    362327_puts("   BUFFER ");
    363 _puts( vobj->name);
     328_puts( vobj[vobj_id].name);
    364329_puts(" / length = ");
    365 _putw( vobj->length );
     330_putw( vobj[vobj_id].length );
    366331_puts("\n");
    367332#endif
     
    371336                {
    372337                    _puts("\n[INIT ERROR] illegal vobj of name ");
    373                     _puts(vobj->name);
     338                    _puts(vobj[vobj_id].name);
    374339                    _puts(" / in vspace = ");
    375                     _puts(vobj->name);
     340                    _puts(vobj[vobj_id].name);
    376341                    _puts("\n ");
    377342                    _exit();
Note: See TracChangeset for help on using the changeset viewer.