Searched defs:tsc_val (Results 1 – 1 of 1) sorted by relevance
327 WHV_REGISTER_VALUE tsc_val; in whpx_set_tsc() local559 WHV_REGISTER_VALUE tsc_val; in whpx_get_tsc() local