Searched refs:whpx_get_xcrs (Results 1 – 1 of 1) sorted by relevance
575 static void whpx_get_xcrs(CPUState *cpu) in whpx_get_xcrs() function694 whpx_get_xcrs(cpu); in whpx_get_registers()