gas/testsuite/gas/i386/ept.s

   1 # Check EPT instructions
   2         .text
   3 _start:
   4         invept  (%ecx), %ebx
   5         invvpid (%ecx), %ebx
   6
   7         .intel_syntax noprefix
   8         invept ebx, oword ptr [ecx]
   9         invvpid ebx, oword ptr [ecx]