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