insns.dat: in 64-bit mode, accept "monitor rax,ecx,edx".
The first argument to MONITOR is an address, so it should be 64 bits (RAX) in 64-bit mode. The preferred form is still just plain "monitor". Signed-off-by: H. Peter Anvin <hpa@zytor.com>
This commit is contained in:
parent
48a434e1a9
commit
c8d10038e2
1 changed files with 1 additions and 0 deletions
|
@ -766,6 +766,7 @@ LTR reg16 \2\x0F\x00\203 286,PROT,PRIV
|
||||||
MFENCE void \3\x0F\xAE\xF0 X64,AMD
|
MFENCE void \3\x0F\xAE\xF0 X64,AMD
|
||||||
MONITOR void \3\x0F\x01\xC8 PRESCOTT
|
MONITOR void \3\x0F\x01\xC8 PRESCOTT
|
||||||
MONITOR reg_eax,reg_ecx,reg_edx \3\x0F\x01\xC8 PRESCOTT,ND
|
MONITOR reg_eax,reg_ecx,reg_edx \3\x0F\x01\xC8 PRESCOTT,ND
|
||||||
|
MONITOR reg_rax,reg_ecx,reg_edx \3\x0F\x01\xC8 X64,ND
|
||||||
MOV mem,reg_sreg \1\x8C\101 8086,SM
|
MOV mem,reg_sreg \1\x8C\101 8086,SM
|
||||||
MOV reg16,reg_sreg \320\1\x8C\101 8086
|
MOV reg16,reg_sreg \320\1\x8C\101 8086
|
||||||
MOV reg32,reg_sreg \321\1\x8C\101 386
|
MOV reg32,reg_sreg \321\1\x8C\101 386
|
||||||
|
|
Loading…
Reference in a new issue