Searched refs:vcpu_set_singleshot_timer_t (Results 1 – 1 of 1) sorted by relevance
166 typedef struct vcpu_set_singleshot_timer vcpu_set_singleshot_timer_t; typedef167 DEFINE_XEN_GUEST_HANDLE(vcpu_set_singleshot_timer_t);