1 #objdump: -dwMintel
2 #name: i386 EPT (Intel disassembly)
3 #source: ept.s
4 
5 .*: +file format .*
6 
7 Disassembly of section .text:
8 
9 0+ <_start>:
10 [ 	]*[a-f0-9]+:	66 0f 38 80 19       	invept ebx,OWORD PTR \[ecx\]
11 [ 	]*[a-f0-9]+:	66 0f 38 81 19       	invvpid ebx,OWORD PTR \[ecx\]
12 [ 	]*[a-f0-9]+:	66 0f 38 80 19       	invept ebx,OWORD PTR \[ecx\]
13 [ 	]*[a-f0-9]+:	66 0f 38 81 19       	invvpid ebx,OWORD PTR \[ecx\]
14 #pass
15