Searched defs:gtsc_khz (Results 1 – 2 of 2) sorted by relevance
41 uint32_t gtsc_khz; /* Guest's TSC frequency in kHz */ member
703 uint32_t gtsc_khz; member