| 343 | } |
| 344 | |
| 345 | static inline int |
| 346 | HYPERVISOR_vcpu_op( |
| 347 | int cmd, int vcpuid, void *extra_args) |
| 348 | { |
| 349 | return _hypercall3(int, vcpu_op, cmd, vcpuid, extra_args); |
| 350 | } |
| 351 | |
| 352 | static inline int |
| 353 | HYPERVISOR_suspend( |
no outgoing calls
no test coverage detected