Searched refs:WHPX_SET_RESET_STATE (Results 1 – 2 of 2) sorted by relevance
29 #define WHPX_SET_RESET_STATE 2 macro
399 if (level >= WHPX_SET_RESET_STATE) { in whpx_set_registers()2076 whpx_set_registers(cpu, WHPX_SET_RESET_STATE); in do_whpx_cpu_synchronize_post_reset()