Changeset 167 for soft/giet_vm/boot/boot_handler.h

Timestamp:

Jul 16, 2012, 10:26:27 AM (12 years ago)

Author:

alain

Message:

Fix several bugs to use the vci_block_device with MMU activated

File:

• soft/giet_vm/boot/boot_handler.h (modified) (1 diff)

soft/giet_vm/boot/boot_handler.h

@@ -53 +53 @@
 typedef struct PageTable 
 {
-        unsigned int    pt1[2048];                    // PT1 (index is ix1)
-        unsigned int    pt2[GIET_NB_PT2_MAX][1024];   // PT2s (index is ix2)
+        unsigned int    pt1[PT1_SIZE];                    // PT1 (index is ix1)
+        unsigned int    pt2[GIET_NB_PT2_MAX][PT2_SIZE];   // PT2s (index is 2*ix2)
 } page_table_t;