Searched refs:whpx_set_tsc (Results 1 – 1 of 1) sorted by relevance
322 static int whpx_set_tsc(CPUState *cpu) in whpx_set_tsc() function400 whpx_set_tsc(cpu); in whpx_set_registers()