gas/testsuite/gas/i386/x86-64-ept.s


1
2
3
4
5
6
7
8
9
10
11
12
13

# 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]