Home
last modified time | relevance | path

Searched refs:vcpu_set_singleshot_timer (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/contrib/xen/
H A Dvcpu.h162 struct vcpu_set_singleshot_timer { struct
166 typedef struct vcpu_set_singleshot_timer vcpu_set_singleshot_timer_t; argument
/freebsd/sys/dev/xen/timer/
H A Dxen_timer.c286 struct vcpu_set_singleshot_timer single; in xentimer_vcpu_start_timer()