[nasm:master] x86/insns: add PVALIDATE

[nasm-bot for Cyrill Gorcunov]

Commit-ID:  1430995095411afea9721e3096e3eaad39fb27ab
Gitweb:     http://repo.or.cz/w/nasm.git?a=commitdiff;h=1430995095411afea9721e3096e3eaad39fb27ab
Author:     Cyrill Gorcunov <gorcunov at gmail.com>
AuthorDate: Thu, 13 May 2021 01:27:07 +0300
Committer:  Cyrill Gorcunov <gorcunov at gmail.com>
CommitDate: Thu, 13 May 2021 01:27:07 +0300

x86/insns: add PVALIDATE

https://bugzilla.nasm.us/show_bug.cgi?id=3392753

Signed-off-by: Cyrill Gorcunov <gorcunov at gmail.com>


---
 travis/test/vmx.asm |   2 ++
 travis/test/vmx.o.t | Bin 656 -> 656 bytes
 x86/insns.dat       |   2 ++
 3 files changed, 4 insertions(+)

diff --git a/travis/test/vmx.asm b/travis/test/vmx.asm
index 0755ead8..3f63b8b4 100644
--- 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
index 7f321e9e..28167214 100644
Binary files a/travis/test/vmx.o.t and b/travis/test/vmx.o.t differ
diff --git a/x86/insns.dat b/x86/insns.dat
index a65180a5..c01d6ac7 100644
--- 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