remove unnecessary dtlb flush
authorjzhou <jzhou>
Thu, 2 Sep 2010 22:59:29 +0000 (22:59 +0000)
committerjzhou <jzhou>
Thu, 2 Sep 2010 22:59:29 +0000 (22:59 +0000)
commitf5ab76d625150c28a7405f9f7494d8ff66ec8540
tree05f7e96edb4de0c1fe70949fd86f37eca158b688
parent2d74ae51ec3fc0e90ccfa12cc3930674d20370e8
remove unnecessary dtlb flush
Robust/src/Runtime/bamboo/multicoregarbage.c