| [bits 32] | |
| vmcall | |
| vmclear [0] | |
| vmlaunch | |
| vmresume | |
| vmptrld [0] | |
| vmptrst [eax] | |
| vmread [ebx], ecx | |
| vmwrite ebp, [ebp] | |
| vmxoff | |
| vmxon [esi] | |
| [bits 64] | |
| vmcall | |
| vmclear [0] | |
| vmlaunch | |
| vmresume | |
| vmptrld [0] | |
| vmptrst [rdx] | |
| ;vmread [rax], eax -- invalid | |
| vmread [rax], rdx | |
| vmwrite rax, [rcx] | |
| vmxoff | |
| vmxon [rsi] | |