- Timestamp:
- Jul 29, 2012, 10:26:17 AM (12 years ago)
- Location:
- soft/giet_vm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
soft/giet_vm/map.xml
r181 r185 4 4 name = "c1_v2_G12" 5 5 clusters = "1" 6 psegs = "9"7 6 ttys = "8" 8 7 fbs = "1" -
soft/giet_vm/sys/kernel_init.c
r179 r185 184 184 185 185 #if INIT_DEBUG_CTX 186 _puts("[INIT] --- vobjs initialisation in vspace ");186 _puts("[INIT] --- ptabs initialisation in vspace "); 187 187 _puts(vspace[vspace_id].name); 188 188 _puts("\n"); … … 223 223 } 224 224 225 _puts("\n[INIT] Ptabs sinitialisation completed at cycle : ");225 _puts("\n[INIT] Ptabs initialisation completed at cycle : "); 226 226 _putw( _proctime() ); 227 227 _puts("\n"); … … 246 246 for ( vspace_id = 0 ; vspace_id < header->vspaces ; vspace_id++ ) 247 247 { 248 char ptab_found = 0;249 248 250 249 #if INIT_DEBUG_CTX … … 253 252 _puts("\n"); 254 253 #endif 255 // loop on the vobjs and get the ptpr256 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_CTX274 _puts("[INIT] PTAB address = ");275 _putw(_kernel_ptabs_paddr[vspace_id]);276 _puts("\n");277 #endif278 }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 289 254 /** Set the current vspace ptpr to initialise the vobjs */ 290 255 _set_ptpr(vspace_id); … … 312 277 #if INIT_DEBUG_CTX 313 278 _puts("[INIT] MWMR channel "); 314 _puts( vobj ->name);279 _puts( vobj[vobj_id].name); 315 280 _puts(" / depth = "); 316 281 _putw( mwmr->depth ); … … 324 289 #if INIT_DEBUG_CTX 325 290 _puts("[INIT] ELF section "); 326 _puts( vobj ->name);291 _puts( vobj[vobj_id].name); 327 292 _puts(" / length = "); 328 _putw( vobj ->length );293 _putw( vobj[vobj_id].length ); 329 294 _puts("\n"); 330 295 #endif … … 338 303 #if INIT_DEBUG_CTX 339 304 _puts(" BARRIER "); 340 _puts( vobj ->name);305 _puts( vobj[vobj_id].name); 341 306 _puts(" / init_value = "); 342 307 _putw( barrier->init ); … … 351 316 #if INIT_DEBUG_CTX 352 317 _puts(" LOCK "); 353 _puts( vobj ->name);318 _puts( vobj[vobj_id].name); 354 319 _puts("\n"); 355 320 #endif … … 361 326 #if INIT_DEBUG_CTX 362 327 _puts(" BUFFER "); 363 _puts( vobj ->name);328 _puts( vobj[vobj_id].name); 364 329 _puts(" / length = "); 365 _putw( vobj ->length );330 _putw( vobj[vobj_id].length ); 366 331 _puts("\n"); 367 332 #endif … … 371 336 { 372 337 _puts("\n[INIT ERROR] illegal vobj of name "); 373 _puts(vobj ->name);338 _puts(vobj[vobj_id].name); 374 339 _puts(" / in vspace = "); 375 _puts(vobj ->name);340 _puts(vobj[vobj_id].name); 376 341 _puts("\n "); 377 342 _exit();
Note: See TracChangeset
for help on using the changeset viewer.