blob: e928f237bbbd11a6015d3b683d7087ab8958c26b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#objdump: -dw
#name: x86-64 EPT
.*: file format .*
Disassembly of section .text:
0+ <_start>:
[ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%rcx\),%rbx
[ ]*[a-f0-9]+: 66 44 0f 38 80 19 invept \(%rcx\),%r11
[ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%rcx\),%rbx
[ ]*[a-f0-9]+: 66 44 0f 38 81 19 invvpid \(%rcx\),%r11
[ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%rcx\),%rbx
[ ]*[a-f0-9]+: 66 44 0f 38 80 19 invept \(%rcx\),%r11
[ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%rcx\),%rbx
[ ]*[a-f0-9]+: 66 44 0f 38 81 19 invvpid \(%rcx\),%r11
#pass
|