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