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

   1 #objdump: -dw
   2 #name: x86-64 EPT
   3
   4 .*:     file format .*
   5
   6 Disassembly of section .text:
   7
   8 0+ <_start>:
   9 [       ]*[a-f0-9]+:    66 0f 38 80 19          invept \(%rcx\),%rbx
  10 [       ]*[a-f0-9]+:    66 44 0f 38 80 19       invept \(%rcx\),%r11
  11 [       ]*[a-f0-9]+:    66 0f 38 81 19          invvpid \(%rcx\),%rbx
  12 [       ]*[a-f0-9]+:    66 44 0f 38 81 19       invvpid \(%rcx\),%r11
  13 [       ]*[a-f0-9]+:    66 0f 38 80 19          invept \(%rcx\),%rbx
  14 [       ]*[a-f0-9]+:    66 44 0f 38 80 19       invept \(%rcx\),%r11
  15 [       ]*[a-f0-9]+:    66 0f 38 81 19          invvpid \(%rcx\),%rbx
  16 [       ]*[a-f0-9]+:    66 44 0f 38 81 19       invvpid \(%rcx\),%r11
  17 #pass