| [bits 64] | |
| rdtscp | |
| clgi | |
| invlpga | |
| invlpga [rax], ecx | |
| invlpga [eax], ecx | |
| ; invlpga [ax], ecx ; invalid | |
| skinit | |
| ; skinit [rax] ; invalid | |
| skinit [eax] | |
| stgi | |
| vmload | |
| vmload [rax] | |
| vmload [eax] | |
| vmmcall | |
| vmrun | |
| vmrun [rax] | |
| vmrun [eax] | |
| vmsave | |
| vmsave [rax] | |
| vmsave [eax] | |
| [bits 32] | |
| invlpga | |
| invlpga [eax], ecx | |
| invlpga [ax], ecx | |
| skinit | |
| skinit [eax] | |
| ; skinit [ax] ; invalid | |
| vmload | |
| vmload [eax] | |
| vmload [ax] | |
| vmrun | |
| vmrun [eax] | |
| vmrun [ax] | |
| vmsave | |
| vmsave [eax] | |
| vmsave [ax] | |