| 271 | |
| 272 | #ifdef KTR |
| 273 | static const char * |
| 274 | vcpu_state2str(enum vcpu_state state) |
| 275 | { |
| 276 | |
| 277 | switch (state) { |
| 278 | case VCPU_IDLE: |
| 279 | return ("idle"); |
| 280 | case VCPU_FROZEN: |
| 281 | return ("frozen"); |
| 282 | case VCPU_RUNNING: |
| 283 | return ("running"); |
| 284 | case VCPU_SLEEPING: |
| 285 | return ("sleeping"); |
| 286 | default: |
| 287 | return ("unknown"); |
| 288 | } |
| 289 | } |
| 290 | #endif |
| 291 | |
| 292 | static void |
no outgoing calls
no test coverage detected