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