Symbol: xen_vcputime_exit
sys/arch/xen/xen/xen_clock.c
303
} while (!xen_vcputime_exit(vt, &ticket));
sys/arch/xen/xen/xen_clock.c
439
} while (!xen_vcputime_exit(vt, &ticket));
sys/arch/xen/xen/xen_clock.c
614
} while (!xen_vcputime_exit(vt, &ticket));