Searched refs:ASM_VMX_INVVPID (Results 1 – 2 of 2) sorted by relevance
447 #define ASM_VMX_INVVPID ".byte 0x66, 0x0f, 0x38, 0x81, 0x08" macro
1206 asm volatile (__ex(ASM_VMX_INVVPID) in __invvpid()