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