mspace_malloc will call into mmap if it runs out of memory... this does not play...
[model-checker.git] / impatomic.cc
2012-08-02 Brian Demskytowards making rmw work...
2012-08-02 Brian Demskydon't forget this file