disable Timer interrupt and some bug fixing
authorjzhou <jzhou>
Fri, 16 Apr 2010 00:04:34 +0000 (00:04 +0000)
committerjzhou <jzhou>
Fri, 16 Apr 2010 00:04:34 +0000 (00:04 +0000)
commit6d099a7f535bac60bff25a98049385711f1526d8
treea30a50bcd3ce998b7cb605dc85e7892e3aea7641
parent9a2394aa9eca90985e708fb6a7292bb95514482b
disable Timer interrupt and some bug fixing
Robust/src/Runtime/multicoregarbage.c
Robust/src/Runtime/multicoreruntime.h
Robust/src/Runtime/multicoretask.c