449,450c449
< /** Serialize state. */
< virtual void serialize(std::ostream &os);
---
> void serializeThread(std::ostream &os, ThreadID tid);
452,453c451,452
< /** Unserialize from a checkpoint. */
< virtual void unserialize(Checkpoint *cp, const std::string &section);
---
> void unserializeThread(Checkpoint *cp, const std::string &section,
> ThreadID tid);