Symbol: xen_wallclock_ticket
sys/arch/xen/xen/xen_clock.c
1117
struct xen_wallclock_ticket ticket;
sys/arch/xen/xen/xen_clock.c
464
xen_wallclock_enter(struct xen_wallclock_ticket *tp)
sys/arch/xen/xen/xen_clock.c
487
xen_wallclock_exit(struct xen_wallclock_ticket *tp)