Changeset 791 for soft/giet_vm/giet_common

Timestamp:

Feb 17, 2016, 4:12:02 PM (9 years ago)

Author:

meunier

Message:

• Added function realloc
• Started to put the bootloader on 2 Big Pages (warning: does not work yet)
• Fixed errors in the rosenfeld application

File:

• soft/giet_vm/giet_common/vmem.c (modified) (1 diff)

soft/giet_vm/giet_common/vmem.c

@@ -129 +129 @@
     unsigned int    ix1 = vpn >> 9;         // 11 bits for ix1
 
+    //_printf("\n[GIET INFO] %s: mapping vaddr %x to paddr %l\n", __func__, (vpn << 12), (unsigned long long int) (ppn << 12));
     // get PT1 physical base address 
     paddr_t  pt1_base = _ptabs_paddr[vspace_id][x][y];