1 #include "multicoreruntime.h"
2 #include "multicoremem.h"
3 #include "multicoregarbage.h"
6 unsigned int markmappingarray[]={0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
7 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
8 2, 2, 2, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
12 unsigned int bitmarkmappingarray[]={2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
13 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
14 4, 4, 4, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28,
17 unsigned int revmarkmappingarray[]={0x0, 0x40000000, 0x80000000, 0x90000000, 0x94000000, 0x98000000, 0x9c000000, 0xa0000000, 0xa4000000, 0xa8000000, 0xac000000, 0xb0000000, 0xb4000000, 0xb8000000, 0xbc000000, 0xc0000000};
20 /*int main(int argv, char **argc) {
23 gcmarktbl[0]=0xf000ffff;
24 gcmarktbl[1]=0xffffffff;
27 printf("%d\n",getMarkedLength(ptr));
28 printf("%x %x %x\n", gcmarktbl[0], gcmarktbl[1], gcmarktbl[2]);
30 printf("%x %x %x\n", gcmarktbl[0], gcmarktbl[1], gcmarktbl[2]);