Searched defs:gtsc_khz (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/contrib/xen/arch-x86/hvm/ | ||
| H A D | save.h | 43 uint32_t gtsc_khz; /* Guest's TSC frequency in kHz */ member |
| /freebsd/sys/contrib/xen/ | ||
| H A D | domctl.h | 756 uint32_t gtsc_khz; member |