Symbol: xen_fetch_vcpu_time
sys/dev/xen/timer/xen_timer.c
178
vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info));
sys/dev/xen/timer/xen_timer.c
208
uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info));
sys/dev/xen/timer/xen_timer.c
232
xen_fetch_vcpu_time(DPCPU_GET(vcpu_info));
sys/dev/xen/timer/xen_timer.c
276
pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info));
sys/dev/xen/timer/xen_timer.c
334
next_time = xen_fetch_vcpu_time(vcpu) + first_in_ns;
sys/dev/xen/timer/xen_timer.c
524
end_ns = xen_fetch_vcpu_time(vcpu);
sys/dev/xen/timer/xen_timer.c
528
current = xen_fetch_vcpu_time(vcpu);