VCPUOP_set_singleshot_timer
case VCPUOP_set_singleshot_timer:
ret = HYPERVISOR_vcpu_op(VCPUOP_set_singleshot_timer, xen_vcpu_nr(cpu),