| 1289 | return count; |
| 1290 | } |
| 1291 | __attribute__((noinline)) |
| 1292 | static int resume_threads(vcpu_t* vcpu, const RunQ& runq) { |
| 1293 | return resume_threads_inlined(vcpu, runq); |
| 1294 | } |
| 1295 | |
| 1296 | states thread_stat(thread* th) |
| 1297 | { |
no test coverage detected