Searched refs:whpx_get_tsc (Results 1 – 1 of 1) sorted by relevance
556 static int whpx_get_tsc(CPUState *cpu) in whpx_get_tsc() function613 whpx_get_tsc(cpu); in whpx_get_registers()