x86/insns: add PVALIDATE

cyrillos · cyrillos · commit 143099509541 · 2021-05-13T01:27:07.000+03:00
https://bugzilla.nasm.us/show_bug.cgi?id=3392753 Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
diff --git a/travis/test/vmx.asm b/travis/test/vmx.asm
@@ -19,3 +19,5 @@
 	vmxon		[0x33333333]
 	invept		rbx, [0x44444444]
 	invvpid		rcx, [0x55555555]
+
+	pvalidate
diff --git a/travis/test/vmx.o.t b/travis/test/vmx.o.t
diff --git a/x86/insns.dat b/x86/insns.dat
@@ -1900,6 +1900,8 @@ INVEPT		reg32,mem			[rm: 66 0f 38 80 /r]				VMX,SO,NOLONG
 INVEPT		reg64,mem			[rm: o64nw 66 0f 38 80 /r]			VMX,SO,LONG
 INVVPID		reg32,mem			[rm: 66 0f 38 81 /r]				VMX,SO,NOLONG
 INVVPID		reg64,mem			[rm: o64nw 66 0f 38 81 /r]			VMX,SO,LONG
+;# SEV-SNP AMD instructions
+PVALIDATE	void				[       f2 0f 01 ff]				VMX,AMD
 
 ;# Tejas New Instructions (SSSE3)
 PABSB		mmxreg,mmxrm			[rm:	np 0f 38 1c /r]				SSSE3,MMX,SQ
