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

   1 # Check 64bit EPT instructions
   2         .text
   3 _start:
   4         invept  (%rcx), %rbx
   5         invept  (%rcx), %r11
   6         invvpid (%rcx), %rbx
   7         invvpid (%rcx), %r11
   8
   9         .intel_syntax noprefix
  10         invept rbx, oword ptr [rcx]
  11         invept r11, oword ptr [rcx]
  12         invvpid rbx, oword ptr [rcx]
  13         invvpid r11, oword ptr [rcx]