"je 3f \n\t"
"mov %%" _ASM_AX", %%cr2 \n\t"
"3: \n\t"
- /* Check if vmlaunch of vmresume is needed */
+ /* Check if vmlaunch or vmresume is needed */
"cmpl $0, %c[launched](%0) \n\t"
/* Load guest registers. Don't clobber flags. */
"mov %c[rax](%0), %%" _ASM_AX " \n\t"
__ex("vmwrite %%" _ASM_SP ", %%" _ASM_DX) "\n\t"
"mov %%" _ASM_SP ", %c[host_rsp](%0)\n\t"
- /* Check if vmlaunch of vmresume is needed */
+ /* Check if vmlaunch or vmresume is needed */
"cmpl $0, %c[launched](%0)\n\t"
- "je 1f\n\t"
- __ex("vmresume") "\n\t"
- "jmp 2f\n\t"
- "1: " __ex("vmlaunch") "\n\t"
+ "jne 1f\n\t"
+ __ex("vmlaunch") "\n\t"
"jmp 2f\n\t"
+ "1: " __ex("vmresume") "\n\t"
"2: "
-
/* Set vmx->fail accordingly */
"setbe %c[fail](%0)\n\t"