Symbol: xen_vcputime_enter
sys/arch/xen/xen/xen_clock.c
291
vt = xen_vcputime_enter(&ticket);
sys/arch/xen/xen/xen_clock.c
437
vt = xen_vcputime_enter(&ticket);
sys/arch/xen/xen/xen_clock.c
610
vt = xen_vcputime_enter(&ticket);