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