| 108 | output.push_back(ptr); |
| 109 | } |
| 110 | Future<Void> writeTo(Reference<SyncFileForSim> file, int64_t& offset) { |
| 111 | int64_t offs = offset; |
| 112 | offset += sizeof(void*) * output.size(); |
| 113 | return file->write(&output[0], sizeof(void*) * output.size(), offs); |
| 114 | } |
| 115 | }; |
| 116 | |
| 117 | enum { MAX_STACK_DEPTH = 256 }; |