Hi, The SDM defines the opcode of the VMXON instruction as F3 0F C7 /6, yet in the kernel source code (arch/x86/include/asm/vmx.h) I saw: #define ASM_VMX_VMXON_RAX ".byte 0xf3, 0x0f, 0xc7, 0x30" So what is 0x30 used for? And why there is no "/6"? I saw this 0x30 in several other macros as well, such as ASM_VMX_VMCLEAR_RAX and ASM_VMX_VMPTRLD_RAX. Where in the SDM, can I find some explanation to this 0x30? Thanks. -Jidong
