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

/freebsd-11-stable/sys/dev/xen/timer/
H A Dtimer.c172 uint64_t vcpu_time; local

Completed in 74 milliseconds