2c2
< * Copyright (c) 2011 ARM Limited
---
> * Copyright (c) 2011-2012 ARM Limited
140d139
< SwitchedOut
268,269c267,269
< virtual void serialize(std::ostream &os);
< virtual void unserialize(Checkpoint *cp, const std::string &section);
---
> void serializeThread(std::ostream &os, ThreadID tid);
> void unserializeThread(Checkpoint *cp, const std::string &section,
> ThreadID tid);