Changeset 205 for soft/giet_vm/boot

Timestamp:

Aug 15, 2012, 10:22:29 AM (12 years ago)

Author:

karaoui

Message:

adding the possibilité of having 0 DMA.

File:

• soft/giet_vm/boot/boot_init.c (modified) (2 diffs)

soft/giet_vm/boot/boot_init.c

@@ -1345 +1345 @@
 #if BOOT_DEBUG_PERI
 boot_puts("[BOOT] mwmr coproc initialisation of ");
-boot_putx((unsigned int) coproc[coproc_id].name);
+boot_puts((unsigned int) coproc[coproc_id].name);
 boot_puts(", nb ports");
 boot_putd((unsigned int)coproc[coproc_id].ports);
@@ -1355 +1355 @@
                   cp_port_id++ )
             {
-                //FIXME: should the same for all ports: put it in the coproc
+                //FIXME: the vspace_id should be the same for all ports: put it in the coproc?
                 unsigned int vspace_id  = cp_port[cp_port_id].vspaceid; 
                 unsigned int vobj_id    = cp_port[cp_port_id].vobjlocid + vspace[vspace_id].vobj_offset;