# Check illegal EPT instructions in 64bit mode.
	.text
_start:
	invept	(%rcx), %bx
	invept	(%rcx), %ebx
	invept	%rbx, (%rcx)
	invept	%rbx, %rcx
	invvpid	(%rcx), %bx
	invvpid	(%rcx), %ebx
	invvpid %rbx, (%rcx)
	invvpid	%rbx, %rcx

	.intel_syntax noprefix
	invept bx, oword ptr [rcx]
	invept ebx, oword ptr [rcx]
	invept oword ptr [rcx], rbx
	invept rcx, rbx
	invvpid bx, oword ptr [rcx]
	invvpid ebx, oword ptr [rcx]
	invvpid oword ptr [rcx], rbx
	invvpid rcx, rbx