more change for PMC
authorbdemsky <bdemsky>
Fri, 8 Jul 2011 21:02:46 +0000 (21:02 +0000)
committerbdemsky <bdemsky>
Fri, 8 Jul 2011 21:02:46 +0000 (21:02 +0000)
commit0d4f2d12f975e69f640cd6f4240c927915c723ee
tree07e16804d6d47fd478098f7713f63103cf3d9a25
parent484e9bd327c7fe5d5cf96bbead147c80aaef6380
more change for PMC
Robust/src/Runtime/bamboo/pmc_forward.c
Robust/src/Runtime/bamboo/pmc_garbage.c
Robust/src/Runtime/bamboo/pmc_garbage.h
Robust/src/Runtime/bamboo/pmc_mem.c
Robust/src/Runtime/bamboo/pmc_queue.h
Robust/src/Runtime/bamboo/pmc_refupdate.c