# Check 64bit EPT instructions | |
.text | |
_start: | |
invept (%rcx), %rbx | |
invept (%rcx), %r11 | |
invvpid (%rcx), %rbx | |
invvpid (%rcx), %r11 | |
.intel_syntax noprefix | |
invept rbx, oword ptr [rcx] | |
invept r11, oword ptr [rcx] | |
invvpid rbx, oword ptr [rcx] | |
invvpid r11, oword ptr [rcx] |