Searched refs:whpx_set_xcrs (Results 1 – 1 of 1) sorted by relevance
302 static void whpx_set_xcrs(CPUState *cpu) in whpx_set_xcrs() function467 whpx_set_xcrs(cpu); in whpx_set_registers()