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
18