1 #source: ../x86-64-ept.s
3 #name: x86-64 (ILP32) EPT
7 Disassembly of section .text:
10 [ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%rcx\),%rbx
11 [ ]*[a-f0-9]+: 66 44 0f 38 80 19 invept \(%rcx\),%r11
12 [ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%rcx\),%rbx
13 [ ]*[a-f0-9]+: 66 44 0f 38 81 19 invvpid \(%rcx\),%r11
14 [ ]*[a-f0-9]+: 66 0f 38 80 19 invept \(%rcx\),%rbx
15 [ ]*[a-f0-9]+: 66 44 0f 38 80 19 invept \(%rcx\),%r11
16 [ ]*[a-f0-9]+: 66 0f 38 81 19 invvpid \(%rcx\),%rbx
17 [ ]*[a-f0-9]+: 66 44 0f 38 81 19 invvpid \(%rcx\),%r11