comparison TaskManager/kernel/schedule/Scheduler.cc @ 461:009a2db963de draft

overlay worked.
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 29 Sep 2009 13:01:22 +0900
parents a82f377009a5
children 0d64bdb63005
comparison
equal deleted inserted replaced
460:433892ba596b 461:009a2db963de
336 } 336 }
337 337
338 static void 338 static void
339 load_task(Scheduler *m, int task_id) 339 load_task(Scheduler *m, int task_id)
340 { 340 {
341 fprintf(stderr,"loadng task id %d\n",task_id);
342 MemorySegment *s = m->get_segment( 341 MemorySegment *s = m->get_segment(
343 task_list[task_id].location, 342 task_list[task_id].location,
344 m->code_segment_pool, 343 m->code_segment_pool,
345 task_list[task_id].end-task_list[task_id].location); 344 task_list[task_id].end-task_list[task_id].location);
346 task_list[task_id].segment = s; 345 task_list[task_id].segment = s;
346
347 fprintf(stderr,"loadng task id %d at 0x%x entry 0x%x\n",task_id,
348 (unsigned int)(task_list[task_id].segment->data ),
349 (unsigned int)(
350 (char*)task_list[task_id].segment->data +
351 task_list[task_id].entry_offset));
347 } 352 }
348 353
349 static void 354 static void
350 null_loader(Scheduler *m, int task_id) 355 null_loader(Scheduler *m, int task_id)
351 { 356 {