Searched defs:xen_fetch_vcpu_time (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/dev/xen/timer/
H A Dtimer.c160 xen_fetch_vcpu_time(struct vcpu_info *vcpu) function

Completed in 48 milliseconds