HYPERVISOR_vcpu_op
if (HYPERVISOR_vcpu_op(VCPUOP_is_up, id, NULL) == 0)
switch (-HYPERVISOR_vcpu_op(VCPUOP_is_up, id, NULL)) {
if ((err = HYPERVISOR_vcpu_op(VCPUOP_down, id, NULL)) != 0) {
if (HYPERVISOR_vcpu_op(VCPUOP_get_runstate_info, cpu, &runstate) != 0)
if (HYPERVISOR_vcpu_op(VCPUOP_is_up, cp->cpu_id, NULL) != 0) {
if ((err = HYPERVISOR_vcpu_op(VCPUOP_initialise, id, vgc)) != 0) {
if ((err = HYPERVISOR_vcpu_op(VCPUOP_up, id, NULL)) != 0) {
if (HYPERVISOR_vcpu_op(VCPUOP_is_up, id, NULL) < 0)
extern long HYPERVISOR_vcpu_op(int, int, void *);