| 1238 | return -1; |
| 1239 | } |
| 1240 | int timestamp_updater_fini() { |
| 1241 | if (ts_updater.load()) { |
| 1242 | ts_updater = 0; |
| 1243 | return 0; |
| 1244 | } |
| 1245 | LOG_WARN("Timestamp updater not launch or already stopped"); |
| 1246 | return -1; |
| 1247 | } |
| 1248 | |
| 1249 | inline __attribute__((always_inline)) |
| 1250 | int resume_threads_inlined(vcpu_t* vcpu, const RunQ& runq) |