Searched refs:VCPUOP_set_singleshot_timer (Results 1 – 2 of 2) sorted by relevance
160 #define VCPUOP_set_singleshot_timer 8 /* arg == vcpu_set_singleshot_timer_t */ macro
296 return (HYPERVISOR_vcpu_op(VCPUOP_set_singleshot_timer, vcpu, &single)); in xentimer_vcpu_start_timer()