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 18