diff options
| author | serpilliere <devnull@localhost> | 2012-05-22 16:24:55 +0200 |
|---|---|---|
| committer | serpilliere <devnull@localhost> | 2012-05-22 16:24:55 +0200 |
| commit | 94a0e6eb3c795190320addbe3907fc5c25ea99ab (patch) | |
| tree | 0ca23afc8f290484a0c83de307944026c91104ff /miasm/arch/ia32_sem.py | |
| parent | ee431a3a233942bc95ae0a99b9fa29542dc6b9cf (diff) | |
| download | miasm-94a0e6eb3c795190320addbe3907fc5c25ea99ab.tar.gz miasm-94a0e6eb3c795190320addbe3907fc5c25ea99ab.zip | |
ia32_sem: hlt priv instr
Diffstat (limited to '')
| -rw-r--r-- | miasm/arch/ia32_sem.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/miasm/arch/ia32_sem.py b/miasm/arch/ia32_sem.py index 350c126f..5b6fc10e 100644 --- a/miasm/arch/ia32_sem.py +++ b/miasm/arch/ia32_sem.py @@ -1901,7 +1901,10 @@ def nop(info): return [] def hlt(info): - return [] + e = [] + except_int = EXCEPT_PRIV_INSN + e.append(ExprAff(ExprId('vmcpu.vm_exception_flags'), ExprInt(uint32(except_int)))) + return e def rdtsc(info): e = [] |