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

/freebsd-10-stable/sys/dev/xen/timer/
H A Dtimer.c214 xen_fetch_vcpu_tinfo(struct vcpu_time_info *dst, struct vcpu_time_info *src) function

Completed in 106 milliseconds