Symbol: xen_vcputime_raw_systime_ns
sys/arch/xen/xen/xen_clock.c
640
start_ns = xen_vcputime_raw_systime_ns();
sys/arch/xen/xen/xen_clock.c
645
} while (xen_vcputime_raw_systime_ns() - start_ns < n_ns);
sys/arch/xen/xen/xen_clock.c
74
static uint64_t xen_vcputime_raw_systime_ns(void);