Symbol: xen_vcputime_ticket
sys/arch/xen/xen/xen_clock.c
197
xen_vcputime_enter(struct xen_vcputime_ticket *tp)
sys/arch/xen/xen/xen_clock.c
223
struct xen_vcputime_ticket *tp)
sys/arch/xen/xen/xen_clock.c
276
struct xen_vcputime_ticket ticket;
sys/arch/xen/xen/xen_clock.c
433
struct xen_vcputime_ticket ticket;
sys/arch/xen/xen/xen_clock.c
603
struct xen_vcputime_ticket ticket;