Commit | Line | Data |
---|---|---|
f1f8f695 L |
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 |