Searched defs:gtsc_khz (Results 1 – 1 of 1) sorted by relevance
350 vki_uint32_t gtsc_khz; member367 vki_uint32_t gtsc_khz; member