@@ -423,8 +423,8 @@ $wdq INVLPGA ax#,reg_ecx [--: a# 0f 01 df] X86_64,AMD
423423 RDPMC void [ 0f 33] P6,NOAPX
424424 RDTSC void [ 0f 31] PENT,NOAPX
425425 RDTSCP void [ 0f 01 f9] X86_64
426- $wdq RDRAND reg# [m: o# 0f c7 /6] RDRAND
427- $wdq RDSEED reg# [m: o# 0f c7 /7] RDSEED
426+ $wdq RDRAND reg# [m: nof3 o# 0f c7 /6] RDRAND
427+ $wdq RDSEED reg# [m: nof3 o# 0f c7 /7] RDSEED
428428 RDPID reg64 [m: f3 0f c7 /7] RDPID,LONG,OPT,ND
429429$dq RDPID reg# [m: f3 !osp o# 0f c7 /7] RDPID
430430
@@ -1316,7 +1316,7 @@ MOVSLDUP xmmreg,xmmrm128 [rm: f3 0f 12 /r] PRESCOTT,SSE3
13161316;# VMX/SVM Instructions
13171317CLGI void [ 0f 01 dd] VMX,AMD
13181318STGI void [ 0f 01 dc] VMX,AMD
1319- VMCALL void [ 0f 01 c1] VMX
1319+ VMCALL void [ norep 0f 01 c1] VMX
13201320VMCLEAR mem [m: 66 0f c7 /6] VMX
13211321VMFUNC void [ 0f 01 d4] VMX
13221322VMLAUNCH void [ 0f 01 c2] VMX
@@ -2936,14 +2936,14 @@ BNDMOV bndreg,bndreg [rm: 66 0f 1a /r ] MPX
29362936BNDMOV bndreg,mem [rm: 66 0f 1a /r ] MPX
29372937BNDMOV bndreg,bndreg [mr: 66 0f 1b /r ] MPX
29382938BNDMOV mem,bndreg [mr: 66 0f 1b /r ] MPX
2939- BNDLDX bndreg,mem [rm: 0f 1a /r ] MPX,MIB
2940- BNDLDX bndreg,mem,reg32 [rmx: 0f 1a /r ] MPX,MIB,NOLONG
2941- BNDLDX bndreg,mem,reg64 [rmx: 0f 1a /r ] MPX,MIB,LONG
2942- BNDSTX mem,bndreg [mr: 0f 1b /r ] MPX,MIB
2943- BNDSTX mem,reg32,bndreg [mxr: 0f 1b /r ] MPX,MIB,NOLONG
2944- BNDSTX mem,reg64,bndreg [mxr: 0f 1b /r ] MPX,MIB,LONG
2945- BNDSTX mem,bndreg,reg32 [mrx: 0f 1b /r ] MPX,MIB,NOLONG
2946- BNDSTX mem,bndreg,reg64 [mrx: 0f 1b /r ] MPX,MIB,LONG
2939+ BNDLDX bndreg,mem [rm: np 0f 1a /r ] MPX,MIB
2940+ BNDLDX bndreg,mem,reg32 [rmx: np 0f 1a /r ] MPX,MIB,NOLONG
2941+ BNDLDX bndreg,mem,reg64 [rmx: np 0f 1a /r ] MPX,MIB,LONG
2942+ BNDSTX mem,bndreg [mr: np 0f 1b /r ] MPX,MIB
2943+ BNDSTX mem,reg32,bndreg [mxr: np 0f 1b /r ] MPX,MIB,NOLONG
2944+ BNDSTX mem,reg64,bndreg [mxr: np 0f 1b /r ] MPX,MIB,LONG
2945+ BNDSTX mem,bndreg,reg32 [mrx: np 0f 1b /r ] MPX,MIB,NOLONG
2946+ BNDSTX mem,bndreg,reg64 [mrx: np 0f 1b /r ] MPX,MIB,LONG
29472947
29482948;# Intel SHA acceleration instructions
29492949SHA1MSG1 xmmreg,xmmrm128 [rm: 0f38 c9 /r ] SHA
@@ -5175,8 +5175,8 @@ VXORPS zmmreg|mask|z,zmmreg*,zmmrm512|b32 [rvm:fv: evex.nds.512.0f.w0
51755175; MJC PUBLIC END
51765176
51775177;# Intel memory protection keys for userspace (PKU aka PKEYs)
5178- RDPKRU void [ 0f 01 ee] PKU,LONG
5179- WRPKRU void [ 0f 01 ef] PKU,LONG
5178+ RDPKRU void [ nof3 0f 01 ee] PKU,LONG
5179+ WRPKRU void [ nof3 0f 01 ef] PKU,LONG
51805180
51815181;# Read Processor ID
51825182
@@ -5335,9 +5335,9 @@ WRUSSD mem32,reg32 [mr: o32 66 0f38 f5 /r] CET
53355335WRUSSD mem32,reg32 [mr: evex.nf0.nd0.l0.66.m4.w0 65 /r] APX,CET
53365336WRUSSQ mem64,reg64 [mr: o64 66 0f38 f5 /r] CET,LONG
53375337WRUSSQ mem64,reg64 [mr: evex.nf0.nd0.l0.66.m4.w1 65 /r] APX,CET,LONG
5338- WRSSD mem32,reg32 [mr: o32 0f38 f6 /r] CET
5338+ WRSSD mem32,reg32 [mr: np o32 0f38 f6 /r] CET
53395339WRSSD mem32,reg32 [mr: evex.nf0.nd0.l0.m4.w0 66 /r] APX,CET
5340- WRSSQ mem64,reg64 [mr: o64 0f38 f6 /r] CET,LONG
5340+ WRSSQ mem64,reg64 [mr: np o64 0f38 f6 /r] CET,LONG
53415341WRSSQ mem64,reg64 [mr: evex.nf0.nd0.l0.m4.w1 66 /r] APX,CET,LONG
53425342
53435343;# Instructions from ISE doc 319433-040, June 2020
0 commit comments