diff options
| -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 = [] |