| 280 | void die() __attribute__((always_inline)); |
| 281 | void dequeue_ready_atomic(states newstat = states::READY); |
| 282 | vcpu_t* get_vcpu() { |
| 283 | return (vcpu_t*)vcpu; |
| 284 | } |
| 285 | bool operator < (const thread &rhs) { |
| 286 | return this->ts_wakeup < rhs.ts_wakeup; |
| 287 | } |
no outgoing calls