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