| #objdump: -dw | |
| #name: i386 EPT | |
| .*: file format .* | |
| Disassembly of section .text: | |
| 0+ <_start>: | |
| [ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%ecx\),%ebx | |
| [ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%ecx\),%ebx | |
| [ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%ecx\),%ebx | |
| [ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%ecx\),%ebx | |
| #pass |