gas/testsuite/gas/i386/ept.s - third_party/binutils-gdb - Git at Google

 # Check EPT instructions
 	.text
 _start:
 	invept	(%ecx), %ebx
 	invvpid	(%ecx), %ebx

 	.intel_syntax noprefix
 	invept ebx, oword ptr [ecx]
 	invvpid ebx, oword ptr [ecx]
	# Check EPT instructions
	.text
	_start:
	invept (%ecx), %ebx
	invvpid (%ecx), %ebx

	.intel_syntax noprefix
	invept ebx, oword ptr [ecx]
	invvpid ebx, oword ptr [ecx]