Searched refs:whpx_handle_halt (Results 1 – 1 of 1) sorted by relevance
1436 static int whpx_handle_halt(CPUState *cpu) in whpx_handle_halt() function1778 ret = whpx_handle_halt(cpu); in whpx_vcpu_run()