1 # Check 64bit EPT instructions 2 .text 3 _start: 4 invept (%rcx), %rbx 5 invept (%rcx), %r11 6 invvpid (%rcx), %rbx 7 invvpid (%rcx), %r11 8 9 .intel_syntax noprefix 10 invept rbx, oword ptr [rcx] 11 invept r11, oword ptr [rcx] 12 invvpid rbx, oword ptr [rcx] 13 invvpid r11, oword ptr [rcx] 14
