From 9ce1ba1b3b25c94352f94c0485a86d8269179f02 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joel=20H=C3=B6ner?= Date: Sun, 27 Nov 2016 22:35:38 +0100 Subject: [PATCH] regs and flags for Intel VT-x instructions --- assets/instructions.json | 294 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 294 insertions(+) diff --git a/assets/instructions.json b/assets/instructions.json index c4bafc6..12f9d54 100644 --- a/assets/instructions.json +++ b/assets/instructions.json @@ -24197,6 +24197,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "invept $GR64, $i128mem (INVEPT64)", "cd8scale": 0 }, @@ -24219,6 +24233,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "invept $GR32, $i128mem (INVEPT32)", "cd8scale": 0 }, @@ -24359,6 +24387,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "invvpid $GR64, $i128mem (INVVPID64)", "cd8scale": 0 }, @@ -24381,6 +24423,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "invvpid $GR32, $i128mem (INVVPID32)", "cd8scale": 0 }, @@ -134589,6 +134645,20 @@ "modrm_rm": "1", "modrm_reg": "0" }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmcall (VMCALL)", "cd8scale": 0 }, @@ -134607,6 +134677,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmclear $i64mem (VMCLEARm)", "cd8scale": 0 }, @@ -134619,6 +134703,20 @@ "modrm_rm": "4", "modrm_reg": "2" }, + "implicit_read": [ + "eax" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmfunc (VMFUNC)", "cd8scale": 0 }, @@ -135976,6 +136074,20 @@ "modrm_rm": "2", "modrm_reg": "0" }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmlaunch (VMLAUNCH)", "cd8scale": 0 }, @@ -144879,6 +144991,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmptrld $i64mem (VMPTRLDm)", "cd8scale": 0 }, @@ -144896,6 +145022,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmptrst $i64mem (VMPTRSTm)", "cd8scale": 0 }, @@ -144918,6 +145058,20 @@ "encoding": "modrm_reg" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmread $i64mem, $GR64 (VMREAD64rm)", "cd8scale": 0 }, @@ -144940,6 +145094,20 @@ "encoding": "modrm_reg" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmread $GR64, $GR64 (VMREAD64rr)", "cd8scale": 0 }, @@ -144962,6 +145130,20 @@ "encoding": "modrm_reg" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmread $i32mem, $GR32 (VMREAD32rm)", "cd8scale": 0 }, @@ -144984,6 +145166,20 @@ "encoding": "modrm_reg" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmread $GR32, $GR32 (VMREAD32rr)", "cd8scale": 0 }, @@ -144996,6 +145192,20 @@ "modrm_rm": "3", "modrm_reg": "0" }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmresume (VMRESUME)", "cd8scale": 0 }, @@ -146507,6 +146717,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmwrite $GR64, $i64mem (VMWRITE64rm)", "cd8scale": 0 }, @@ -146528,6 +146752,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmwrite $GR64, $GR64 (VMWRITE64rr)", "cd8scale": 0 }, @@ -146549,6 +146787,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmwrite $GR32, $i32mem (VMWRITE32rm)", "cd8scale": 0 }, @@ -146570,6 +146822,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmwrite $GR32, $GR32 (VMWRITE32rr)", "cd8scale": 0 }, @@ -146582,6 +146848,20 @@ "modrm_rm": "4", "modrm_reg": "0" }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "vmxoff (VMXOFF)", "cd8scale": 0 }, @@ -146600,6 +146880,20 @@ "encoding": "modrm_rm" } }, + "implicit_write": [ + "eflags" + ], + "flags": [ + "privileged" + ], + "x86flags": { + "cf": "modified", + "pf": "modified", + "af": "modified", + "zf": "modified", + "sf": "modified", + "of": "modified" + }, "comment": "i64mem $i64mem (VMXON)", "cd8scale": 0 },